• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Data och IT
      2. Systemvetenskap och AI

      Dependable Computing for Critical Applications 2

      AvJohn F. Meyer,Richard D. Schlichting

      Häftad, Engelska, 2012

      Del i serien Dependable Computing and Fault-Tolerant Systems

      560 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Beskrivning

      This volume contains the papers presented at the Second International Work­ ing Conference on Dependable Computing for Critical Applications, sponsored by IFIP Working Group lOA and held in Tucson, Arizona on February 18-20, 1991. In keeping with the first such conference on this topic, which took place at the University of California, Santa Barbara in 1989, this meeting was like­ wise concerned with an important basic question: Can we rely on Computers? In more precise terms, it addressed various aspects of computer system de­ pendability, a broad concept defined as th'e trustworthiness of computer service such that reliance can justifiably be placed on this service. Given that this term includes attributes such as reliability, availability, safety, and security, it is our hope that these papers will contribute to further integration of these ideas in the context of critical applications. The program consisted of 20 papers and three panel sessions. The papers were selected from a total of 61 submissions at a November 1990 meeting of the Program Committee in Ann Arbor, Michigan. We were very fortunate to have a broad spectrum of interests represented, with papers in the final program coming from seven different countries, representing work at universities, corporations, and government agencies. The process was greatly facilitated by the diligent work of the Program Committee and the quality of reviews provided by outside referees. In addition to the paper presentations, there were three panel sessions or­ ganized to examine particular topics in detail.

      Produktinformation

      • Utgivningsdatum:2012-02-12
      • Mått:170 x 244 x 25 mm
      • Vikt:781 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Dependable Computing and Fault-Tolerant Systems
      • Antal sidor:439
      • Förlag:Springer Verlag GmbH
      • ISBN:9783709192009

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT
      • Programvaruutveckling inom Data och IT
      • Motorfordon inom Naturvetenskap och teknik

      Innehållsförteckning

      • Distributed Systems I.- Architectural Foundations, Concepts and Methods Behind ISACS — A Real-Time Intelligent System for Critical Applications.- Implementing Forward Recovery Using Checkpoints in Distributed Systems.- Replication.- Evaluating the Impact of Network Partitions on Replicated Data Availability.- A Distributed Systems Architecture Supporting High Availability and Reliability.- Evaluation.- A Numerical Technique for the Hierarchical Evaluation of Large, Closed Fault-Tolerant Systems.- Fault Injection Simulation: A Variance Reduction Technique for Systems with Rare Events.- Limits of Parallelism in Fault-Tolerant Multiprocessors.- Correlated Failures.- Correlated Hardware Failures in Redundant Systems.- Impact of Correlated Failures on Dependability in a VAXcluster System.- Design Diversity.- Assuring Design Diversity in N-Version Software: A Design Paradigm for N-Version Programming.- An Empirical Investigation of the Effect of Formal Specifications on Program Diversity.- Verification Techniques.- The Proof of Correctness of a Fault-Tolerant Circuit Design.- Verification of Memory Management Units.- High Level Design Proof of a Reliable Computing Platform.- Distributed Systems II.- A Membership Protocol Based on Partial Order.- A Fault-Tolerant Architecture for the Intellectual Distributed Processing System.- Validation.- A New Approach of Formal Proof: Probabilistic Validation.- Testing Programs to Detect Malicious Faults.- Signatures.- On-Line Signature Learning and Checking.- A New Efficient Signature Technique for Process Monitoring in Critical Systems.
      Hoppa över listan

      Du kanske också är intresserad av

      Richard D. Schlichting, John F. Meyer - Dependable Computing for Critical Applications 2, E-bok

      Dependable Computing for Critical Applications 2

      Richard D. Schlichting, John F. Meyer

      E-bok
      2012

      718 kr

      Ann T. Tai, John F. Meyer, Algirdas Avizienis - Software Performability: From Concepts to Applications, Inbunden

      Software Performability: From Concepts to Applications

      Ann T. Tai, John F. Meyer, Algirdas Avizienis

      Inbunden, 1995

      1 716 kr

      Algirdas Avizienis, John F. Meyer, Ann T. Tai - Software Performability: From Concepts to Applications, E-bok

      Software Performability: From Concepts to Applications

      Algirdas Avizienis, John F. Meyer, Ann T. Tai

      E-bok
      2012

      2 127 kr

      Ann T. Tai, John F. Meyer, Algirdas Avizienis - Software Performability: From Concepts to Applications, Häftad

      Software Performability: From Concepts to Applications

      Ann T. Tai, John F. Meyer, Algirdas Avizienis

      Häftad, 2011

      1 716 kr

      Hermann Kopetz, Yoshiaki Kakuda - Responsive Computer Systems, Häftad
      Del 7

      Responsive Computer Systems

      Hermann Kopetz, Yoshiaki Kakuda

      Häftad, 2012

      560 kr

      Udo Voges - Software Diversity in Computerized Control Systems, Häftad

      Software Diversity in Computerized Control Systems

      Udo Voges

      Häftad, 2012

      560 kr

      Algirdas Avizienis, Jean-Claude Laprie - Dependable Computing for Critical Applications, Häftad

      Dependable Computing for Critical Applications

      Algirdas Avizienis, Jean-Claude Laprie

      Häftad, 2012

      560 kr

      Flaviu Cristian, Gerard LeLann, Teresa Lunt - Dependable Computing for Critical Applications 4, Häftad

      Dependable Computing for Critical Applications 4

      Flaviu Cristian, Gerard LeLann, Teresa Lunt

      Häftad, 2012

      560 kr

      Jean-Claude Laprie - Dependability: Basic Concepts and Terminology, Häftad

      Dependability: Basic Concepts and Terminology

      Jean-Claude Laprie

      Häftad, 2014

      560 kr

      A. Avizienis, H. Kopetz, J.C. Laprie - Evolution of Fault-Tolerant Computing, Häftad

      Evolution of Fault-Tolerant Computing

      A. Avizienis, H. Kopetz, J.C. Laprie

      Häftad, 2012

      577 kr