Publikace
- Modelové úlohy pro verifikaci systémů reálného času2010 | Matematicko-fyzikální fakulta
- Systematické testování kritických aplikací 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řesnost měření výkonnosti a náhodný počáteční stav2005 | Matematicko-fyzikální fakulta
- Automatizovaná detekce změn výkonu: Zkušenosti z projektu Mono2005 | Matematicko-fyzikální fakulta
- Regresní měření výkonnosti projektu Mono2005 | Matematicko-fyzikální fakulta
- 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
Loading network view...