7262 search results - page 439 / 1453 » Reversible Computer Hardware |
138
click to vote
ARC
2008
Springer
15 years 6 months ago
2008
Springer
We present an improved method for scheduling speculative data paths which relies on cancel tokens to undo computations in misspeculated paths. Performancewise, this method is consi...
157
Voted
CAV
2008
Springer
15 years 6 months ago
2008
Springer
This paper proposes a new approach for proving arithmetic correctness of data paths in System-on-Chip modules. It complements existing techniques which are, for reasons of complexi...
124
click to vote
USS
2004
15 years 5 months ago
2004
Kennell and Jamieson [KJ03] recently introduced the Genuinity system for authenticating trusted software on a remote machine without using trusted hardware. Genuinity relies on ma...
136
click to vote
EUROCAST
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Given a basis of a vector space V over a field K and a multiplication table which defines a bilinear map on V , we develop a computer program on Mathematica which checks ...
272
click to vote
MVA
2011
14 years 11 months ago
2011
Detecting car taillights at night is a task which can nowadays be accomplished very fast on cheap hardware. We rely on such detections to build a vision-based system that, couplin...