Publications
281 Einträge
2010
-
Slice Your Bug: Debugging Error Detection Mechanisms\nusing Error Injection Slicing , 2010, S. 13-22, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Software-Implemented Hardware Error Detection: Costs and Gains , 2010, S. 51-57, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Time-Based Software Transactional Memory , 2010, in: IEEE Transactions on Parallel and Distributed Systems. S. 1793-1807, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
2009
-
AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware , 2009, S. 283-296, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Assertion-Driven Development: Assessing the Quality of Contracts using Meta-Mutations , 2009, S. 182-191, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Minimizing Latency in Fault-Tolerant Distributed Stream Processing Systems , 2009, S. 173-182, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Multithreading-Enabled Active Replication for Event Stream Processing Operators , 2009, S. 22-31, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Parallelize the Runtime Checks -- Not the Application , 2009, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Parallelizing Software-Implemented Error Detection , 2009, S. 215-226, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Speculation for Parallelizing Runtime Checks , 2009, S. 698-710, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper