Martin Decký

Publication Activity (10 Years)

Years Active: 2007-2012
Publications (10 Years): 0

Top Topics

Update Transactions

Machine Learning

Top Venues

Publications

Andrej Podzimek, Martin Decký, Lubomír Bulej, Petr Tuma
A Non-Intrusive Read-Copy-Update for UTS. ICPADS (2012)
Martin Decký
A Road to a Formally Verified General-Purpose Operating System. ISARCS (2010)
Vlastimil Babka, Lubomír Bulej, Martin Decký, Viliam Holub, Petr Tuma
Teaching operating systems: student assignments and the software engineering perspective. SEESE@ICSE (2008)
Lubomír Bulej, Tomás Bures, Thierry Coupaye, Martin Decký, Pavel Jezek, Pavel Parízek, Frantisek Plasil, Tomás Poch, Nicolas Rivierre, Ondrej Sery, Petr Tuma
CoCoME in Fractal. CoCoME (2007)
Vlastimil Babka, Martin Decký, Petr Tuma
Resource Sharing in Performance Models. EPEW (2007)
Tomás Bures, Martin Decký, Petr Hnetynka, Jan Kofron, Pavel Parízek, Frantisek Plasil, Tomás Poch, Ondrej Sery, Petr Tuma
CoCoME in SOFA. CoCoME (2007)