Sciweavers

7262 search results - page 190 / 1453
» Reversible Computer Hardware
Sort
View
95
Voted
ASAP
2007
IEEE
133views Hardware» more  ASAP 2007»
15 years 2 months ago
An Efficient Hardware Support for Control Data Validation
Software-based, fine-grain control flow integrity (CFI) validation technique has been proposed to enforce control flow integrity of program execution. By validating every indirect...
Yong-Joon Park, Zhao Zhang, Gyungho Lee
86
Voted
DASIP
2010
14 years 5 months ago
Hardware code generation from dataflow programs
The elaboration of new systems on embedded targets is becoming more and more complex. In particular, multimedia devices are now implemented using mixed hardware and software archi...
Nicolas Siret, Matthieu Wipliez, Jean-Franç...
104
Voted
CAV
2006
Springer
117views Hardware» more  CAV 2006»
15 years 2 months ago
Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop
e Abstraction and Refinement Loop Himanshu Jain1,2, Franjo Ivanci
Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya S...
83
Voted
FPL
2004
Springer
88views Hardware» more  FPL 2004»
15 years 2 months ago
Monte Carlo Radiative Heat Transfer Simulation on a Reconfigurable Computer
Recently, the appearance of very large (3
Maya Gokhale, Janette Frigo, Christine Ahrens, Jus...
ASPDAC
2008
ACM
99views Hardware» more  ASPDAC 2008»
15 years 27 days ago
1-cc computer using UWB-IR for wireless sensor network
Tatsuo Nakagawa, Masayuki Miyazaki, Goichi Ono, Ry...