258 search results - page 9 / 52 » Partitioning of Java Applications to Support Dynamic Updates |
EMSOFT
2001
Springer
14 years 7 days ago
2001
Springer
Abstract. This paper presents our experience implementing the memory management extensions in the Real-Time Specification for Java. These extensions are designed to given real-tim...
ACSAC
1999
IEEE
14 years 1 days ago
1999
IEEE
A smart card runtime environment must provide the proper transaction support for the reliable update of data, especially on multiapplication cards like the Java Card. The transact...
SPIN
2001
Springer
14 years 4 days ago
2001
Springer
Abstract. Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of...
IWSOC
2003
IEEE
14 years 1 months ago
2003
IEEE
CAD tools support is essential in the success of today digital system design methodologies. Unfortunately, most of the classical design tools do not take into account the possibil...
ISCA
2003
IEEE
14 years 1 months ago
2003
IEEE
We describe the Java runtime parallelizing machine (Jrpm), a complete system for parallelizing sequential programs automatically. Jrpm is based on a chip multiprocessor (CMP) with...