CSDL - Proceedings P

Program Committee (PDF)

pp. ix

Reviewers (PDF)

pp. x

Session 1: Verification

Modeling of Advanced Tasking in Ada-95: A Petri Net Perspective (Abstract)

Ravi K. Gedela, The University of Illinois at Chicago

Sol M. Shatz, The University of Illinois at Chicago

pp. 4

PDF

A Petri Net Semantics for B(PN)^2 with Procedures (Abstract)

Bernd Grahlmann, Universitat Hildesheim

Hans Fleischhack, Fachbereich Informatik

pp. 15

PDF

A methodology for verification and analysis of parallel and distributed systems requirements specifications (Abstract)

K. Lateef, Dept. of Electr. & Comput. Eng., West Virginia Univ., Morgantown, WV, USA

H. Ammar, Dept. of Electr. & Comput. Eng., West Virginia Univ., Morgantown, WV, USA

V. Mogulothu, Dept. of Electr. & Comput. Eng., West Virginia Univ., Morgantown, WV, USA

T. Nikzadeh, Dept. of Electr. & Comput. Eng., West Virginia Univ., Morgantown, WV, USA

pp. 28

PDF

An Efficient Algorithm for Finding All Maximal Conflict Sets in Concurrent Programs (Abstract)

Kunihiko Hiraishi, School of Information Science Japan Advanced Institute of Science and Technology

pp. 39

PDF

Session 2: Testing

Reachability Testing of Asynchronous Message-Passing Programs (Abstract)

Kuo-Chung Tai, North Carolina State University

pp. 50

PDF

Testing Parallel and Distributed Programs with Temporal Logic Specifications (Abstract)

Maximilian Frey, Institut fur Informatik, Technische Universitat Munchen

pp. 62

PDF

Session 3: Distributed Software Development - 1

Prototype-Oriented Development of High-performance Systems (Abstract)

pp. 74

PDF

Making Distributed Applications Manageable Through Instrumentation (Abstract)

Michael J. Katchabaw, The University of Western Ontario

Stephen L. Howard, The University of Western Ontario

Hanan L. Lutfiyya, The University of Western Ontario

Andrew D. Marshall, The University of Western Ontario

Michael A. Bauer, The University of Western Ontario

pp. 84

PDF

The Tuple Channel Coordination Model (Abstract)

Manuel Diaz, Dpt. Lenguajes y Ciencias de la Computacion ETSI Informatica

Bartolome Rubio, Dpt. Lenguajes y Ciencias de la Computacion ETSI Informatica

Jose Maria Troya, Dpt. Lenguajes y Ciencias de la Computacion ETSI Informatica

pp. 95

PDF

Session 4: Parallel Software Development

Parallel Implementations of Combinations of Broadcast, Reduction and Scan (Abstract)

Christoph Wedler, Fakultaet fuer Mathematik und Informatik Universitaet Passau

Christian Lengauer, Fakultaet fuer Mathematik und Informatik Universitaet Passau

pp. 108

PDF

An Automated Algorithmic Recgnition Ttechnique to Support Parallel Software Development (Abstract)

Beniamino Di Martino, Dipartimento di Informatica e Sistemistica University of Naples Federico II-Italy

Giulio Iannello, Dipartimento di Informatica e Sistemistica University of Naples Federico II-Italy

Hans P. Zima, Dipartimento di Informatica e Sistemistica University of Naples Federico II-Italy

pp. 120

PDF

Automatic Template Generation for Solving n^2-Problems on Parallel Systems with Arbitrary Topology (Abstract)

Thomas Lippert, {a}: HLRZ, {b}: ENEA, HPCN Project, C.R.

Paolo Palazzari, {a}: HLRZ, {b}: ENEA, HPCN Project, C.R.

Klaus Schilling, {a}: HLRZ, {b}: ENEA, HPCN Project, C.R.

pp. 130

PDF

Session 5: Specification and Design

Specifying Parallel and Distributed Systems in Object-Z (Abstract)

Jin Song Dong, Commonwealth Scientific and Industrial Research Organisation (CSIRO) , Australia

Lin Zucconi, Commonwealth Scientific and Industrial Research Organisation (CSIRO) , Australia

Roger Duke, University of Queensland, Australia

pp. 140

PDF

