10447 search results - page 2010 / 2090 » The Philosophy of Computer Science |
109
Voted
EUROSYS
2010
ACM
15 years 10 months ago
2010
ACM
This paper presents a technique that helps automate the reverse engineering of device drivers. It takes a closed-source binary driver, automatically reverse engineers the driver...
88
Voted
EUROSYS
2010
ACM
15 years 10 months 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...
114
Voted
EUROSYS
2010
ACM
15 years 10 months ago
2010
ACM
Debugging real systems is hard, requires deep knowledge of the code, and is time-consuming. Bug reports rarely provide sufficient information, thus forcing developers to turn int...
128
Voted
EUROSYS
2010
ACM
15 years 10 months ago
2010
ACM
Bugs in concurrent programs are extremely difficult to find and fix during testing. In this paper, we propose Kivati, which can efficiently detect and prevent atomicity violat...
84
Voted
EUROSYS
2010
ACM
15 years 10 months 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...