Publikace
- Systematické testování kritických aplikací reálného času v Javě2010 | Matematicko-fyzikální fakulta
- Nástroj pro automatické testování výkonnosti a vyhodnocování výsledků2006 | Matematicko-fyzikální fakulta
- Automatizované měřící prostředí BEEN (verze 1.0)Publikace bez příslušnosti k fakultě
- Nástroj pro automatické testování výkonnosti a vyhodnocování výsledkůPublikace bez příslušnosti k fakultě
- A Family of Real-time Java Benchmarks2011 | Matematicko-fyzikální fakulta
- Replicating Real-Time Garbage Collector2011 | Matematicko-fyzikální fakulta
- 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
- 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
Loading network view...
