674 search results - page 67 / 135 » Toward Self-Stabilizing Operating Systems |
156
click to vote
NC
2010
14 years 10 months ago
2010
Circular splicing has been introduced to model a specific recombinant behaviour of circular DNA, continuing the investigation initiated with linear splicing. In this paper we focu...
149
click to vote
USENIX
1994
15 years 4 months ago
1994
Despite impressive advances in file system throughput resulting from technologies such as high-bandwidth networks and disk arrays, file system latency has not improved and in many...
157
click to vote
HPDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Today Graphics Processing Units (GPUs) are a largely underexploited resource on existing desktops and a possible costeffective enhancement to high-performance systems. To date, mo...
106
Voted
POPL
2010
ACM
16 years 17 days ago
2010
ACM
Traditional transactional memory systems suffer from overly conservative conflict detection, yielding so-called false conflicts, because they are based on fine-grained, low-level ...
128
click to vote
PCI
2001
Springer
15 years 7 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...