Publications
281 Entries
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.]Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
RobuSTM: A Robust Software Transactional Memory , 2010, p. 388-404, 17 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Slice Your Bug: Debugging Error Detection Mechanisms\nusing Error Injection Slicing , 2010, p. 13-22, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Software-Implemented Hardware Error Detection: Costs and Gains , 2010, p. 51-57, 7 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Time-Based Software Transactional Memory , 2010, In: IEEE Transactions on Parallel and Distributed Systems. p. 1793-1807, 15 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
2009
-
AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware , 2009, p. 283-296, 14 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Assertion-Driven Development: Assessing the Quality of Contracts using Meta-Mutations , 2009, p. 182-191, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Minimizing Latency in Fault-Tolerant Distributed Stream Processing Systems , 2009, p. 173-182, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Multithreading-Enabled Active Replication for Event Stream Processing Operators , 2009, p. 22-31, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Parallelize the Runtime Checks -- Not the Application , 2009, 4 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper