Sciweavers

3872 search results - page 26 / 775
» The Java memory model
Sort
View
FMICS
2006
Springer
15 years 3 months ago
jmle: A Tool for Executing JML Specifications Via Constraint Programming
Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Lan...
Ben Krause, Tim Wahls
OTM
2004
Springer
15 years 5 months ago
Studying the Behaviour of the Single Parent Rule in Real-Time Java
This paper addresses the issue of improving the performance of memory management for real-time Java applications, building upon the RealTime Specification for Java (RTSJ). This spe...
M. Teresa Higuera-Toledano
OOPSLA
2004
Springer
15 years 5 months ago
Hard real-time: C++ versus RTSJ
In the domain of hard real-time systems, which language is better: C++ or the Real-Time Specification for Java (RTSJ)? Although standard Java provides a more productive programmin...
Daniel L. Dvorak, William K. Reinholtz
IPPS
1999
IEEE
15 years 4 months ago
An Adaptive, Fault-Tolerant Implementation of BSP for JAVA-Based Volunteer Computing Systems
Abstract. In recent years, there has been a surge of interest in Javabased volunteer computing systems, which aim to make it possible to build very large parallel computing network...
Luis F. G. Sarmenta
CONCURRENCY
1998
90views more  CONCURRENCY 1998»
14 years 11 months ago
Java RMI performance and object model interoperability: experiments with Java/HPC++
Java RMI provides an elegant and powerful model for invoking member functions on objects that exist in remote address spaces. Unfortunately, it is a Java-to-Java communication mod...
Fabian Breg, Shridhar Diwan, Juan E. Villacis, Jay...