Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 21.

Article

Schoeberl, Martin and Korsholm, Stephan and Kalibera, Tomas and Ravn, Anders P. (2011) A Hardware Abstraction Layer in Java. ACM Transactions on Embedded Computing Systems, 10 (4). pp. 182-196. (The full text of this publication is not available from this repository)

Kalibera, Tomas (2011) Replicating Real-time Garbage Collector. Concurrency and Computation: Practice and Experience, 23 (14). pp. 182-196. (The full text of this publication is not available from this repository)

Kalibera, Tomas and Hagelberg, Jeff and Maj, Petr and Pizlo, Filip and Titzer, Ben and Vitek, Jan (2011) A family of real-time Java benchmarks. Concurrency and Computation: Practice and Experience, 23 (14). pp. 182-196. (The full text of this publication is not available from this repository)

Kalibera, Tomas and Pizlo, Filip and Hosking, Antony L. and Vitek, Jan (2011) Scheduling real-time garbage collection on uniprocessors. ACM Transactions on Computer Systems, 29 (3). pp. 182-196. (The full text of this publication is not available from this repository)

Baker, Jason and Cunei, Antonio and Kalibera, Tomas and Pizlo, Filip and Vitek, Jan (2009) Accurate garbage collection in uncooperative environments revisited. Concurrency and Computation: Practice and Experience, 21 (12). pp. 182-196. (The full text of this publication is not available from this repository)

Monograph

Kalibera, Tomas and Jones, Richard E. (2012) Quantifying Performance Changes with Effect Size Confidence Intervals. Technical report. University of Kent, Kent 4--12. (The full text of this publication is not available from this repository)

Conference or workshop item

Kalibera, Tomas and Jones, Richard E. (2013) Rigorous Benchmarking in Reasonable Time. In: ACM SIGPLAN International Symposium on Memory Management (ISMM 2013), 20-12 June, 2013, Seattle, Washington, USA. (Full text available)
[img]
Preview

Kalibera, Tomas and Mole, Matthew and Jones, Richard E. and Vitek, Jan (2012) A Black-box Approach to Understanding Concurrency in DaCapo. In: Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). (The full text of this publication is not available from this repository)

Vitek, Jan and Kalibera, Tomas (2011) Repeatability, Reproducibility and Rigor in Systems Research (Invited Paper). In: Proceedings of the 11th International Conference on Embedded Software (EMSOFT). (The full text of this publication is not available from this repository)

Kalibera, Tomas and Jones, Richard E. (2011) Handles revisited: optimising performance and memory costs in a real-time collector. In: Proceedings of the 10th International Symposium on Memory Management (ISMM), June 2011. (The full text of this publication is not available from this repository)

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 (JTRES). (The full text of this publication is not available from this repository)

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 (JTRES). (The full text of this publication is not available from this repository)

Parizek, Pavel and Kalibera, Tomas (2010) Efficient Detection of Errors in Java Components Using Random Environment and Restarts. In: Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). (The full text of this publication is not available from this repository)

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: Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification (PLPV). (The full text of this publication is not available from this repository)

Hocko, Michal and Kalibera, Tomas (2010) Reducing performance non-determinism via cache-aware page allocation strategies. In: Proceedings of the first joint WOSP/SIPEW International Conference on Performance Engineering. (The full text of this publication is not available from this repository)

Kalibera, Tomas and Pizlo, Filip and Hosking, Antony L. and Vitek, Jan (2009) Scheduling Hard Real-Time Garbage Collection. In: Proceedings of the 30th IEEE Real-Time Systems Symposium (RTSS). (The full text of this publication is not available from this repository)

Parizek, Pavel and Kalibera, Tomas (2009) Platform-specific restrictions on concurrency in model checking of Java programs. In: Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems (FMICS). (The full text of this publication is not available from this repository)

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: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES). (The full text of this publication is not available from this repository)

Kalibera, Tomas (2009) Replicating real-time garbage collector for Java. In: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES). (The full text of this publication is not available from this repository)

Kalibera, Tomas and Prochazka, Marek and Pizlo, Filip and Decky, Martin and Vitek, Jan and 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). (The full text of this publication is not available from this repository)

Parizek, Pavel and Adamek, Jiri and 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). (The full text of this publication is not available from this repository)

This list was generated on Mon Jul 28 11:31:54 2014 BST.