Software Engineering for Parallel and Distributed Systems

Keyphrases

Publications

1996

Fred Carter, Alan D. Fekete
Cerberus - a tool for debugging distributed algorithms. Software Engineering for Parallel and Distributed Systems (1996)
Carl I. Birkinshaw, Peter R. Croll
Supporting integrated modelling of parallel hybrid systems. Software Engineering for Parallel and Distributed Systems (1996)
Beniamino Di Martino, Christoph W. Keßler
Program comprehension engines for automatic parallelization: a comparative study. Software Engineering for Parallel and Distributed Systems (1996)
Henryk Krawczyk, Bogdan Wiszniewski
Interactive testing tool for parallel programs. Software Engineering for Parallel and Distributed Systems (1996)
John Yiannis Cotronis
Efficient composition and automatic initialization of arbitrary structured PVM programs. Software Engineering for Parallel and Distributed Systems (1996)
Peter Milligan, Paul Sage, P. J. P. McMullan, Patrick H. Corr
A knowledge based approach to parallel software engineering. Software Engineering for Parallel and Distributed Systems (1996)
Michele Di Santo, Franco Frattolillo, Wilma Russo, Eugenio Zimeo
The AL++ Project: object-oriented parallel programming on multicomputers. Software Engineering for Parallel and Distributed Systems (1996)
C. Bernon, Claude Bétourné, A. Sayah
Arcadia: a platform for the study of dynamic scheduling of communicating processes. Software Engineering for Parallel and Distributed Systems (1996)
Leslie R. Fletcher, Marie Santini
Periodicity in an asynchronous algorithm for parallel processing. Software Engineering for Parallel and Distributed Systems (1996)
Julian M. Bass, Adrian Browne, Mohamed S. Hajji, Peter R. Croll, Peter J. Fleming
Development framework for real-time control system design. Software Engineering for Parallel and Distributed Systems (1996)
Andrew M. Tyrrell
Communications are everything: a design methodology for fault-tolerant concurrent systems. Software Engineering for Parallel and Distributed Systems (1996)
Maximilian Frey
Debugging parallel programs using temporal logic specifications. Software Engineering for Parallel and Distributed Systems (1996)
Andreas Mitschele-Thiel
Methodology and tools for the development of high performance parallel systems with SDL/MSCs. Software Engineering for Parallel and Distributed Systems (1996)
Innes Jelly, Ian Gorton
The PARSE project. Software Engineering for Parallel and Distributed Systems (1996)
Thierry Cattel
Using concurrency and formal methods for the design of safe process control. Software Engineering for Parallel and Distributed Systems (1996)
Oliver Botti, Lorenzo Capra
Performance indices to characterise concurrent applications: experimenting GSPN evaluation techniques in plant automation. Software Engineering for Parallel and Distributed Systems (1996)
Anna Liu, Toong Shoon Chan, Ian Gorton
Designing distributed multimedia systems using PARSE. Software Engineering for Parallel and Distributed Systems (1996)
Susanna Donatelli, Nicola Mazzocca, Stefano Russo
EPOCA: status and prospects. Software Engineering for Parallel and Distributed Systems (1996)
Vincent Loechner, Catherine Mongenet
OPERA: a toolbox for loop parallelization. Software Engineering for Parallel and Distributed Systems (1996)
Peter Luksch, Ursula Maier, Sabine Rathmayer, Matthias Weidmann
SEMPA: software engineering methods for parallel scientific applications. Software Engineering for Parallel and Distributed Systems (1996)
Simon A. Dobson, Christopher P. Wadsworth
Towards a theory of shared data in distributed systems. Software Engineering for Parallel and Distributed Systems (1996)
Helmar Burkhart, Niandong Fang, Robert Frank, Guido Hächler, Walter Kuhn, Gérald Prétôt
The Basel Tool Suite for parallel processing. Software Engineering for Parallel and Distributed Systems (1996)
Karsten M. Decker, Jiri J. Dvorak, René M. Rehmann
Problem-solving on scalable parallel systems using application specification and reusable software components. Software Engineering for Parallel and Distributed Systems (1996)
Anthony J. Cowling, M. C. Nike
Using data flow algebra to analyse the alternating bit protocol. Software Engineering for Parallel and Distributed Systems (1996)
Fred W. Howell
Reverse profiling. Software Engineering for Parallel and Distributed Systems (1996)
Rocco Aversa, Antonino Mazzeo, Nicola Mazzocca, Umberto Villano
The PS project: development of a simulator of PVM applications for heterogeneous and network computing. Software Engineering for Parallel and Distributed Systems (1996)
Pierre Marcenac, Sylvain Giroux, J. R. Grasso
Designing and implementing complex systems with agents. Software Engineering for Parallel and Distributed Systems (1996)
Paddy Nixon, Lihua Shi
Concurrent semantics for structured design methods. Software Engineering for Parallel and Distributed Systems (1996)
J. Mark Bull
A hierarchical classification of overheads in parallel programs. Software Engineering for Parallel and Distributed Systems (1996)
Naoshi Uchihira, Shinichi Honiden, Toshibumi Seki
Hypersequential programming - a novel paradigm for concurrent programming. Software Engineering for Parallel and Distributed Systems (1996)
Ian A. Coutts, Marcos Wilson C. Aguiar, John M. Edwards
Infrastructural software for model driven distributed manufacturing systems. Software Engineering for Parallel and Distributed Systems (1996)

volume 50, 1996

Software Engineering for Parallel and Distributed Systems, Proceedings of the First IFIP TC10 International Workshop on Parallel and Distributed Software Engineering, March 1996 Software Engineering for Parallel and Distributed Systems 50 (1996)