7262 search results - page 1060 / 1453 » Reversible Computer Hardware |
181
click to vote
DSN
2005
IEEE
16 years 11 days ago
2005
IEEE
Device scaling and large scale integration have led to growing concerns about soft errors in microprocessors. To date, in all but the most demanding applications, implementing par...
174
click to vote
IPPS
2005
IEEE
16 years 10 days ago
2005
IEEE
Large-scale systems like BlueGene/L are susceptible to a number of software and hardware failures that can affect system performance. Periodic application checkpointing is a commo...
182
click to vote
ISQED
2005
IEEE
16 years 10 days ago
2005
IEEE
Due to the rapid development of manufacturing process technology and tight marketing schedule, the chip design and manufacturing always work toward an integrated solution to achie...
199
click to vote
ISPD
2005
ACM
16 years 9 days ago
2005
ACM
The sustained progress of VLSI technology has altered the landscape of routing which is a major physical design stage. For timing driven routings, traditional approaches which con...
165
Voted
CHARME
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...