Publications
290 Einträge
2010
-
RobuSTM: A Robust Software Transactional Memory, 2010, S. 388-404, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
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