JAVACARD
2000
14 years 3 months ago
2000
JAVACARD
2000
14 years 3 months ago
2000
Abstract This note discusses a verification in PVS of the AID (Application Identifier) class from JavaCard's API. The properties that are verified are formulated in the interf...
JAVA
2000
Springer
14 years 3 months ago
2000
Springer
Java is an attractive environment for writing portable message passing parallel programs. Considerable work in message passing interface bindings for the C and Fortran languages h...
JAVA
2000
Springer
14 years 3 months ago
2000
Springer
JAVA
2000
Springer
14 years 3 months ago
2000
Springer
JAVA
2000
Springer
14 years 3 months ago
2000
Springer
We describe a new approach to object replication in Java, aimed at improving the performance of parallel programs. Our programming model allows the programmer to define groups of ...
JAVA
2000
Springer
14 years 3 months ago
2000
Springer
Java applications represent a broad class of programs, ranging from programs running on embedded products to highperformance server applications. Standard Java benchmarks ignore t...
JAVA
2000
Springer
14 years 3 months ago
2000
Springer
This paper describes a portable and efficient sampling-based online measurement system for production-level Java virtual machines. This system is designed to provide continuous re...
JAVA
2000
Springer
14 years 3 months ago
2000
Springer
JAVA
2000
Springer
14 years 3 months ago
2000
Springer
This paper describes the design, implementation, and performance of a Java framework for supporting a style of parallel programming in which problems are solved by (recursively) s...