16 search results - page 4 / 4 » Concurrent Specification and Timing Analysis of Digital Hard... |
ASPLOS
2009
ACM
14 years 6 months ago
2009
ACM
Future processors are expected to observe increasing rates of hardware faults. Using Dual-Modular Redundancy (DMR), two cores of a multicore can be loosely coupled to redundantly ...