Sciweavers

6796 search results - page 68 / 1360
» Java for Embedded Systems
Sort
View
FM
2001
Springer
99views Formal Methods» more  FM 2001»
14 years 2 months ago
Transacted Memory for Smart Cards
Transacted Memory offers persistence, undoability and auditing. We present a Java/JML Reference Model of the Transacted Memory system on the basis of our earlier separate Z model...
Pieter H. Hartel, Michael J. Butler, Eduard de Jon...
ASAP
2006
IEEE
147views Hardware» more  ASAP 2006»
14 years 4 months ago
The Molen FemtoJava Engine
This paper presents the Molen FemtoJava engine that is extended with concepts taken from the Molen polymorphic processor. This allows for the existing FemtoJava to be augmented wi...
Júlio C. B. de Mattos, Stephan Wong, Luigi ...
SCOPES
2007
Springer
14 years 4 months ago
Improvements to the Psi-SSA representation
François de Ferrière
ITCC
2005
IEEE
14 years 3 months ago
Impact of Java Compressed Heap on Mobile/Wireless Communication
M-commerce has shown up as e-commerce in mobile and wireless communication, and now deals with on-line banking, stock trading, auctions, transactions, and mobile media. M-commerce...
Mayumi Kato, Chia-Tien Dan Lo