Sciweavers

    8022 search results - page 36 / 1605
    » Predictability in Critical Systems
    Sort
    View
    101
    Voted
    SAFECOMP
    2009
    Springer
    103views Security Privacy» more  SAFECOMP 2009»
    AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware
    15 years 10 months ago
    AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware
    Download  wwwse.inf.tu-dresden.de
    Christof Fetzer, Ute Schiffel, Martin Sü&szli...
    claim paper
    Read More »
    FMICS
    2007
    Springer
    125views Formal Methods» more  FMICS 2007»
    Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel
    15 years 10 months ago
    Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel
    Download  www.cse.iitb.ac.in
    Gérard Berry
    claim paper
    Read More »
    ACSAC
    2005
    IEEE
    129views Security Privacy» more  ACSAC 2005»
    Survivability Architecture of a Mission Critical System: The DPASA Example
    15 years 9 months ago
    Survivability Architecture of a Mission Critical System: The DPASA Example
    Download  www.bbn.com
    Jennifer Chong, Partha Pratim Pal, Michael Atighet...
    claim paper
    Read More »
    AE
    2005
    Springer
    107views Artificial Intelligence» more  AE 2005»
    A Critical View of the Evolutionary Design of Self-assembling Systems
    15 years 9 months ago
    A Critical View of the Evolutionary Design of Self-assembling Systems
    Download  www.cs.nott.ac.uk
    Natalio Krasnogor, Graciela Terrazas, David A. Pel...
    claim paper
    Read More »
    XPU
    2005
    Springer
    70views Software Engineering» more  XPU 2005»
    Extreme Programming for Critical Systems?
    15 years 9 months ago
    Extreme Programming for Critical Systems?
    Download  www.cs.st-andrews.ac.uk
    Ian Sommerville
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.