Proceedings of a June 2000 symposium, addressing issues that face software developers working with parallel and distributed systems. Papers come from 10 different countries, representing worldwide interest in the topic. This year's meeting focuses on distributed systems development, reflecting the growth in the deployment and importance of large scale distributed applications. Subjects include scalability issues in CORBA, formalization and verification of coherence protocols with the gamma framework, a formalism for hierarchical mobile agents, and a case study of exploratory visualization of distributed computations. Lacks a subject index. Annotation copyrighted by Book News, Inc., Portland, ORThe Mars Pathfinder mission of 1998 suffered a race hazard from just three interacting threads that led to real-time failure on the Martian ... Inmos Ltd, occam3 user manual, alt;www . hensa _ ac . uk/parallel / occarn/ - documentation/agt; , I991. I-I.
|Title||:||Software Engineering for Parallel and Distributed Systems|
|Publisher||:||IEEE - 2000|