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: Ministerstvo školství, mládeže a tělovýchovy ČR

Program: COST CZ (2011-2017)

Název česky
Transakční paměti: teoretické základy, algoritmy, nástroje a aplikace (Euro-TM)
Typ
grant
Klíčová slova

concurrent programs, transactional memories

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 (FIT) – hlavní řešitel
Dudka Vendula, Ing.
Fiedor Jan, Ing., Ph.D. (UITS)
Křena Bohuslav, Ing., Ph.D. (UITS)
Letko Zdeněk, Ing., Ph.D. (CK-SZZ)
Romano Paolo (FIT)
Šimková Hana, Mgr. Bc., Ph.D.
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Publikace

2015

  • FIEDOR, J.; LETKO, Z.; LOURENCO, J.; VOJNAR, T. On Monitoring C/C++ Transactional Memory Programs. In Proceedings of MEMICS'14. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2015. p. 73-87. ISBN: 978-3-319-14895-3. Detail
  • FIEDOR, J.; VOJNAR, T.; LETKO, Z.; LOURENCO, J. Dynamic Validation of Contracts in Concurrent Code. In Proceedings of EUROCAST'15. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2015. p. 555-564. ISBN: 978-3-319-27339-6. Detail
Nahoru