Proceedings of the Joint Workshop on Parallel and Distributed Real-time Systems

Proceedings of the Joint Workshop on Parallel and Distributed Real-time Systems
Author:
Publisher: Institute of Electrical & Electronics Engineers(IEEE)
Total Pages: 388
Release: 1997
Genre: Computers
ISBN:

Aimed at researchers, professors, practitioners, students and other computing professionals, this work looks at: new paradigms for parallel and distributed real-time systems; operating systems and environments; scheduling; and real-time databases.

Parallel and Distributed Processing

Parallel and Distributed Processing
Author: Jose Rolim
Publisher: Springer Science & Business Media
Total Pages: 1194
Release: 1998-03-18
Genre: Computers
ISBN: 9783540643593

This book constitutes the refereed proceedings of 10 international workshops held in conjunction with the merged 1998 IPPS/SPDP symposia, held in Orlando, Florida, US in March/April 1998. The volume comprises 118 revised full papers presenting cutting-edge research or work in progress. In accordance with the workshops covered, the papers are organized in topical sections on reconfigurable architectures, run-time systems for parallel programming, biologically inspired solutions to parallel processing problems, randomized parallel computing, solving combinatorial optimization problems in parallel, PC based networks of workstations, fault-tolerant parallel and distributed systems, formal methods for parallel programming, embedded HPC systems and applications, and parallel and distributed real-time systems.

Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems, April 15-16, 1996, Honolulu, Hawaii

Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems, April 15-16, 1996, Honolulu, Hawaii
Author:
Publisher: Institute of Electrical & Electronics Engineers(IEEE)
Total Pages: 282
Release: 1996
Genre: Computers
ISBN:

The 48 refereed, original, unpublished papers describe research pertaining to real-time experimental and commercial systems that are parallel and/or distributed, their scientific and commercial applications, and theoretical foundations. The keynote speech is on Ada 95 for real-time, distribution, an

Compositionality: The Significant Difference

Compositionality: The Significant Difference
Author: Willem-Paul de Roever
Publisher: Springer
Total Pages: 655
Release: 2003-05-20
Genre: Computers
ISBN: 3540492135

This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reasoning about concurrency. The book is a valuable reference for researchers and professionals interested in formal systems design and analysis; it also is well suited for self study and use in advanced courses.

Proceedings, Third International Workshop on Object-oriented Real-time Dependable Systems

Proceedings, Third International Workshop on Object-oriented Real-time Dependable Systems
Author:
Publisher: Institute of Electrical & Electronics Engineers(IEEE)
Total Pages: 372
Release: 1997
Genre: Computers
ISBN: 9780818680465

Annotation Proceedings of the February 1997 workshop, WORDS'97, include one panel discussion--selecting quality of service in a heterogeneous environment: bandwidth, security, fault tolerance and real-time behavior. The rest of the 45 papers are organized in sessions on models/language, operating systems/architecture, system engineering, system validation and verification, applications, dependability and fault tolerance, and communication. Two early bird sessions covered a variety of topics, including object-based checkpoints in distributed systems and time-bounded cooperative recovery with the distributed real-time application. No index. Annotation copyrighted by Book News, Inc., Portland, OR.