10146 search results - page 418 / 2030 » Fast FAST |
186
click to vote
SIGOPSE
2004
ACM
16 years 9 days ago
2004
ACM
Transactions ensure simple and correct handling of concurrency and failures but are often considered too expensive for use in file systems. This paper argues that performance is ...
213
click to vote
VRST
2004
ACM
16 years 9 days ago
2004
ACM
ÁÒ Ø × Ô Ô Ö Û ÔÖ × ÒØ Ø Ò ÕÙ ÓÖ ØÖ Ò ÓÑÔÐ Ü ÑÓ Ð× Ò Ú Ó × ÕÙ Ò × Û Ø ÑÙÐØ ÔÐ Ñ Ö ×º ÇÙÖ Ñ ¹ Ø Ó Ù× × Ò ÓÖÑ Ø Ó...
139
Voted
ATAL
2004
Springer
16 years 9 days ago
2004
Springer
160
click to vote
CAV
2004
Springer
16 years 9 days ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...