Detail projektu
Transactional Memories: Foundations, Algorithms, Tools, and Applications (Euro-TM)
Období řešení: 10. 2. 2011 - 9. 2. 2015
Typ projektu: grant
Kód: IC1001
Agentura: COST, European Cooperation in Science and Technology
Program: COST CZ (2011-2017)
Název česky
Transakční paměti: teoretické základy, algoritmy, nástroje a aplikace (Euro-TM)
Typ
grant
Abstrakt
Projekt se zaměřuje na výzkum teoretických základů transakčních pamětí, návrh algoritmů pro práci s nimi, vývoj nástrojů na těchto algoritmech založených a na aplikace transakčních pamětí.
Řešitelé
Lourenco Joao
(UNL)
, hlavní řešitel
Romano Paolo (UTL) , spoluřešitel
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Dudka Vendula, Ing. (UITS FIT VUT)
Fiedor Jan, Ing., Ph.D. (UITS FIT VUT)
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Letko Zdeněk, Ing., Ph.D. (UITS FIT VUT)
Pluháčková Hana, Mgr. Bc. (UITS FIT VUT)
Romano Paolo (UTL) , spoluřešitel
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Dudka Vendula, Ing. (UITS FIT VUT)
Fiedor Jan, Ing., Ph.D. (UITS FIT VUT)
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Letko Zdeněk, Ing., Ph.D. (UITS FIT VUT)
Pluháčková Hana, Mgr. Bc. (UITS FIT VUT)
Publikace
2015
- FIEDOR Jan, LETKO Zdeněk, LOURENCO Joao a VOJNAR Tomáš. Dynamic Validation of Contracts in Concurrent Code. In: Proceedings of EUROCAST'15. Lecture Notes in Computer Science, roč. 9520. Heidelberg: Springer Verlag, 2015, s. 555-564. ISBN 978-3-319-27339-6. Detail
- FIEDOR Jan, LETKO Zdeněk, LOURENCO Joao a VOJNAR Tomáš. On Monitoring C/C++ Transactional Memory Programs. In: Proceedings of MEMICS'14. Lecture Notes in Computer Science, roč. 8934. Heidelberg: Springer Verlag, 2015, s. 73-87. ISBN 978-3-319-14895-3. Detail