1299 search results - page 109 / 260 » On the Correctness of Operating System Kernels |
112
click to vote
IMC
2007
ACM
15 years 6 months ago
2007
ACM
Testbeds composed of end hosts deployed across the Internet enable researchers to simultaneously conduct a wide variety of experiments. Active measurement studies of Internet path...
141
click to vote
IISWC
2009
IEEE
15 years 11 months ago
2009
IEEE
In many areas such as e-commerce, mission-critical N-tier applications have grown increasingly complex. They are characterized by non-stationary workloads (e.g., peak load several...
161
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
NAND flash-based solid state drives have emerged as revolutionary storage media during recent years. However, the wide-spread of SSD technology is currently obstructed by the fac...
154
click to vote
SOSP
2007
ACM
16 years 1 months ago
2007
ACM
We present Zyzzyva, a protocol that uses speculation to reduce the cost and simplify the design of Byzantine fault tolerant state machine replication. In Zyzzyva, replicas respond...
107
click to vote
PODC
2010
ACM
15 years 8 months ago
2010
ACM
Linearizability is the strongest known consistency property of shared objects. In asynchronous message passing systems, Linearizability can be achieved with 3S and a majority of c...