Skip to main content
Kent Academic Repository

Items where Author, Editor or other role is "Kalibera, Tomas"

Group by: Creator's name | Item Type | Date | No Grouping
Jump to: B | H | K | P | S | V
Number of items: 22.

B

Blackburn, Stephen M, Diwan, Amer, Hauswirth, Mattias, Sweeney, Peter F, Amaral, Jose Nelson, Brecht, Tim, Bulej, Lubomr, Click, Cliff, Eeckhout, Lieven, Fischmeister, Sebastian, and others. (2016) The Truth, the Whole Truth, and Nothing but the Truth: A Pragmatic Guide to Assessing Empirical Evaluations. Transactions on Programming Languages and Systems, 38 (4). ISSN 0164-0925. E-ISSN 1558-4593. (doi:10.1145/2983574) (KAR id:55171)
Format: PDF

Baker, Jason, Cunei, Antonio, Kalibera, Tomas, Pizlo, Filip, Vitek, Jan (2009) Accurate garbage collection in uncooperative environments revisited. Concurrency and Computation: Practice and Experience, 21 (12). pp. 182-196. (doi:10.1002/cpe.1391) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30598)

H

Hocko, Michal and Kalibera, Tomas (2010) Reducing performance non-determinism via cache-aware page allocation strategies. In: WOSP/SIPEW '10 Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering. ICPE ACM/SPEC International Conference on Performance Engineering . ACM, New York, USA, pp. 182-196. ISBN 978-1-60558-563-5. (doi:10.1145/1712605.1712640) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30695)

K

Kalibera, Tomas, Jones, Richard E. (2013) Rigorous Benchmarking in Reasonable Time. In: ACM SIGPLAN International Symposium on Memory Management (ISMM 2013). . pp. 63-74. ACM, New York (doi:10.1145/2464157.2464160) (KAR id:33611)
Format: PDF

Kalibera, Tomas, Mole, Matthew, Jones, Richard E., Vitek, Jan (2012) A Black-box Approach to Understanding Concurrency in DaCapo. In: Dwyer, Matthew and Leavens, Gary T., eds. Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). . ACM, Tucson, AZ, USA (doi:10.1145/2384616.2384641) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30784)

Kalibera, Tomas and Jones, Richard E. (2012) Quantifying Performance Changes with Effect Size Confidence Intervals. Technical report. University of Kent, Kent 4--12. (doi:4--12) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30809)

Kalibera, Tomas (2011) Replicating Real-time Garbage Collector. Concurrency and Computation: Practice and Experience, 23 (14). pp. 182-196. (doi:10.1002/cpe.1669) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30730)

Kalibera, Tomas, Hagelberg, Jeff, Maj, Petr, Pizlo, Filip, Titzer, Ben, Vitek, Jan (2011) A family of real-time Java benchmarks. Concurrency and Computation: Practice and Experience, 23 (14). pp. 182-196. (doi:10.1002/cpe.1677) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30729)

Kalibera, Tomas, Pizlo, Filip, Hosking, Antony L., Vitek, Jan (2011) Scheduling real-time garbage collection on uniprocessors. ACM Transactions on Computer Systems, 29 (3). pp. 182-196. (doi:10.1145/2003690.2003692) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30737)

Kalibera, Tomas and Jones, Richard (2011) Handles revisited: optimising performance and memory costs in a real-time collector. In: ISMM '10 Proceedings of the 2010 international symposium on Memory management. ACM, New York, USA, pp. 182-196. ISBN 978-1-4503-0263-0. (doi:10.1145/1993478.1993492) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30755)

Kalibera, Tomas and Parizek, Pavel and Malohlava, Michal and Schoeberl, Martin (2010) Exhaustive testing of safety critical Java. In: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems. ACM, pp. 182-196. ISBN 978-1-4503-0122-0. (doi:10.1145/1850771.1850794) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30643)

