default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st EDCC 1994: Berlin, Germany
- Klaus Echtle, Dieter K. Hammer, David Powell:
Dependable Computing - EDCC-1, First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994, Proceedings. Lecture Notes in Computer Science 852, Springer 1994, ISBN 3-540-58426-9
Session 1: Fault-Tolerance Techniques
- Matti A. Hiltunen, Richard D. Schlichting:
A Model for Adaptive Fault-Tolerant Systems. 3-20 - Jean-Charles Fabre, Yves Deswarte, Brian Randell:
Designing Secure and Reliable Applications using Fragmentation-Redundancy-Scattering: An Object-Oriented Approach. 21-38 - João Gabriel Silva, Luís Moura Silva, Henrique Madeira, Jorge Bernardino
:
A Fault-Tolerant Mechanism for Simple Controllers. 39-55
Session 2: Formal Methods
- Carsta Petersohn, Willem P. de Roever, Cornelis Huizing, Jan Peleska:
Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems. 59-76 - Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini:
Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: A Case Study. 77-94
Session 3: Evaluation
- Silvano Chiaradonna, Andrea Bondavalli, Lorenzo Strigini:
On Performability Modeling and Evaluation of Software Fault Tolerant Structures. 97-114 - Cesare Antonelli, Vincenzo Grassi:
Optimal Design of Fault-Tolerant Soft-Real-Time Systems with Imprecise Computations. 115-130 - Andrea Bobbio, Miklós Telek:
Computational Restrictions for SPN with Generally Distributed Transition Times. 131-148
Session 4: Hardware Testing
- Raimund Ubar:
Test Generation for Digital Systems Based on Alternative Graphs. 151-164 - Michel Renovell, P. Huc, Yves Bertrand:
The Configuration Ratio: A Model for Simulating CMOS Intra-Gate Bridge with Variable Logic Thresholds. 165-177 - Andrzej Krasniewski, Leszek B. Wronski:
Coverage of Delay Faults: When 13% and 99% Mean the Same. 178-195
Session 5: Fault Injection
- Henrique Madeira, Mário Zenha Rela, Francisco Moreira, João Gabriel Silva:
RIFLE: A General Purpose Pin-level Fault Injector. 199-216 - Rolf Johansson:
On Single Event Upset Error Manifestation. 217-231
Session 6: Software Testing
- Hong Zhu, Patrick A. V. Hall, John H. R. May, T. Cockram:
Injecting Faults into Environment Simulators for Testing Safety Critical Software. 235-249 - Pascale Thévenod-Fosse, Christine Mazuet, Yves Crouzet:
On Statistical Structural Testing of Synchronous Data Flow Programs. 250-267
Session 7: Built-In Self Test
- G. Masseboeuf, J. Pulou, J. L. Rainard:
Hierarchical Test Analysis of VLSI Circuits for Random BIST. 271-288 - Peter Böhlau:
Zero Aliasing Compression Based on Groups of Weakly Independent Outputs in Circuits with High Complexity for Two Fault Models. 289-306
Session 8: Software Diversity
- Tomislav Lovric:
Systematic and Design Diversity - Software Techniques for Hardware Fault Detection. 309-326 - Stefan Gerber, Michael Gössel:
Detection of Permanent Hardware Faults of a Floating Point Adder by Pseudoduplication. 327-335 - Aki Watanabe, Ken Sakamura:
MLDD (Multi Layered Design Diversity) Architecture for Achieving High Design Fault Tolerance Capabilities. 336-349
Session 9: Parallel Systems
- Bernd Bieker, Erik Maehle, Geert Deconinck, Johan Vounckx:
Reconfiguration and Checkpointing in Massively Parallel Systems. 353-370 - Jörn Altmann, Frank Balbach, Axel Hein:
An Approach for Hierarchical System Level Diagnosis of Massively Parallel Computers Combined with a Simulation-Based Method for Dependability Analysis. 371-385 - István Majzik, András Pataricza, Mario Dal Cin, Wolfgang Hohl, Joachim Hönig, Volkmar Sieh:
Hierarchical Checking of Multiprocessors Using Watchdog Processors. 386-403
Panel Discussion: Future Directions in Dependable Computing
- Jean-Claude Laprie:
Dependability: The Challenge for the Future of Computing and Communication Technologies. 407-408 - Algirdas Avizienis:
Position Paper. 409-410 - Jan Hlavicka:
Position Paper. 411 - Michele Morganti:
Position Paper. 412-413 - Brian Randell:
Some Lessons from the SW2000 Workshop. 414-416 - Ernst Schmitter:
Dependable Computing and its Industrial Use. 417-418
Session 10: Fault Tolerance in VLSI
- Yung-Yuan Chen, Ching-Hwa Cheng, Yung-Ci Chou:
An Effective Reconfiguration Process for Fault-Tolerant VLSI/WSI Array Processors. 421-438 - Jamel M. Tahir, Satnam Singh Dlay, Raouf N. Gorgui-Naguib, Oliver R. Hinton:
Concurrent Error Detection in Fast FNT Networks. 439-452 - Laurence E. LaForge:
Feasible Regions Quantify the Configuration Power of Arrays with Multiple Fault Types. 453-469
Session 11: Measurement
- Mohamed Kaâniche, Karama Kanoun, Michel Cukier, Marta Rettelbusch de Bastos Martini:
Software Reliability Analysis of Three Successive Generations of a Switching System. 473-490 - Gilles Muller, Mireille Hue, Nadine Peyrouze:
Performance of Consistent Checkpointing in a Modular Operating System: Results of the FTM Experiment. 491-508
Session 12: Switching Networks and Hypercubes
- Jae-Hyun Park, Heung-Kyu Lee, Ju-Hyun Cho:
Ring-Banyan Network: A Faul Tolerant Multistage Interconnection Network and its Fault Diagnosis. 511-528 - Dimiter R. Avresky, Khalid M. Al-Tawil:
Reconfiguration of Faulty Hypercubes. 529-545 - Chu-Sing Yang, Shun-Yue Wu:
Fault-Tolerance on Boolean n-Cube Architectures. 546-559
Session 13: Distributed Systems
- Martin Leu:
Relative Signatures for Fault Tolerance and their Implementation. 563-580 - Bertil Folliot, Pierre Sens:
GATOSTAR: A Fault Tolerant Load Sharing Facility for Parallel Applications. 581-598 - P. D. V. van der Stok, M. M. M. P. J. Claessen, Dick Alstein:
A Hierarchical Membership Protocol for Synchronous Distributed Systems. 599-616
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-09-14 01:16 CEST 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:
