7262 search results - page 702 / 1453 » Reversible Computer Hardware |
198
click to vote
CAMP
2005
IEEE
16 years 1 months ago
2005
IEEE
— This paper presents an architecture for cognitive analysis of streaming video, in which a new module can easily be plugged in, to add to or even compete with existing functiona...
197
Voted
HPCA
2005
IEEE
16 years 1 months ago
2005
IEEE
The last decade has seen several changes in the structure and emphasis of enterprise IT systems. Specific infrastructure trends have included the emergence of large consolidated d...
186
Voted
IPPS
2005
IEEE
16 years 1 months ago
2005
IEEE
A new high performance computation technique involving multiple processors on a single silicon die is quickly gaining popularity. This new design approach provides very high perfo...
174
Voted
TPHOL
2005
IEEE
16 years 1 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
193
Voted
CAV
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...