TomÃ¡s Kalibera - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 9 from 9

2010

Reducing performance non-determinism via cache-aware page allocation strategiesMichal Hocko, TomÃ¡s Kalibera. wosp 2010: 223-234 [doi]

Challenge benchmarks for verification of real-time programsTomÃ¡s Kalibera, Pavel Parizek, Ghaith Haddad, Gary T. Leavens, Jan Vitek. plpv 2010: 57-62 [doi]

Efficient Detection of Errors in Java Components Using Random Environment and RestartsPavel Parizek, TomÃ¡s Kalibera. TACAS 2010: 451-465 [doi]

2009

Accurate garbage collection in uncooperative environments revisitedJason Baker, Antonio Cunei, TomÃ¡s Kalibera, Filip Pizlo, Jan Vitek. concurrency, 21(12):1572-1606, 2009. [doi]

Replicating real-time garbage collector for JavaTomÃ¡s Kalibera. jtres 2009: 100-109 [doi]

Scheduling Hard Real-Time Garbage CollectionTomÃ¡s Kalibera, Filip Pizlo, Antony L. Hosking, Jan Vitek. rtss 2009: 81-92 [doi]

CD::x::: a family of real-time Java benchmarksTomÃ¡s Kalibera, Jeff Hagelberg, Filip Pizlo, Ales Plsek, Ben Titzer, Jan Vitek. jtres 2009: 41-50 [doi]

Automated Construction of Reasonable Environment for Java ComponentsPavel Parizek, JirÃ AdÃ¡mek, TomÃ¡s Kalibera. ENTCS, 253(1):145-160, 2009. [doi]

Platform-Specific Restrictions on Concurrency in Model Checking of Java ProgramsPavel Parizek, TomÃ¡s Kalibera. fmics 2009: 117-132 [doi]

Sign in or sign up to see more results.

runs on WebDSL