Sciweavers

3872 search results - page 36 / 775
» The Java memory model
Sort
View
SPE
2002
154views more  SPE 2002»
14 years 11 months ago
Bytecode verification on Java smart cards
This article presents a novel approach to the problem of bytecode verification for Java Card applets. By relying on prior off-card bytecode transformations, we simplify the byteco...
Xavier Leroy
WCRE
2010
IEEE
14 years 10 months ago
Static Analysis for Understanding Shared Objects in Open Concurrent Java Programs
—Concurrent programming with shared memory in an object-oriented language such as Java is notoriously difficult. Therefore, it is important to study new program understanding te...
Ana Milanova, Yin Liu
CASES
2007
ACM
15 years 3 months ago
A simplified java bytecode compilation system for resource-constrained embedded processors
Embedded platforms are resource-constrained systems in which performance and memory requirements of executed code are of critical importance. However, standard techniques such as ...
Carmen Badea, Alexandru Nicolau, Alexander V. Veid...
HICSS
1999
IEEE
112views Biometrics» more  HICSS 1999»
15 years 4 months ago
Defining Uniform and Hybrid Memory Consistency Models on a Unified Framework
The behavior of Distributed Shared Memory Systems is dictated by the Memory Consistency Model. Several Memory Consistency Models have been proposed in the literature and they fit ...
Alba Cristina Magalhaes Alves de Melo
CSMR
2006
IEEE
15 years 5 months ago
A Refactoring-based Tool for Software Component Adaptation
Abstract— Adapting software components usable by a particular application is a crucial issue in software component based technology. In fact, software components can be used in c...
Gautier Bastide