Publications
281 Einträge
2010
-
On the impact of energy-saving strategies in opportunistic grids , 2010, Proceedings - IEEE/ACM International Workshop on Grid Computing. IEEE, New York [u. a.]Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
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