16 search results - page 1 / 4 » Java: Memory Consistency and Process Coordination |
WDAG
1998
Springer
13 years 8 months ago
1998
Springer
HIPC
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. Simple and unified non-operational specifications of the three memory consistency models Total Store Ordering (TSO), Partial Store Ordering (PSO), and Relaxed Memory Orde...
GECCO
1999
Springer
13 years 9 months ago
1999
Springer
This paper uses the GP paradigm to evolve linear genotypes (individuals) that consist of Java byte code. Our prototype GP system is implemented in Java using a standard Java devel...
LCPC
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. Processing and analyzing large volumes of data plays an increasingly important role in many domains of scienti c research. We are developing a compiler which processes da...
ENTCS
2008
13 years 5 months ago
2008
Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...