Sciweavers

6796 search results - page 33 / 1360
» Java for Embedded Systems
Sort
View
FIDJI
2004
Springer
14 years 2 months ago
A JMM-Faithful Non-interference Calculus for Java
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...
Vladimir Klebanov
PPPJ
2004
ACM
14 years 2 months ago
A low-footprint class loading mechanism for embedded Java virtual machines
This paper shows that it is possible to dramatically reduce the memory consumption of classes loaded in an embedded Java virtual machine without reducing its functionalities. We d...
Christophe Rippert, Alexandre Courbot, Gilles Grim...
IPPS
2006
IEEE
14 years 3 months ago
Reconfiguration of embedded Java applications
This work presents the development of a coarse grain reconfigurable unit to be coupled to a native Java microcontroller, which is designed for an optimized execution of the embedd...
João Cláudio Soares Otero, Flá...
PPPJ
2004
ACM
14 years 2 months ago
A dynamic compiler for embedded Java virtual machines
A new acceleration technology for Java embedded virtual machines is presented in this paper. Based on the selective dynamic compilation technique, this technology addresses the J2...
Mourad Debbabi, Abdelouahed Gherbi, Lamia Ketari, ...