1299 search results - page 107 / 260 » On the Correctness of Operating System Kernels |
135
Voted
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
Commitments model important aspects of agent interactions, especially those arising in e-business. A small number of patterns of commitments accommodate a variety of realistic int...
113
click to vote
VISSYM
2003
15 years 5 months ago
2003
We present ISOSLIDER, a system for interactive exploration of isosurfaces of a scalar field. Our algorithm focuses on fast update of isosurfaces for interactive display as a user...
125
click to vote
EUROSYS
2009
ACM
16 years 1 months ago
2009
ACM
Managing the power consumption of computing platforms is a complicated problem thanks to a multitude of hardware configuration options and characteristics. Much of the academic r...
148
click to vote
OSDI
2006
ACM
16 years 4 months ago
2006
ACM
Storage systems such as file systems, databases, and RAID systems have a simple, basic contract: you give them data, they do not lose or corrupt it. Often they store the only copy...
134
click to vote
HOTOS
2003
IEEE
15 years 9 months ago
2003
IEEE
Data replication is a widely used technique for achieving fault tolerance and improved performance. With the advent of content delivery networks, it is becoming more and more freq...