Formalizing a Design Technique for Distributed Programs (Abstract)

Mark Polman, Erasmus University of Rotterdam

Maarten Van Steen, Vrije Universiteit of Amsterdam

Arie de Bruin, Erasmus University of Rotterdam

pp. 150

PDF

Session 6: Reuse

Integrating library modules into special purpose parallel algorithms (Abstract)

T. Rauber, Inst. fur Inf., Halle-Wittenberg Univ., Germany

G. Runger, Inst. fur Inf., Halle-Wittenberg Univ., Germany

pp. 162

PDF

Designing Reusable Software Components Following the CSP Distributed Programming Model (Abstract)

J.M. Mantas, Universidad de Granada

A. Palma, Universidad de Granada

pp. 174

PDF

Session 7: Distributed Applications Development - 2

Web Computing Skeleton: A Case Study (Abstract)

N.B. Serbedzija, GMD FIRST

L. ~Botha, University of Pretoria

A. ~Abbott, University of Pretoria

J. ~Bishop, University of Pretoria

pp. 188

PDF

Tolerant(Parallel) Programming F-Nets and Software Cabling (Abstract)

David C. DiNucci, MRJ Technology Solutions, Inc

pp. 198

PDF

A Graphical Programming Environment for Message Passing Programs (Abstract)

P. Kacsuk, Hungarian Academy of Sciences

G. Dozsa, Hungarian Academy of Sciences

T. Fadgyas, Hungarian Academy of Sciences

pp. 210

PDF

Session 8: Task Allocation and Scheduling

Hierarchical Optimization of Parallel Applications (Abstract)

Andreas Mitschele-Thiel, University of Erlangen-Nuremberg, IMMD VII

pp. 222

PDF

Scheduling of parallel processing systems based on algorithmic skeletons (Abstract)

Bodo Kalthoff, Heinz Nixdorf Institut Paderborn University

pp. 234

PDF

A Hierarchic Architecture Model for Dynamic Reconfiguration (Abstract)

Michel Wermelinger, Universidade Nova de Lisboa

pp. 243

PDF

Part Two: Project Reports and Applications

Reusing Software Architectures: A Formal Basis (Abstract)

P. Ciancarini, University of Bologna

P. Ciaccia, DEIS CSITE-CNR University of Bologna

W. Penzo, DEIS CSITE-CNR University of Bologna

pp. 256

PDF

Non-Stop Monitoring and Debugging on Shared-Memory Multiprocessors (Abstract)

Darlene A. Stewart, Gentleman National Research Council of Canada

W. Morven, Gentleman National Research Council of Canada

pp. 263

PDF

A Performance Prototyping Approach to Designing Concurrent Software Architectures (Abstract)

Lei Hu, CaST Lab, School of Computer Science and Engineering

Ian Gorton, CaST Lab, School of Computer Science and Engineering

pp. 270

PDF

Scenario-Based Hypersequential Programming: Concept and Example (Abstract)

Naoshi Uchihira, Systems & Software Research Laboratories Toshiba Corporation

Hideji Kawata, Systems & Software Research Laboratories Toshiba Corporation

pp. 277

PDF

Seuss: What the Doctor Ordered (Abstract)

Lorenzo Alvisi, University of Texas at Austin

Rajeev Joshi, University of Texas at Austin

Calvin Lin, University of Texas at Austin

Jayadev Misra, University of Texas at Austin

pp. 284

PDF

Concurrency in Object Oriented Language Actel (Abstract)

Zair Abdelouahab, Universidade Federal do Maranhpo Campus Universitario do Bacanga

Slimane Hammoudi, Universidade Federal do Maranhpo Campus Universitario do Bacanga

pp. 291

PDF

OPENPRESS - Open Distributed Assessment Platform for Still Image Compression Schemes (Abstract)

Pascal Pagny, Swiss Center for Scientific Computing

Marc C. Hohenadel, Swiss Center for Scientific Computing

pp. 297

PDF

Design and Implementation of a content-based Image Retrieval ToolGiancarlo Iannizzotto(1), Antonio Puliafito(2), Lorenzo Vita(1) (1)Dipartimento di Matematica, (Abstract)

G. Iannizzotto

A. Puliafito

L. Vita

pp. 304

PDF

Author Index (PDF)

pp. 311