Cover Image
Read Now

Responsive Computer Systems

For the second time the International Workshop on Responsive Com­ puter Systems has brought together a group of international experts from the fields of real-time computing, distributed computing, and fault­ tolerant systems. The two day workshop met at the splendid facilities at the KDD Research an...

Full description

Bibliographic Details
Other Authors: Kopetz, Hermann (Editor), Kakuda, Yoshiaki (Editor)
Format: eBook
Language:English
Published: Vienna Springer Vienna 1993, 1993
Edition:1st ed. 1993
Series:Dependable Computing and Fault-Tolerant Systems
Subjects:
Models Of Computation
Software Engineering
Computer Science
Control, Robotics, Automation
Applied Dynamical Systems
Computers
Computer Networks 
Computer Hardware
Computer Engineering And Networks
Nonlinear Theories
Control Engineering
Robotics
Computer Engineering
Automation
Dynamics
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Table of Contents:
  • Opening Session
  • Six Difficult Problems in the Design of Responsive Systems
  • Issues in Responsive Protocols Design
  • Responsive Systems Theory
  • A Probabilistic Duration Calculus
  • Timed Statecharts and Real Time Logic
  • Fault-Tolerant Distributed Sort Generated from a Verification Proof Outline
  • Responsive Protocols
  • Towards a Responsive Network Protocol
  • Fault-Tolerant Object by Group-to-Group Communications in Distributed Systems
  • Space-Time Tradeoff in Hierarchical Routing Schemes
  • Work in Progress
  • Fault-Tolerance Support for Responsive Computer Systems
  • Position Paper: Responsive Airborne Radar Systems
  • Overview of an Integrated Toolset Under Development for the CSR Paradigm
  • A Distributed Snapshots Algorithm and its Application to Protocol Stabilization
  • Protocol Validation Tool and Its Applicability to Responsive Protocols
  • Keynote Address
  • The Concepts and Technologies of Dependable and Real-time Computer Systems for Shinkansen Train Control
  • Real-Time Systems
  • Exception Handling in Real-Time Software from Specification to Design
  • Realizing Changes of Operational Modes with a Pre Run-Time Scheduled Hard Real-Time System
  • Formal Specification and Simulation of a Real-Time Concurrency Control Protocol
  • Panel Discussion
  • What Are the Key Paradigms in the Integration of Timeliness and Availability ?
  • Contribution to the Panel: What are the Key Paradigms in the Integration of Timeliness and Availability
  • Complicatied Paradigm of Responsive Systems
  • Toward Responsive Distributed Systems
  • Resposive System Design
  • A Reconfigurable Parallel Processor Based on a TDLCA Model
  • A Modeling Approach for Dynamically Reconfigurable Systems
  • Author Index

Similar Items