CSDL - Proceedings P

PDF

Session 1: Programming Methodology

Space-limited procedures: a methodology for portable high-performance (Abstract)

B. Alpern, IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA

L. Carter, IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA

J. Ferrante, IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA

pp. 10

PDF

Structuration of the ALPHA language (Abstract)

F. de Dinechin, IRISA, Rennes, France

P. Quinton, IRISA, Rennes, France

T. Risset, IRISA, Rennes, France

pp. 18

PDF

A scalable tuple space model for structured parallel programming (Abstract)

A. Corradi, Dipartimento di Elettronica Inf. e Sistemistica, Bologna Univ., Italy

F. Zambonelli, Dipartimento di Elettronica Inf. e Sistemistica, Bologna Univ., Italy

L. Leonardi, Dipartimento di Elettronica Inf. e Sistemistica, Bologna Univ., Italy

pp. 25

PDF

Deriving optimal data distributions for group parallel numerical algorithms (Abstract)

T. Rauber, Dept. of Comput. Sci., Saarlandes Univ., Saarbrucken, Germany

G. Runger, Dept. of Comput. Sci., Saarlandes Univ., Saarbrucken, Germany

R. Wilhelm, Dept. of Comput. Sci., Saarlandes Univ., Saarbrucken, Germany

pp. 33

PDF

Session 2: Compilers, Optimization

Automatic mapping of stream-processing functional programs (Abstract)

J.B. Dennis, Lab. for Comput. Sci., MIT, Cambridge, MA, USA

pp. 44

PDF

Compiling SVM-Fortran for the Intel Paragon XP/S (Abstract)

R. Berrendorf, Zentralinst. fur Angewandte Math., Forschungszentrum Julich GmbH, Germany

M. Gerndt, Zentralinst. fur Angewandte Math., Forschungszentrum Julich GmbH, Germany

pp. 52

PDF

Loop versus data scheduling: models, language and application for SVM (Abstract)

M.F.P. O'Boyle, Centre for Novel Comput., Manchester Univ., UK

J.M. Bull, Centre for Novel Comput., Manchester Univ., UK

pp. 60

PDF

Optimizing atomic functions using compile-time information (Abstract)

T. Ruhl, Dept. of Math. & Comput. Sci., Vrije Univ., Amsterdam, Netherlands

H.E. Bal, Dept. of Math. & Comput. Sci., Vrije Univ., Amsterdam, Netherlands

pp. 68

PDF

Towards a higher level of abstraction in parallel programming (Abstract)

D.B. Skillicorn, Dept. of Comput. Sci. & Inf. Sci., Queen's Univ., Belfast, UK

pp. 78

PDF

Session 3: Implementations, Experiments

Realizing a concurrent object-based programming model on parallel virtual shared memory architectures (Abstract)

M. Fisher, Dept. of Comput., Manchester Metropolitan Univ., UK

J. Keane, Dept. of Comput., Manchester Metropolitan Univ., UK

pp. 88

PDF

A-NETL: a language for massively parallel object-oriented computing (Abstract)

T. Baba, Dept. of Inf. Sci., Utsunomiya Univ., Japan

T. Yoshinaga, Dept. of Inf. Sci., Utsunomiya Univ., Japan

pp. 98

PDF

The refinement of high-level parallel algorithm specifications (Abstract)

S.F. Hummel, Dept. of Comput. Sci., Polytechnic Univ., Brooklyn, NY, USA

S. Talla, Dept. of Comput. Sci., Polytechnic Univ., Brooklyn, NY, USA

J. Brennan, Dept. of Comput. Sci., Polytechnic Univ., Brooklyn, NY, USA

pp. 106

PDF

Comparing scalable programming techniques for weather prediction (Abstract)

B. Rodriguez, Forecast Syst. Lab., NOAA, Boulder, CO, USA

L. Hart, Forecast Syst. Lab., NOAA, Boulder, CO, USA

T. Henderson, Forecast Syst. Lab., NOAA, Boulder, CO, USA

pp. 111

PDF

Automatic generation of parallel algorithms (Abstract)

T. Beth, Inst. fur Algorithmen und Kognitive Syst., Karlsruhe Univ., Germany

