Sciweavers

    EDCC
    2005
    Springer
    107views Applied Computing» more  EDCC 2005»
    A Data Mining Approach to Identify Key Factors in Dependability Experiments
    14 years 4 months ago
    A Data Mining Approach to Identify Key Factors in Dependability Experiments
    Download  home.mit.bme.hu
    Abstract. Our paper presents a novel approach for identifying the key infrastructural factors determining the behavior of systems in the presence of faults by the application of in...
    Gergely Pintér, Henrique Madeira, Marco Vie...
    claim paper
    Read More »
    EDCC
    2005
    Springer
    110views Applied Computing» more  EDCC 2005»
    Performance Evaluation of Consistent Recovery Protocols Using MPICH-GF
    14 years 5 months ago
    Performance Evaluation of Consistent Recovery Protocols Using MPICH-GF
    Download  dcslab.snu.ac.kr
    This paper presents an implementation of several consistent protocols at the abstract device level and their performance comparison. We have performed experiments using three NAS P...
    Namyoon Woo, Hyungsoo Jung, Dongin Shin, Hyuck Han...
    claim paper
    Read More »
    EDCC
    2005
    Springer
    165views Applied Computing» more  EDCC 2005»
    PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis
    14 years 5 months ago
    PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis
    Download  www-list.cea.fr
    Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...
    Nicky Williams, Bruno Marre, Patricia Mouy, Muriel...
    claim paper
    Read More »
    EDCC
    2005
    Springer
    134views Applied Computing» more  EDCC 2005»
    Failure Detection with Booting in Partially Synchronous Systems
    14 years 5 months ago
    Failure Detection with Booting in Partially Synchronous Systems
    Download  www-rocq.inria.fr
    Unreliable failure detectors are a well known means to enrich asynchronous distributed systems with time-free semantics that allow to solve consensus in the presence of crash failu...
    Josef Widder, Gérard Le Lann, Ulrich Schmid
    claim paper
    Read More »
    EDCC
    2005
    Springer
    153views Applied Computing» more  EDCC 2005»
    Novel Generic Middleware Building Blocks for Dependable Modular Avionics Systems
    14 years 5 months ago
    Novel Generic Middleware Building Blocks for Dependable Modular Avionics Systems
    Download  www-rocq.inria.fr
    Abstract. The A3M project aimed to define basic building blocks of a middleware meeting both dependability and real-time requirements for a wide range of space systems and applicat...
    Christophe Honvault, Marc Le Roy, Pascal Gula, Jea...
    claim paper
    Read More »
    EDCC
    2005
    Springer
    109views Applied Computing» more  EDCC 2005»
    Structure-Based Resilience Metrics for Service-Oriented Networks
    14 years 5 months ago
    Structure-Based Resilience Metrics for Service-Oriented Networks
    Download  www.albany.edu
    Many governmental agencies and businesses organizations use networked systems to provide a number of services. Such a service-oriented network can be implemented as an overlay on ...
    Daniel J. Rosenkrantz, Sanjay Goel, S. S. Ravi, Ja...
    claim paper
    Read More »
    EDCC
    2005
    Springer
    77views Applied Computing» more  EDCC 2005»
    Efficient Single-Pattern Fault Simulation on Structurally Synthesized BDDs
    14 years 5 months ago
    Efficient Single-Pattern Fault Simulation on Structurally Synthesized BDDs
    Download  www.pld.ttu.ee
    Abstract. Current paper proposes an efficient alternative for traditional gatelevel fault simulation. The authors explain how Structurally Synthesized Binary Decision Diagrams (SSB...
    Jaan Raik, Raimund Ubar, Sergei Devadze, Artur Jut...
    claim paper
    Read More »
    EDCC
    2005
    Springer
    70views Applied Computing» more  EDCC 2005»
    Fault Links: Exploring the Relationship Between Module and Fault Types
    14 years 5 months ago
    Fault Links: Exploring the Relationship Between Module and Fault Types
    Download  selab.netlab.uky.edu
    Fault links represent relationships between the types of mistakes made and the type of module being developed or modified. The existence of such fault links can be used to guide co...
    Jane Huffman Hayes, Inies C. M. Raphael, Vinod Kum...
    claim paper
    Read More »
    EDCC
    2005
    Springer
    144views Applied Computing» more  EDCC 2005»
    Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA)
    14 years 5 months ago
    Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA)
    Download  www.informatik.uni-augsburg.de
    Abstract. In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a no...
    Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn
    claim paper
    Read More »
    EDCC
    2005
    Springer
    93views Applied Computing» more  EDCC 2005»
    Total Order Communications: A Practical Analysis
    14 years 5 months ago
    Total Order Communications: A Practical Analysis
    Download  www.dis.uniroma1.it
    Roberto Baldoni, Stefano Cimmino, Carlo Marchetti
    claim paper
    Read More »
    12next ›last »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.