Publications
281 Entries
2006
-
Leader Election in the Timed Finite Average Response Time Model , 2006, p. 375-376, 2 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Learning Library-Level Error Return Values from Syscall Error Injection , 2006, 2 p.Research output: Contribution to conferences > Paper
-
Rearchitecting DNS , 2006, 12 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Snapshot Isolation for Software Transactional Memory , 2006, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
2005
-
A System Demonstration of ST-TCP , 2005, p. 308-313, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Automatic Testing for Robustness Violations , 2005, Testing Commercial-off-the-Shelf Components and Systems. 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
-
Dependable Distributed Computing using Free Databases , 2005, 14 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Enhancing DNS Security using the SSL Trust Infrastructure , 2005, p. 21-27, 7 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Highly Available Publish/Subscribe (Fast Abstract) , 2005, p. 11-12, 2 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
On the Possibility of Consensus in Asynchronous Systems with Finite Average Response Times , 2005, p. 271-280, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper