Sciweavers

    9210 search results - page 53 / 1842
    » Analyzing Real-Time Systems
    Sort
    View
    DFT
    1998
    IEEE
    94views VLSI» more  DFT 1998»
    An Integrated HW and SW Fault Injection Environment for Real-Time Systems
    15 years 7 months ago
    An Integrated HW and SW Fault Injection Environment for Real-Time Systems
    Download  www.cad.polito.it
    This paper describes a system suited to support the Fault Injection process for microprocessor-based embedded systems. The system exploits a low-cost hardware board to monitor the...
    Alfredo Benso, Maurizio Rebaudengo, Matteo Sonza R...
    claim paper
    Read More »
    RTSS
    1994
    IEEE
    85views Control Systems» more  RTSS 1994»
    Computing Quantitative Characteristics of Finite-State Real-Time Systems
    15 years 7 months ago
    Computing Quantitative Characteristics of Finite-State Real-Time Systems
    Download  www.cs.cmu.edu
    Sérgio Vale Aguiar Campos, Edmund M. Clarke...
    claim paper
    Read More »
    141
    Voted
    HYBRID
    1995
    Springer
    150views Control Systems» more  HYBRID 1995»
    UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems
    15 years 7 months ago
    UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems
    Download  www.brics.dk
    Johan Bengtsson, Kim Guldstrand Larsen, Fredrik La...
    claim paper
    Read More »
    90
    Voted
    LCTRTS
    1995
    Springer
    83views System Software» more  LCTRTS 1995»
    Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems
    15 years 7 months ago
    Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems
    Download  www-2.cs.cmu.edu
    Sérgio Vale Aguiar Campos, Edmund M. Clarke...
    claim paper
    Read More »
    100
    Voted
    RTSS
    1995
    IEEE
    131views Control Systems» more  RTSS 1995»
    The Design of Large Real-Time Systems: The Time-Triggered Approach
    15 years 7 months ago
    The Design of Large Real-Time Systems: The Time-Triggered Approach
    Download  www.vmars.tuwien.ac.at
    Hermann Kopetz, Martin Braun, Christian Ebner, And...
    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.