Publications
284 Einträge
2010
-
Brief Announcement: Hybrid Time-Based Transactional Memory , 2010, Distributed Computing. Band 6343. S. 124-126, 3 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Evaluation of AMD's advanced synchronization facility within a complete transactional memory stack , 2010, S. 27-40, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Handling Crash and Software Faults Efficiently in Distributed Event Stream Processing , 2010, S. 164-172, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
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