PDSE'97, Boston, 17-18 May 1997
List of accepted papers
Regular presentations
Parallel reconfiguration management
M Wermelinger
Universidade Nova de Lisboa, Portugal
The tuple channel coordination model
M Diaz, B Rubio, J M Troya
Universidad de Malaga, Spain
Making Distributed Applications Manageable Through Instrumentation
M J Katchabaw, S L Howard, H L Lutfiyya, A D Marshall, Michael A. Bauer
Computer Science Department, University of Western Ontario, Canada
An automated algorithmic recognition technique to support parallel software development
B Di Martino, G Iannello and H Zima
University of Naples, Italy and University of Vienna, Austria
Parallel Implementations of Combinations of Broadcast, Reduction and Scan
C Wedler and C Lengauer
University of Passau, Germany
Reachability testing of message-passing programs
K C Tai
North Carolina State University
Hierarchical optimization of parallel applications
A Mitschele-Thiel
Universitaet Erlangen-Nuernberg, Erlangen, Germany
A Petri Net Semantics for B(PN)^2 with Procedures
H Fleischhack and B Grahlmann
University of Hildesheim
Formalizing A Design Technique For Distributed Programs
M Polman, M van Steen and A de Bruin
Erasmus University and Vrije Universiteit, Nederlands
Modeling of Advanced Tasking in Ada-95: A Petri Net Perspective
R K Gedela and S M Shatz
Department of EECS, University of Illinois at Chicago
Scheduling of parallel processing systems based on algorithmic skeletons
B Kalthoff
University of Paderborn, Germany
Testing parallel and distributed programs with temporal logic specifications
M Frey, M Oberhuber
Technische Universitaet, Munich, Germany
Specifying parallel and distributed systems in Object-Z
J S Dong, L Zucconi, R Duke
CSIRO, Canberra, Australia
and
University of Queensland, Australia
Web-based simulation framework: a case study
N Serbedzija L Botha, A Abbott, J Bishop
GMD FIRST, Berlin, Germany
Verification and Analysis of Parallel and Distributed Systems Requirements Specifications
K. Lateef, H H Ammar, V Mogolothu and T Nikzadeh
Dept. of Electrical and Comp. Engr., West Virginia University
Automatic template generation for solving n**2-problems on
parallel systems with arbitrary topology
P Palazzari, T Lippert, K Schilling
ENEA, S. Maria di Galeria, Italy,
and
University of Wuppertal, Hamburg, Germany
Integrating Library Modules into Special Purpose Parallel Algorithms
T Rauber and G Ruenger
Univertaet Halle-Wittenberg and Universitaet des Saarlandes
Prototype-oriented development of high performance systems
G Ribeiro Justo, P Vekariya, T Delaitre, J Zemerly and S Winter
University of Westminster, UK
Designing reusable software components following the CSP distributed programming model
J M Mantas and A Palma
Universidad de Granada, Spain
A graphical programming environment for message passing programs
P Kacsuk, G Dozsa, T Fadgyas
Hungarian Academy of Sciences, Budapest, Hungary
Tolerant (Parallel) Programming
D C DiNucci
MRJ Technology Solutions, Inc.
An Efficient Algorithm for Finding All Maximal Conflict Sets in Concurrent Programs
Kunihiko HIRAISHI
Japan Advanced Institute of Science and Technology
Short presentations
Seuss: what the doctor ordered
L Alvisi, R Joshi, C Lin and J Misra
University of Texas at Austin
Concurrency in object oriented languages
Z Abdelouahab, S Hammoudi
Universidade Federal do Maranhao, Sao Luis, Brasil
OPENPRESS- open distributed assessment platform for still image compression schemes
P Pagny, M Hohenadel
Swiss Center for Scientific Computing, Manno, CH
Reusing software architectures: a formal basis
P Ciaccia, P Ciancarini and W Penzo
University of Bologna, Italy
Non-stop monitoring and debugging on shared-memory multiprocessors
D Stewart, W M Gentleman
National Research Council of Canada, Ottawa, Canada
A performance prototyping approach to designing concurrent systems
L Hu, I Gorton
University of New South Wales, Kensington, Australia
Scenario-based hypersequential programming
N Uchihira and H Kawata
Toshiba Co., Kawasaki, Japan
Design and implmentation of a content-based image retrieval tool
G Iannizzotto, A Puliafito, L Vita
University of Messina and University of Catania, Italy