pp. 122

PDF

Session 4: Programming Languages

The parallel Fortran family and a new perspective (Abstract)

J. Darlington, Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK

Y. Guo, Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK

Jin Yang, Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK

pp. 126

PDF

Integrating synchronous and asynchronous paradigms: the Fork95 parallel programming language (Abstract)

C.W. Kessler, Fachbereich IV Inf., Trier Univ., Germany

H. Seidl, Fachbereich IV Inf., Trier Univ., Germany

pp. 134

PDF

Distributed memory implementation of elliptic partial differential equations in a dataparallel functional language (Abstract)

H. Kuchen, Lehrstuhl fur Inf. II, Tech. Hochschule Aachen, Germany

H. Stoltze, Lehrstuhl fur Inf. II, Tech. Hochschule Aachen, Germany

I. Dimov, Lehrstuhl fur Inf. II, Tech. Hochschule Aachen, Germany

A. Karaivanova, Lehrstuhl fur Inf. II, Tech. Hochschule Aachen, Germany

pp. 142

PDF

Term graph rewriting as a specification and implementation framework for concurrent object-oriented programming languages (Abstract)

R. Banach, Dept. of Comput. Sci., Manchester Univ., UK

G.A. Papadopoulos, Dept. of Comput. Sci., Manchester Univ., UK

pp. 151

PDF

Irregular applications in PROMOTER (Abstract)

A. Schramm, RWCP Massively Parallel Syst. GMD Lab., Berlin, Germany

pp. 159

PDF

V-nested parallelism in C (Abstract)

M.M.T. Chakravarty, Tech. Univ. Berlin, Germany

F.W. Schroer, Tech. Univ. Berlin, Germany

M. Simons, Tech. Univ. Berlin, Germany

pp. 167

PDF

Session 5: Tools and Environments

Facilitating the development of portable parallel applications on distributed memory systems (Abstract)

C. Voliotis, Nat. Tech. Univ. of Athens, Greece

G. Manis, Nat. Tech. Univ. of Athens, Greece

A. Thanos, Nat. Tech. Univ. of Athens, Greece

P. Tsanakas, Nat. Tech. Univ. of Athens, Greece

G. Papakonstantinou, Nat. Tech. Univ. of Athens, Greece

pp. 176

PDF

A package for automatic parallelization of serial C-programs for distributed systems (Abstract)

V. Beletsky, Inst. of Simulation Problems in Power Eng., Acad. of Sci., Kiev, Ukraine

A. Bagaterenco, Inst. of Simulation Problems in Power Eng., Acad. of Sci., Kiev, Ukraine

A. Chemeris, Inst. of Simulation Problems in Power Eng., Acad. of Sci., Kiev, Ukraine

pp. 184

PDF

Interactive visualization of high-dimension iteration and data sets (Abstract)

Z.S. Chamski, Centre for Novel Comput., Manchester Univ., UK

G.A. Hedayat, Centre for Novel Comput., Manchester Univ., UK

pp. 189

PDF

Session 6: Theory

Parallel EARS [edge addition rewrite systems] (Abstract)

U. Assmann, Inst. Nat. de Recherche en Inf. et Autom., Le Chesnay, France

pp. 198

PDF

Proving data-parallel programs correct: the proof outlines approach (Abstract)

L. Bouge, Lab. LIP-IMAG, Ecole Normale Superieure de Lyon, France

D. Cachera, Lab. LIP-IMAG, Ecole Normale Superieure de Lyon, France

pp. 205

PDF

Provably correct vectorization of nested-parallel programs (Abstract)

J.W. Riely, North Carolina Univ., Chapel Hill, NC, USA

J. Prins, North Carolina Univ., Chapel Hill, NC, USA

S.P. Iyer, North Carolina Univ., Chapel Hill, NC, USA

pp. 213

PDF

Panel Discussion & Open Forum

"Can Parallel Programming be Made (Almost) as Easy as Sequential Programming? Yes, No, How?" (Abstract)

Compiled by A. Schramm

N. Serbedzija

A Sodan

pp. 224

PDF

Author Index (PDF)

pp. 229