232 search results - page 28 / 47 » Timed Commitments |
135
click to vote
MICRO
1999
IEEE
15 years 9 months ago
1999
IEEE
Building a high-performance microprocessor presents many reliability challenges. Designers must verify the correctness of large complex systems and construct implementations that ...
114
click to vote
CGO
2003
IEEE
15 years 10 months ago
2003
IEEE
Predicated execution enables the removal of branches wherein segments of branching code are converted into straight-line segments of conditional operations. An important, but gene...
143
click to vote
IEEEPACT
2003
IEEE
15 years 10 months ago
2003
IEEE
We present a technique for reducing the power dissipation in the course of writebacks and committments in a datapath that uses a dedicated architectural register file (ARF) to hol...
157
click to vote
ICDCS
2002
IEEE
15 years 10 months ago
2002
IEEE
In this paper, we focus our attention on the problem of automating the addition of failsafe fault-tolerance where fault-tolerance is added to an existing (fault-intolerant) progra...
135
click to vote
SIGMOD
2004
ACM
16 years 5 months ago
2004
ACM
Snapshot Isolation (SI), is a multi-version concurrency control algorithm introduced in [BBGMOO95] and later implemented by Oracle. SI avoids many concurrency errors, and it never ...