default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2. Fehlertolerierende Rechensysteme 1984: Bonn, Germany
- Karl-Erwin Großpietsch, Mario Dal Cin:
Fehlertolerierende Rechensysteme, 2. GI/NTG/GMR-Fachtagung, Bonn, 19.-21. September 1984, Proceedings. Informatik-Fachberichte 84, Springer 1984, ISBN 3-540-13348-8
Eröffnungssitzung / Opening session
- T. Anderson:
Can design faults be tolerated? 426-433
Verteilte System I / Distributed systems I
- Paolo Corsini, Luca Simoncini, Lorenzo Strigini:
The architecture and the fault-treatment of MuTEAM. 1-13 - Franz Demmelmeier:
Anwenderwerkzeuge für das fehlertolerante Multimikrocomputersystem FUTURE. 14-26 - Edgar Nett, Karl-Erwin Großpietsch, Jörg Kaiser, Reinhold Kröger:
Implementing fault-tolerance in a distributed system architecture. 27-39 - Kenneth P. Birman, Thomas A. Joseph, Thomas Räuchle:
Extending resilient objets efficiently. 40-51
Fehlertolerante Betriebssysteme / Fault-tolerant operating systems
- T. Brand, H. Kästner, Franz Demmelmeier, G. Koller:
Ein fehlertolerantes UNIX(TM) Prozesssystem auf der Basis von Zuverlässigkeitsklassen. 52-65 - Thomas Risse, Rüdiger W. Brause, Mario Dal Cin, Elmar Dilger, J. Lutz:
Entwurf und Struktur einer Betriebssystemschicht zur Implementierung von Fehlertoleranz. 66-76 - Marius D. Soneru, Wing H. Huen:
The introduction of fault-tolerance in a hierarchical operating system. 77-88
Vertifikations- und Laufzeitvalidationsmethoden / Verification and run-time validation techniques
- Klaus Küspert:
Effiziente Verfahren zur 'online'-Fehlererkennung in Baumstrukturen von Datenbankssystemen. 89-100 - M. A. J. Burford, Fevzi Belli:
CADAS: A tool for designing reliable embedded software and supporting testing 'in the large'. 101-126
Allgemeine Modelle / General models
- Stanislaw Budkowski:
Modelling and validating broadcasting-free concurrent systems. 127-138 - B. Eggers, Fevzi Belli:
Eine Theories der Analyse und Konstruktion fehlertolerierender Systeme. 138-149 - Eugeniusz Eberbach, Jan R. Just:
An uniform approach to the operating system in fault-tolerant distributed computer systems. 150-163
Fehlertolerante Hardwarekomponenten / Fault-tolerant hardware components
- Costas Efstathiou, Constantine Halatsis:
Modular design of totally self-checking checkers for 1-out-of-n codes. 164-176 - Dimitris Nikolos, Nikolaos Gaitanis, George Philokyprou:
Systematic t-error correcting all unidirectional error detecting codes. 177-188 - W. Michael Trautwein:
Concurrent error-detection/-correction of logical operations. 189-201
Zuverlässigkeitsmodelle / Reliability models
- Jean-Claude Laprie:
Dependability modelling and evaluation of software and hardware systems. 202-215 - Dieter Balzer, Bernd Böhme:
Quantitative Bewertung der Zuverlässigkeit von Echtzeitprogrammsystemen. 216-227 - Kishor S. Trivedi, Joanne Bechta Dugan, Robert Geist, Mark Smotherman:
Issues in reliability modeling of fault-tolerant computers. 228-239 - Winfrid G. Schneeweiss:
Einzelfehler tolerierende Kommunikationsnetze. 240-251
Verteilte System II / Distributed system II
- D. Bernhardt, Axel Klein:
Implementation of a fault-tolerant file management system. 252-264 - Werner Schröck:
Ein Fehlertolerantes Lokales Netz mit Schleifenstruktur auf Lichtwellenleiter-Basis. 265-279 - Hubert Mäncher:
Synchronization tools and a restart method in the fault-tolerant distributed automation system FIPS. 280-291
Diagnose auf Systemebene / Diagnosis at system level
- Elmar Dilger:
Distributed self-diagnosis and fault-tolerant communication in parallel mutliprocessor networks. 292-300 - Klaus Moritzen:
System level fault-diagnosis in distributed systems. 301-312 - Horst Federmutz:
Selbstdiagnoseverfahren auf der Grundlage der mathematischen Logik. 313-324 - Maciej Modrzejewski:
Tests with fault-localizing capabilities improve system level diagnosis. 325-336
Protokolle / Protocols
- Klaus Echtle:
Bestimmung der Protokol-Menge für verteilte Fehlermaskierungs-Systeme. 337-352 - Bernd Baumgarten, Peter Ochsenschläger:
Modeling and verification of a checkpoint-restart-protocol. 353-363
Hardware- Testmethoden I / Hardware testing methods I
- Li Shen, Stephen Y. H. Su:
VLSI functional testing using critical path traces at hardware description language level. 364-379 - Hugues Deneux, Pascale Thévenod-Fosse:
Random testing of LSI self-checking circuits. 380-390 - H. Sahami, Bernard Courtois:
Functional testing vs. structural testing of RAMs. 391-403
Hardware Testmethoden II / Hardware testing methods II
- Andrzej Hlawiczka:
Compression of multiple-valued data serial streams by means of parallel LFSR signature analyzer. 404-416 - Janusz Rajski, Jerzy Tyszer:
The detection of small size multiple faults by single fault test sets n programmable logic arrays. 417-425
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-31 21:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
