The Community for Technology Leaders
Software Engineering for Parallel and Distributed Systems, International Symposium on (1997)
Boston, MA
May 17, 1997 to May 18, 1997
ISBN: 0-8186-8043-1
TABLE OF CONTENTS

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

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

Hans Fleischhack , Fachbereich Informatik
Bernd Grahlmann , Universitat Hildesheim
pp. 15

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
T. Nikzadeh , Dept. of Electr. & Comput. Eng., West Virginia Univ., Morgantown, WV, USA
V. Mogulothu , Dept. of Electr. & Comput. Eng., West Virginia Univ., Morgantown, WV, USA
pp. 28

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
Session 2: Testing

Reachability Testing of Asynchronous Message-Passing Programs (Abstract)

Kuo-Chung Tai , North Carolina State University
pp. 50

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

Maximilian Frey , Institut fur Informatik, Technische Universitat Munchen
pp. 62
Session 3: Distributed Software Development - 1

Making Distributed Applications Manageable Through Instrumentation (Abstract)

Stephen L. Howard , The University of Western Ontario
Michael J. Katchabaw , The University of Western Ontario
Michael A. Bauer , The University of Western Ontario
Hanan L. Lutfiyya , The University of Western Ontario
Andrew D. Marshall , The University of Western Ontario
pp. 84

The Tuple Channel Coordination Model (Abstract)

Bartolome Rubio , Dpt. Lenguajes y Ciencias de la Computacion ETSI Informatica
Jose Maria Troya , Dpt. Lenguajes y Ciencias de la Computacion ETSI Informatica
Manuel Diaz , Dpt. Lenguajes y Ciencias de la Computacion ETSI Informatica
pp. 95
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

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

Hans P. Zima , Dipartimento di Informatica e Sistemistica University of Naples Federico II-Italy
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
pp. 120

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
Session 5: Specification and Design

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

Roger Duke , University of Queensland, Australia
Lin Zucconi , Commonwealth Scientific and Industrial Research Organisation (CSIRO) , Australia
Jin Song Dong , Commonwealth Scientific and Industrial Research Organisation (CSIRO) , Australia
pp. 140

Formalizing a Design Technique for Distributed Programs (Abstract)

Maarten Van Steen , Vrije Universiteit of Amsterdam
Mark Polman , Erasmus University of Rotterdam
Arie de Bruin , Erasmus University of Rotterdam
pp. 150
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
Session 7: Distributed Applications Development - 2

Web Computing Skeleton: A Case Study (Abstract)

L. ~Botha , University of Pretoria
A. ~Abbott , University of Pretoria
N.B. Serbedzija , GMD FIRST
J. ~Bishop , University of Pretoria
pp. 188

A Graphical Programming Environment for Message Passing Programs (Abstract)

G. Dozsa , Hungarian Academy of Sciences
T. Fadgyas , Hungarian Academy of Sciences
P. Kacsuk , Hungarian Academy of Sciences
pp. 210
Session 8: Task Allocation and Scheduling

Hierarchical Optimization of Parallel Applications (Abstract)

Andreas Mitschele-Thiel , University of Erlangen-Nuremberg, IMMD VII
pp. 222

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

Bodo Kalthoff , Heinz Nixdorf Institut Paderborn University
pp. 234
Part Two: Project Reports and Applications

Reusing Software Architectures: A Formal Basis (Abstract)

W. Penzo , DEIS CSITE-CNR University of Bologna
P. Ciaccia , DEIS CSITE-CNR University of Bologna
P. Ciancarini , University of Bologna
pp. 256

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

W. Morven , Gentleman National Research Council of Canada
Darlene A. Stewart , Gentleman National Research Council of Canada
pp. 263

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

Ian Gorton , CaST Lab, School of Computer Science and Engineering
Lei Hu , CaST Lab, School of Computer Science and Engineering
pp. 270

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

Seuss: What the Doctor Ordered (Abstract)

Rajeev Joshi , University of Texas at Austin
Calvin Lin , University of Texas at Austin
Jayadev Misra , University of Texas at Austin
Lorenzo Alvisi , University of Texas at Austin
pp. 284

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

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

Author Index (PDF)

pp. 311
91 ms
(Ver 3.1 (10032016))