4666 search results - page 836 / 934 » Equations on Timed Languages |
239
Voted
ASPLOS
2009
ACM
16 years 4 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 ...
246
Voted
ASPLOS
2009
ACM
16 years 4 months ago
2009
ACM
Modern processors use branch target buffers (BTBs) to predict the target address of branches such that they can fetch ahead in the instruction stream increasing concurrency and pe...
241
Voted
ASPLOS
2009
ACM
16 years 4 months ago
2009
ACM
Software failures in server applications are a significant problem for preserving system availability. We present ASSURE, a system that introduces rescue points that recover softw...
216
Voted
ASPLOS
2009
ACM
16 years 4 months ago
2009
ACM
Multicore hardware is making concurrent programs pervasive. Unfortunately, concurrent programs are prone to bugs. Among different types of concurrency bugs, atomicity violation bu...
223
Voted
ASPLOS
2009
ACM
16 years 4 months ago
2009
ACM
While deterministic replay of parallel programs is a powerful technique, current proposals have shortcomings. Specifically, software-based replay systems have high overheads on mu...