3500 search results - page 12 / 700 » Implementing Java on Clusters |
ICST
2008
IEEE
14 years 2 months ago
2008
IEEE
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed with the aim of improving the functional software cor...
CONCURRENCY
2000
13 years 7 months ago
2000
The Java memory model described in Chapter 17 of the Java Language Specification gives constraints on how threads interact through memory. This chapter is hard to interpret and po...
CLUSTER
1999
IEEE
13 years 7 months ago
1999
IEEE
JAVA
2001
Springer
14 years 5 days ago
2001
Springer
The computational science community is reluctant to write largescale computationally-intensive applications in Java due to concerns over Java’s poor performance, despite the cla...
AMAST
2004
Springer
13 years 11 months ago
2004
Springer
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...