|
Seattle 19.-25.7.2008 Vybrané publikace
| 2008 | Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav: AtomRace: Data Race and Atomicity Violation Detector and Healer, In: PADTAD '08, Seattle, US, ACM, 2008, s. 1-10, ISBN 978-1-60558-052-4 |
| 2007 | Křena Bohuslav, Letko Zdeněk, Tzoref-Brill Rachel, Ur Shmuel, Vojnar Tomáš: Healing Data Races On-The-Fly, In: Proceedings of 5th International Workshop on Parallel and Distributed Systems: Testing and Debugging Modelling - PADTAD'07, London, GB, ACM, 2007, s. 54-64, ISBN 978-1-59593-734-6 |
|
Fakulta informačních technologií
![[dnssec]](/common/img/dnssec.png)