7766 search results - page 1220 / 1554 » Testing Nondeterminate Systems |
166
click to vote
IHI
2010
14 years 11 months ago
2010
Recent advances in healthcare and bioscience technologies and proliferation of portable medical devices are producing massive amounts of multimodal data. The need for parallel pro...
142
click to vote
EUROSYS
2011
ACM
14 years 7 months ago
2011
ACM
Buffer caches in operating systems keep active file blocks in memory to reduce disk accesses. Related studies have been focused on how to minimize buffer misses and the caused pe...
140
click to vote
SIGMOD
2011
ACM
14 years 6 months ago
2011
ACM
Occasional corruption of stored data is an unfortunate byproduct of the complexity of modern systems. Hardware errors, software bugs, and mistakes by human administrators can corr...
163
click to vote
ASPLOS
2012
ACM
13 years 11 months ago
2012
ACM
Dynamic binary translation (DBT) is a powerful technique that enables fine-grained monitoring and manipulation of an existing program binary. At the user level, it has been emplo...
172
click to vote
PODC
2012
ACM
13 years 6 months ago
2012
ACM
In recent years, there have been a few proposals to add a small amount of trusted hardware at each replica in a Byzantine fault tolerant system to cut back replication factors. Th...