Sciweavers

12 search results - page 1 / 3
» A Real-time Java Virtual Machine for Avionics - An Experienc...
Sort
View
RTAS
2006
IEEE
13 years 10 months ago
A Real-time Java Virtual Machine for Avionics - An Experience Report
We report on our experience with the implementation of the Real-time Specification for Java (RTSJ) in the DARPA Program Composition for Embedded System (PCES) program. Within the...
Jason Baker, Antonio Cunei, Chapman Flack, Filip P...
RTSS
2005
IEEE
13 years 10 months ago
Preemptible Atomic Regions for Real-Time Java
nt a new concurrency control abstraction for real-time systems called preemptible atomic regions (PARs). PARs a transactional mechanism that improves upon lock-based mutual exclus...
Jeremy Manson, Jason Baker, Antonio Cunei, Suresh ...
ICDCS
1998
IEEE
13 years 9 months ago
Experience with Secure Multi-Processing in Java
As Java is the preferred platform for the deployment of network computers, it is appealing to run multiple applications on a single Java desktop. We experimented with using the Ja...
Dirk Balfanz, Li Gong
VEE
2006
ACM
116views Virtualization» more  VEE 2006»
13 years 10 months ago
Relative factors in performance analysis of Java virtual machines
Many new Java runtime optimizations report relatively small, single-digit performance improvements. On modern virtual and actual hardware, however, the performance impact of an op...
Dayong Gu, Clark Verbrugge, Etienne M. Gagnon
KBSE
2000
IEEE
13 years 9 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...