Dependable computing for critical applications 7

The Resource Dependable computing for critical applications 7
Label
Dependable computing for critical applications 7
Statement of responsibility
Charles B. Weinstock and John Rushby (eds.)
Contributor
Subject
Genre
Language
eng
Summary
Annotation
Member of
Action
digitized
Cataloging source
OCLCE
Dewey number
004.2
Illustrations
illustrations
Index
index present
Language note
English
LC call number
QA76.9.F38
LC item number
D4653 1999
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
Dependable computing and fault-tolerant systems
Series volume
v. 12
Summary expansion
Presenting all 20 of the conferences talks, covers assessing and coping with commercial off-the-shelf components, formal methods, distributed systems, time-triggered architecture, fault tolerance and safety, models of partitioning for integrated modular avionics, dependability evaluation, and probabilistic guarantees. A summary is also provided for a panel on certifying and assessing critical systems. Among the specific topics are building fault-tolerant hardware clocks from commercial components, improving the performance of atomic broadcast protocols using the newsmonger technique, the experimentally validating high-speed systems using physical fault injection, and evaluating dependability using a multi-criteria decision analysis procedure. No mention is made of where or when the conference was held. There is no subject index. Annotation copyrighted by Book News, Inc., Portland, OR

Context

Context of Dependable computing for critical applications 7

Work of

Structured data from the Bibframe namespace is licensed under the Creative Commons Attribution 4.0 International License by Missouri University of Science & Technology Library. Additional terms may apply to data associated with third party namespaces.
Processing Feedback ...