| Record ID | marc_columbia/Columbia-extract-20221130-005.mrc:171866027:4019 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-005.mrc:171866027:4019?format=raw |
LEADER: 04019fam a2200397 a 4500
001 2128700
005 20220615211630.0
008 970911t19981998caua b 001 0 eng
010 $a 97041366
020 $a0818680091
035 $a(OCoLC)37631237
035 $a(OCoLC)ocm37631237
035 $9ANG9834CU
035 $a(NNC)2128700
035 $a2128700
040 $aDLC$cDLC$dDLC$dOrLoB-B
050 00 $aQA76.9.F38$bD465 1998
082 00 $a004.2$221
245 00 $aDependable computing for critical applications 6 /$cMario Dal Cin, Catherine Meadows, William H. Sanders (eds.).
260 $aLos Alamitos, Calif. :$bIEEE Computer Society,$c[1998], ©1998.
300 $axiii, 328 pages :$billustrations ;$c27 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aDependable computing and fault-tolerant systems ;$vvol. 11
504 $aIncludes bibliographical references and index.
500 $a"IEEE Computer Society Press order number BP08009"--T.p. verso.
505 00 $tExperimental Evaluation of Assigned Signature Checking With Return Address Hashing on Different Platforms /$rUwe Wildner --$tTransient Fault Detection in Cache Memories by Employing a Small Shadow Cache /$rArun K. Somani and Seongwoo Kim --$tFrequentist and Bayesian Coverage Estimations for Stratified Fault-Injection /$rMichel Cukier, Jean Arlat and David Powell --$tComparing Different Fault Models Using VERIFY /$rVolkmar Sieh, Oliver Tschache and Frank Balbach --$tA Highly Available Local Leader Election Service /$rChristof Fetzer and Flaviu Cristian --$tDeterministic Operation of Dissimilar Replicated Task Sets in Fault-Tolerant Distributed Real-Time Systems /$rStefan Poledna --$tFault-Tolerant Rate-Monotonic Scheduling /$rSunondo Ghosh, Rami Melhem and Daniel Mosse --$gPanel 1.$tExtending QoS to include Performance, Dependability, and Security Chair /$rDavid E. Bakken, Chris Sluman and J. P. LeBlanc [et al.] --
505 80 $tPosition paper: On Specification, Metadata, and Binding of Multi-Property Quality of Service /$rDavid E. Bakken --$tPosition paper: Quality of Service: An Industry Perspective /$rChris Sluman --$tPosition paper: Multi-Property QoS in CORBA: Providing Implementation Visibility /$rJ. P. LeBlanc --$tPosition paper: High Assurance Properties /$rJohn McLean --$tPosition paper: Initial Design Concepts for Quality of Service /$rChris Maeda, Arthur Lee and Gail Murphy [et al.] --$tVerifying the Specification-to-Code Correspondence for Abstract Data Types /$rDaniel Schweizer and Christoph Denzler --$tSystematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms /$rJohn Rushby --$tValidating the Fail-Silence Assumption of the MARS Architecture /$rEmmerich Fuchs --$tInfluence of On-line Spare Disks and Duplicated Controllers on RAID Dependability /$rVicente Santonja, Javier Molero and Marina Alonso [et al.] --
505 80 $tEvaluating the Impact of Transient Faults on Software Behavior: Case Study of a Commercial High-Speed Network /$rGreg Ries and Ravishankar K. Iyer --$tFormalising Engineering Judgement of Software Dependability via Belief Networks /$rKemal A. Delic, Franco Mazzanti and Lorenzo Strigini --$tExperimenting with Quantitative Evaluation Tools for Monitoring Operational Security /$rRodolphe Ortalo, Yves Deswarte and Mohamed Kaaniche --$gPanel 2.$tSurvivability in the Face of Malicious Attack /$rTeresa Lunt, Yves Deswarte and Keith Marzullo [et al.].
650 0 $aFault-tolerant computing.$0http://id.loc.gov/authorities/subjects/sh85047488
650 0 $aComputers$xReliability.$0http://id.loc.gov/authorities/subjects/sh85029561
700 1 $aDal Cin, Mario,$d1940-$0http://id.loc.gov/authorities/names/n80098421
700 1 $aMeadows, Catherine.$0http://id.loc.gov/authorities/names/n94044474
700 1 $aSanders, William Huston,$d1949-$0http://id.loc.gov/authorities/names/n86805187
830 0 $aDependable computing and fault-tolerant systems ;$vv. 11.
852 00 $boff,eng$hQA76.9.F38$iD465 1998