Transactional Memories: Foundations, Algorithms, Tools, and Applications (Euro-TM)

Název v češtině:Transakční paměti: teoretické základy, algoritmy, nástroje a aplikace (Euro-TM)
Hlavní řešitel:Lourenco Joao (UTL)
Spoluřešitelé:Romano Paolo (UTL), Vojnar Tomáš
Další řešitelé:Dudka Vendula, Fiedor Jan, Křena Bohuslav, Letko Zdeněk, Pluháčková Hana
Agentura:COST, European Cooperation in Science and Technology - COST CZ (2011-2017)
Kód:IC1001
Zahájení:2011-02-10
Ukončení:2015-02-09
Klíčová slova:concurrent programs, transactional memories
Anotace:
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í.

Publikace

2015FIEDOR Jan, LETKO Zdeněk, LOURENCO Joao a VOJNAR Tomáš. Dynamic Validation of Contracts in Concurrent Code. In: Proceedings of EUROCAST'15. Heidelberg: Springer Verlag, 2015, s. 555-564. ISBN 978-3-319-27339-6.
 FIEDOR Jan, LETKO Zdeněk, LOURENCO Joao a VOJNAR Tomáš. On Monitoring C/C++ Transactional Memory Programs. In: Proceedings of MEMICS'14. Heidelberg: Springer Verlag, 2015, s. 73-87. ISBN 978-3-319-14895-3.

Vaše IPv4 adresa: 54.158.212.93
Přepnout na IPv6 spojení

DNSSEC [dnssec]