Sciweavers

3872 search results - page 35 / 775
» The Java memory model
Sort
View
108
Voted
SAC
2004
ACM
15 years 7 months ago
Translating the Object Constraint Language into the Java Modelling Language
The Object Constraint Language OCL is a textual specification language that could be used for constraining the modelling elements that occur in UML diagrams. Typical constraints i...
Ali Hamie
112
Voted
ASM
2010
ASM
15 years 11 months ago
Lightweight Modeling of Java Virtual Machine Security Constraints
The Java programming language has been widely described as secure by design. Nevertheless, a number of serious security vulnerabilities have been discovered in Java, particularly i...
Mark C. Reynolds
127
Voted
SIGPLAN
1998
15 years 1 months ago
Java and Distributed Object Models: An Analysis
Java has an important role in building distributed object oriented web enabled applications. In the article an analysis of two distributed object models in context of Java languag...
Marjan Hericko, Matjaz B. Juric, Ales Zivkovic, Iv...
106
Voted
CONCURRENCY
1998
119views more  CONCURRENCY 1998»
15 years 1 months ago
C to Java: Converting Pointers into References
We consider the problem of converting C pointers to the less flexible concept of references. Our main application is converting scientific applications from C to Java. We provid...
Erik D. Demaine
123
Voted
CARDIS
2006
Springer
114views Hardware» more  CARDIS 2006»
15 years 6 months ago
A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods
Ahead-of-Time and Just-in-Time compilation are common ways to improve runtime performances of restrained systems like Java Card by turning critical Java methods into native code. H...
Alexandre Courbot, Mariela Pavlova, Gilles Grimaud...