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. Institute of Electrical and Electronics Engineers (IEEE)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