Coverart for item
The Resource Dependable Computing for Critical Applications 7, (electronic resource)

Dependable Computing for Critical Applications 7, (electronic resource)

Label
Dependable Computing for Critical Applications 7
Title
Dependable Computing for Critical Applications 7
Creator
Contributor
Author
Subject
Language
eng
Summary
Annotation:
Cataloging source
BIP US
Citation source
Sci-Tech BIP
http://library.link/vocab/creatorName
Weinstock, Charles B
Dewey number
004.2
LC call number
QA76.9.F38D4653 1999
http://library.link/vocab/relatedWorkOrContributorDate
1949-
http://library.link/vocab/relatedWorkOrContributorName
Rushby, John
Series statement
Dependable Computing and Fault-Tolerant Systems Ser.
Series volume
Vol. 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
Label
Dependable Computing for Critical Applications 7, (electronic resource)
Instantiates
Publication
Control code
OCM1bookssj0000558197
Dimensions
25.000 x 018.000 cm.
Dimensions
unknown
Extent
430 pages
Governing access note
Available for distribution in: USA, UNITED KINGDOM
Isbn
9780769502847
Lccn
99063959
Other control number
9780769502847
Other physical details
ill
Specific material designation
remote
System control number
(WaSeSS)ssj0000558197
Label
Dependable Computing for Critical Applications 7, (electronic resource)
Publication
Control code
OCM1bookssj0000558197
Dimensions
25.000 x 018.000 cm.
Dimensions
unknown
Extent
430 pages
Governing access note
Available for distribution in: USA, UNITED KINGDOM
Isbn
9780769502847
Lccn
99063959
Other control number
9780769502847
Other physical details
ill
Specific material designation
remote
System control number
(WaSeSS)ssj0000558197

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...