Publikace
- Efektivní detekce chyb v Java komponentách s použitím náhodného prostředí a restartů2010 | Matematicko-fyzikální fakulta
- Modelové úlohy pro verifikaci systémů reálného času2010 | Matematicko-fyzikální fakulta
- Automatická konstrukce přiměřeného prostředí pro Java komponenty2009 | Matematicko-fyzikální fakulta
- A Family of Real-time Java Benchmarks2011 | Matematicko-fyzikální fakulta
- Replicating Real-Time Garbage Collector2011 | Matematicko-fyzikální fakulta
- Systematické testování kritických aplikací reálného času v Javě2010 | Matematicko-fyzikální fakulta
- Kritické aplikace reálného času v Javě2010 | Matematicko-fyzikální fakulta
- Přesná automatická správa paměti v prostředích bez kontroly nad zásobníkem2009 | Matematicko-fyzikální fakulta
- Real-time Java ve vesmíru: Potenciální výhody a otevřené problémy2009 | Matematicko-fyzikální fakulta
- Přesné měření výkonnosti při náhodných jevech: zpřesňování výsledků měření výkonnosti projektu Mono. +12006 | Matematicko-fyzikální fakulta
Loading network view...