Sciweavers

JAVA
1999
Springer
14 years 3 months ago
Fixing the Java Memory Model
The Java memory model described in Chapter 17 of the Java Language Specification gives constraints on how threads interact through memory. The Java memory model is hard to interp...
William Pugh
JAVA
1999
Springer
14 years 3 months ago
Dynamic Denotational Semantics of Java
This chapter presents a dynamic denotational semantics of the Java programming language. This semantics covers almost the full range of the base language, excluding only concurrenc...
Jim Alves-Foss, Fong Shing Lam
JAVA
1999
Springer
14 years 3 months ago
Formal Grammar for Java
Jim Alves-Foss, Deborah A. Frincke
HIPS
1998
IEEE
14 years 3 months ago
A Graph-Based Framework for the Definition of Tools Dealing with Sparse and Irregular Distributed Data Structures
Industrial applications use specific problem-oriented implementations of large sparse and irregular data structures. Hence there is a need for tools that make it possible for deve...
Jean-Michel Lépine, Serge Chaumette, Frank ...
HIPS
1998
IEEE
14 years 3 months ago
Further Results for Improving Loop Interchange in Non-Adjacent and Imperfectly Nested Loops
Loop interchange is a powerful restructuring technique for supporting vectorization and parallelization. In this paper, we propose a technique which is better to determine whether...
Tsung-Chuan Huang, Cheng-Ming Yang
HIPS
1998
IEEE
14 years 3 months ago
Parallel and Distributed Programming with Pthreads and Rthreads
This paper describes Rthreads (Remote threads), a software distributed shared memory system that supports sharing of global variables on clusters of computers with physically dist...
Bernd Dreier, Markus Zahn, Theo Ungerer
HIPS
1998
IEEE
14 years 3 months ago
ViC*: A Compiler for Virtual-Memory C*
Alex Colvin, Thomas H. Cormen
HIPS
1998
IEEE
14 years 3 months ago
ZPL's WYSIWYG Performance Model
ZPL is a parallel array language designed for high performance scientific and engineering computations. Unlike other parallel languages, ZPL is founded on a machine he CTA) that a...
Bradford L. Chamberlain, Sung-Eun Choi, E. Christo...
HIPS
1998
IEEE
14 years 3 months ago
Language Bindings for a Data-Parallel Runtime
The NPAC kernel runtime, developed in the PCRC Parallel Compiler Runtime Consortium project, is a runtime library with special support for the High Performance Fortran data model....
Bryan Carpenter, Geoffrey Fox, Donald Leskiw, Xiao...