Kalibera, Tomas and Parizek, Pavel and Haddad, Ghaith and Leavens, Gary T. and Vitek, Jan (2010) Challenge benchmarks for verification of real-time programs. In: PLPV '10 Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification. POPL Principles of Programming Languages . ACM, New York, USA, pp. 182-196. ISBN 978-1-60558-890-2. (doi:10.1145/1707790.1707800) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30697)

Kalibera, Tomas and Pizlo, Filip and Hosking, Antony L. and Vitek, Jan (2009) Scheduling Hard Real-Time Garbage Collection. In: 2009 30th IEEE Real-Time Systems Symposium. IEEE, pp. 182-196. ISBN 978-0-7695-3875-4. (doi:10.1109/RTSS.2009.40) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30567)

Kalibera, Tomas and Hagelberg, Jeff and Pizlo, Filip and Plsek, Ales and Titzer, Ben and Vitek, Jan (2009) CDx: a family of real-time Java benchmarks. In: JTRES '09 Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems. JTRES Java Technologies for Real-Time and Embedded Systems . ACM, New York, USA, pp. 182-196. ISBN 978-1-60558-732-5. (doi:10.1145/1620405.1620412) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30596)

Kalibera, Tomas (2009) Replicating real-time garbage collector for Java. In: JTRES '09 Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems. JTRES Java Technologies for Real-Time and Embedded Systems . ACM, New York, USA, pp. 182-196. ISBN 978-1-60558-732-5. (doi:10.1145/1620405.1620420) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30591)

Kalibera, Tomas, Prochazka, Marek, Pizlo, Filip, Decky, Martin, Vitek, Jan, Zulianello, Marco (2009) Real-Time Java in Space: Potential Benefits and Open Challenges. In: Proceedings of the International Space System Engineering Conference, Data Systems in Aerospace (DASIA). . pp. 182-196. ESA (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30602)

P

Plsek, Ales and Zhao, Lei and Sahin, Veysel H. and Tang, Daniel and Kalibera, Tomas and Vitek, Jan (2010) Developing safety critical Java applications with oSCJ/L0. In: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems. ACM, New York, USA, pp. 182-196. ISBN 978-1-4503-0122-0. (doi:10.1145/1850771.1850786) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30637)

Parizek, Pavel and Kalibera, Tomas (2010) Efficient Detection of Errors in Java Components Using Random Environment and Restarts. In: Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 182-196. ISBN 978-3-642-12001-5. E-ISBN 978-3-642-12002-2. (doi:10.1007/978-3-642-12002-2_37) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30681)

Parizek, Pavel and Kalibera, Tomas (2009) Platform-specific restrictions on concurrency in model checking of Java programs. In: Formal Methods for Industrial Critical Systems 14th International Workshop. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 182-196. ISBN 978-3-642-04569-1. E-ISBN 978-3-642-04570-7. (doi:10.1007/978-3-642-04570-7_10) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30583)

Parizek, Pavel, Adamek, Jiri, Kalibera, Tomas (2009) Automated Construction of Reasonable Environment for Java Components. In: Proceedings of the 6th International Workshop on Formal Engineering Approaches to Software Components and Architectures (FESCA). Electronic Notes in Theoretical Computer Science , 253 (1). pp. 182-196. Elsevier (doi:10.1016/j.entcs.2009.09.033) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30607)

S

Schoeberl, Martin, Korsholm, Stephan, Kalibera, Tomas, Ravn, Anders P. (2011) A Hardware Abstraction Layer in Java. ACM Transactions on Embedded Computing Systems, 10 (4). pp. 182-196. (doi:10.1145/2043662.2043666) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30717)

V

Vitek, Jan and Kalibera, Tomas (2011) Repeatability, Reproducibility and Rigor in Systems Research. In: Proceedings of the ninth ACM international conference on Embedded software. ACM, New York, USA, pp. 182-196. ISBN 978-1-4503-0714-7. (doi:10.1145/2038642.2038650) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30721)

This list was generated on Thu Mar 28 19:44:50 2024 GMT.