Sciweavers

    EDCC
    2010
    Springer
    207views Applied Computing» more  EDCC 2010»
    Towards verification-based development of in-vehicle safety critical software: a case study
    13 years 7 months ago
    Towards verification-based development of in-vehicle safety critical software: a case study
    Download  www.win.tue.nl
    Martijn M. H. P. van den Heuvel, Reinder J. Bril, ...
    claim paper
    Read More »
    EDCC
    2010
    Springer
    285views Applied Computing» more  EDCC 2010»
    On Hardware Resource Consumption for Aspect-Oriented Implementation of Fault Tolerance
    13 years 7 months ago
    On Hardware Resource Consumption for Aspect-Oriented Implementation of Fault Tolerance
    Download  edcc.dependability.org
    Ruben Alexandersson, Peter Öhman
    claim paper
    Read More »
    EDCC
    2010
    Springer
    225views Applied Computing» more  EDCC 2010»
    Finding Error Handling Bugs in OpenSSL Using Coccinelle
    13 years 8 months ago
    Finding Error Handling Bugs in OpenSSL Using Coccinelle
    Download  edcc.dependability.org
    Julia L. Lawall, Ben Laurie, René Rydhof Ha...
    claim paper
    Read More »
    EDCC
    2010
    Springer
    297views Applied Computing» more  EDCC 2010»
    Opportunities from standardization in automotive safety assessment
    13 years 9 months ago
    Opportunities from standardization in automotive safety assessment
    Download  www.ce.chalmers.se
    An important initiative in the automotive domain is the development of the ISO 26262 standard for functional safety of road vehicles. The standard introduces numerous techniques f...
    Raul Barbosa, Johan Karlsson
    claim paper
    Read More »
    EDCC
    2010
    Springer
    254views Applied Computing» more  EDCC 2010»
    HP: Hybrid Paxos for WANs
    13 years 9 months ago
    HP: Hybrid Paxos for WANs
    Download  www.deeds.informatik.tu-darmstadt.de
    Implementing a fault-tolerant state machine boils down to reaching consensus on a sequence of commands. In wide area networks (WANs), where network delays are typically large and ...
    Dan Dobre, Matthias Majuntke, Marco Serafini, Neer...
    claim paper
    Read More »
    EDCC
    2010
    Springer
    259views Applied Computing» more  EDCC 2010»
    Analysis of Inter-Module Error Propagation Paths in Monolithic Operating System Kernels
    13 years 9 months ago
    Analysis of Inter-Module Error Propagation Paths in Monolithic Operating System Kernels
    Download  edcc.dependability.org
    Roberto Jung Drebes, Takashi Nanya
    claim paper
    Read More »
    EDCC
    2010
    Springer
    272views Applied Computing» more  EDCC 2010»
    D2HT: The Best of Both Worlds, Integrating RPS and DHT
    13 years 9 months ago
    D2HT: The Best of Both Worlds, Integrating RPS and DHT
    Download  hal.archives-ouvertes.fr
    Distributed Hash Tables (DHTs) and Random Peer Sampling (RPS) provide important and complementary services in the area of P2P overlay networks. DHTs achieve efficient lookup whil...
    Marin Bertier, François Bonnet, Anne-Marie ...
    claim paper
    Read More »
    EDCC
    2010
    Springer
    226views Applied Computing» more  EDCC 2010»
    Early Consensus in Message-Passing Systems Enriched with a Perfect Failure Detector and Its Application in the Theta Model
    13 years 9 months ago
    Early Consensus in Message-Passing Systems Enriched with a Perfect Failure Detector and Its Application in the Theta Model
    Download  hal.inria.fr
    : While lots of consensus algorithms have been proposed for crash-prone asynchronous message-passing systems enriched with a failure detector of the class Ω (the class of eventua...
    François Bonnet, Michel Raynal
    claim paper
    Read More »
    EDCC
    2010
    Springer
    236views Applied Computing» more  EDCC 2010»
    Towards On-line Adaptation of Fault Tolerance Mechanisms
    13 years 9 months ago
    Towards On-line Adaptation of Fault Tolerance Mechanisms
    Download  edcc.dependability.org
    Jean-Charles Fabre, Marc-Olivier Killijian, Thomas...
    claim paper
    Read More »
    EDCC
    2010
    Springer
    250views Applied Computing» more  EDCC 2010»
    Codesign and Simulated Fault Injection of Safety-Critical Embedded Systems Using SystemC
    13 years 9 months ago
    Codesign and Simulated Fault Injection of Safety-Critical Embedded Systems Using SystemC
    Download  edcc.dependability.org
    Jon Perez, Mikel Azkarate-askasua, Antonio Perez
    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.