Search results for "Tomas Kalibera"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Martin Schoeberl, Stephan Korsholm, Tomas Kalibera, Anders P. Ravn	A Hardware Abstraction Layer in Java.	ACM Trans. Embedded Comput. Syst.	2011	DBLP DOI BibTeX RDF
1	Tomas Kalibera	Replicating real-time garbage collector.	Concurrency and Computation: Practice and Experience	2011	DBLP DOI BibTeX RDF
1	Tomas Kalibera, Jeff Hagelberg, Petr Maj, Filip Pizlo, Ben Titzer, Jan Vitek	A family of real-time Java benchmarks.	Concurrency and Computation: Practice and Experience	2011	DBLP DOI BibTeX RDF
1	Tomas Kalibera, Filip Pizlo, Antony L. Hosking, Jan Vitek	Scheduling real-time garbage collection on uniprocessors.	ACM Trans. Comput. Syst.	2011	DBLP DOI BibTeX RDF
1	Jan Vitek, Tomas Kalibera	Repeatability, reproducibility, and rigor in systems research.	EMSOFT	2011	DBLP DOI BibTeX RDF
1	Tomas Kalibera, Richard Jones	Handles revisited: optimising performance and memory costs in a real-time collector.	ISMM	2011	DBLP DOI BibTeX RDF
1	Pavel Parizek, Tomas Kalibera	Efficient Detection of Errors in Java Components Using Random Environment and Restarts.	TACAS	2010	DBLP DOI BibTeX RDF
1	Tomas Kalibera, Pavel Parizek, Ghaith Haddad, Gary T. Leavens, Jan Vitek	Challenge benchmarks for verification of real-time programs.	PLPV	2010	DBLP DOI BibTeX RDF	java, verification, real-time
1	Tomas Kalibera, Jan Vitek (eds.)	Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010	JTRES	2010	DBLP BibTeX RDF
1	Tomas Kalibera, Pavel Parizek, Michal Malohlava, Martin Schoeberl	Exhaustive testing of safety critical Java.	JTRES	2010	DBLP DOI BibTeX RDF	SCJ, model checking, real-time Java, Java PathFinder
1	Ales Plsek, Lei Zhao, Veysel H. Sahin, Daniel Tang, Tomas Kalibera, Jan Vitek	Developing safety critical Java applications with oSCJ/L0.	JTRES	2010	DBLP DOI BibTeX RDF	memory management, Java virtual machine, safety critical systems
1	Michal Hocko, Tomas Kalibera	Reducing performance non-determinism via cache-aware page allocation strategies.	WOSP/SIPEW	2010	DBLP DOI BibTeX RDF	performance non-determinism, regression benchmarking, statistical methods, software performance
1	Jason Baker, Antonio Cunei, Tomas Kalibera, Filip Pizlo, Jan Vitek	Accurate garbage collection in uncooperative environments revisited.	Concurrency and Computation: Practice and Experience	2009	DBLP DOI BibTeX RDF
1	Tomas Kalibera, Pavel Parizek, Ghaith Haddad, Gary T. Leavens, Jan Vitek	Challenge benchmarks for verification of real-time programs: (abstract only).	SIGPLAN Notices	2009	DBLP DOI BibTeX RDF
1	Pavel Parizek, Jirí Adámek, Tomas Kalibera	Automated Construction of Reasonable Environment for Java Components.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Pavel Parizek, Tomas Kalibera	Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs.	FMICS	2009	DBLP DOI BibTeX RDF	restrictions of concurrency, model checking, embedded systems, Java programs, state explosion
1	Tomas Kalibera, Filip Pizlo, Antony L. Hosking, Jan Vitek	Scheduling Hard Real-Time Garbage Collection.	IEEE Real-Time Systems Symposium	2009	DBLP DOI BibTeX RDF
1	Tomas Kalibera, Jeff Hagelberg, Filip Pizlo, Ales Plsek, Ben Titzer, Jan Vitek	CDx: a family of real-time Java benchmarks.	JTRES	2009	DBLP DOI BibTeX RDF
1	Tomas Kalibera	Replicating real-time garbage collector for Java.	JTRES	2009	DBLP DOI BibTeX RDF
1	Tomas Kalibera, Jakub Lehotsky, David Majda, Branislav Repcek, Michal Tomcanyi, Antonin Tomecek, Petr Tuma, Jaroslav Urban	Automated benchmarking and analysis tool.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	automated benchmarking, regression benchmarking
1	Tomas Kalibera, Petr Tuma	Precise Regression Benchmarking with Random Effects: Improving Mono Benchmark Results.	EPEW	2006	DBLP DOI BibTeX RDF
1	Lubomír Bulej, Tomas Kalibera, Petr Tuma	Repeated results analysis for middleware regression benchmarking.	Perform. Eval.	2005	DBLP DOI BibTeX RDF
1	Tomas Kalibera, Lubomír Bulej, Petr Tuma	Automated Detection of Performance Regressions: The Mono Experience.	MASCOTS	2005	DBLP DOI BibTeX RDF
1	Tomas Kalibera, Lubomír Bulej, Petr Tuma	Quality Assurance in Performance: Evaluating Mono Benchmark Results.	QoSA/SOQUA	2005	DBLP DOI BibTeX RDF
1	Tomas Kalibera, Lubomír Bulej, Petr Tuma	Generic Environment for Full Automation of Benchmarking.	SOQUA/TECOS	2004	DBLP BibTeX RDF
1	Tomas Kalibera, Petr Tuma	Distributed Component System Based on Architecture Description: The SOFA Experience.	CoopIS/DOA/ODBASE	2002	DBLP DOI BibTeX RDF	component definition languages, CDL, language mapping, middleware, CORBA, Architecture description languages, ADL, dynamic architectures

Publications of "Tomas Kalibera" ( http://dblp.L3S.de/Authors/Tomas_Kalibera )