Merkzettel Warenkorb
  • Produktbild: Fehlertolerierende Rechensysteme
  • Produktbild: Fehlertolerierende Rechensysteme
Band 84

Fehlertolerierende Rechensysteme 2. GI/NTG/GMR-Fachtagung / Fault-Tolerant Computing Systems 2nd GI/NTG/GMR Conference / Bonn, 19.–21. September 1984

Aus der Reihe Informatik-Fachberichte

97,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.09.1984

Herausgeber

K.-E. Grosspietsch + weitere

Verlag

Springer Berlin

Seitenzahl

433

Maße (L/B/H)

24,4/17/2,4 cm

Gewicht

760 g

Auflage

Softcover reprint of the original 1st ed. 1984

Sprache

Deutsch, Englisch

ISBN

978-3-540-13348-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.09.1984

Herausgeber

Verlag

Springer Berlin

Seitenzahl

433

Maße (L/B/H)

24,4/17/2,4 cm

Gewicht

760 g

Auflage

Softcover reprint of the original 1st ed. 1984

Sprache

Deutsch, Englisch

ISBN

978-3-540-13348-3

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

Weitere Artikel findest du in
  • Produktbild: Fehlertolerierende Rechensysteme
  • Produktbild: Fehlertolerierende Rechensysteme
  • / Table of Contents.- Verteilte Systeme I / Distributed systems I.- The architecture and the fault-treatment of MuTEAM.- Anwenderwerkzeuge für das fehlertolerante Multimikrocomputersystem FUTURE.- Implementing fault-tolerance in a distributed system architecture.- Extending resilient objects efficiently.- Fehlertolerante Betriebssysteme / Fault-tolerant operating systems.- Ein fehlertolerantes UNIX(TM)Prozeßsystem auf der Basis von Zuverlässigkeitsklassen.- Entwurf und Struktur einer Betriebssystemschicht zur Implementierung von Fehlertoleranz.- The introduction of fault-tolerance in a hierarchical operating system.- Verifikations- und Laufzeitvalidationsmethoden / Verification and run-time validation techniques.- Effiziente Verfahren zur ‘online’-Fehlererkennung in Baumstrukturen von Datenbanksystemen.- CADAS: A tool for designing reliable embedded software and supporting testing ‘in the large’.- Automatische Verifikation logischer Entwürfe.- Allgemeine Modelle / General models.- Modelling and validating broadcasting-free concurrent systems.- Eine Theorie der Analyse und Konstruktion fehlertolerierender Systeme.- An uniform approach to the Operating System in fault-tolerant distributed computer systems.- Fehlertolerante Hardwarekomponenten / Fault-tolerant hardware components.- Modular design of totally self-checking checkers for 1-out-of-n codes.- Systematic t-error correcting all unidirectional error detecting codes.- Concurrent error-detection /-correction of logical operations.- Zuverlässigkeitsmodelle / Reliability models.- Dependability modelling and evaluation of software and hardware systems.- Eingeladener Vortrag / Invited talk.- Quantitative Bewertung der Zuverlässigkeit von Echtzeitprogrammsystemen.- Issues in reliability modeling of fault-tolerant computers.- Einzelfehler tolerierende Kommunikationsnetze.- Verteilte Systeme II / Distributed systems II.- Implementation of a fault-tolerant file management system.- Ein fehlertolerantes lokales Netz mit Schleifenstruktur auf Lichtwellenleiter-Basis.- Synchronization tools and a restart method in the fault-tolerant distributed automation system FIPS.- Diagnose auf Systemebene / Diagnosis at system level.- Distributed self-diagnosis and fault-tolerant communication in parallel multiprocessor networks.- System level fault-diagnosis in distributed systems.- Selbstdiagnoseverfahren auf der Grundlage der mathematischen Logik.- Tests with fault-localizing capabilities improve system level diagnosis.- Protokolle / Protocols.- Bestimmung der Protokoll-Menge für verteilte Fehlermaskierungs-Systeme.- Modeling and verification of a checkpoint-restart-protocol.- Hardware-Testmethoden I / Hardware testing methods I.- VLSI functional testing using critical path traces at a hardware description language level.- Random testing of LSI self-checking circuits.- Functional testing vs. structural testing of RAMs.- Hardware Testmethoden II / Hardware testing methods II.- Compression of multiple-valued data serial streams by means of parallel LFSR signature analyzer.- The detection of small size multiple faults by single fault test sets in programmable logic arrays.