Evaluating High-Level Program Invariants Using Reconfigurable Hardware
Keyword(s):
2012 ◽
Vol 2012
◽
pp. 1-11
◽
2006 ◽
Vol 39
(21)
◽
pp. 138-143
◽