15777 search results - page 2991 / 3156 » The Reformulation-Optimization Software Engine |
111
click to vote
EUROSYS
2010
ACM
16 years 11 days ago
2010
ACM
Modern Byzantine fault-tolerant state machine replication (BFT) protocols involve about 20.000 lines of challenging C++ code encompassing synchronization, networking and cryptogra...
104
Voted
EUROSYS
2010
ACM
16 years 11 days ago
2010
ACM
Symmetric-ISA (instruction set architecture) asymmetricperformance multicore processors were shown to deliver higher performance per watt and area for codes with diverse architect...
EUROSYS
2009
ACM
16 years 11 days ago
2009
ACM
Emulab is a testbed for networked and distributed systems experimentation. Two guiding principles of its design are realism and control of experimentation. There is an inherent te...
114
Voted
EUROSYS
2009
ACM
16 years 11 days ago
2009
ACM
This paper evaluates pointer tainting, an incarnation of Dynamic Information Flow Tracking (DIFT), which has recently become an important technique in system security. Pointer tai...
127
Voted
EUROSYS
2009
ACM
16 years 11 days ago
2009
ACM
Device drivers are notorious for being a major source of failure in operating systems. In analysing a sample of real defects in Linux drivers, we found that a large proportion (39...