Sciweavers

    2811 search results - page 38 / 563
    » Real-Time Component-Based Systems
    Sort
    View
    107
    Voted
    RTSS
    1994
    IEEE
    85views Control Systems» more  RTSS 1994»
    Computing Quantitative Characteristics of Finite-State Real-Time Systems
    15 years 6 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 »
    137
    Voted
    HYBRID
    1995
    Springer
    150views Control Systems» more  HYBRID 1995»
    UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems
    15 years 6 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 »
    85
    Voted
    LCTRTS
    1995
    Springer
    83views System Software» more  LCTRTS 1995»
    Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems
    15 years 6 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 »
    93
    Voted
    RTSS
    1995
    IEEE
    131views Control Systems» more  RTSS 1995»
    The Design of Large Real-Time Systems: The Time-Triggered Approach
    15 years 6 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 »
    103
    Voted
    RTAS
    2010
    IEEE
    153views Embedded Systems» more  RTAS 2010»
    Scalable Scheduling Policy Design for Open Soft Real-Time Systems
    15 years 1 months ago
    Scalable Scheduling Policy Design for Open Soft Real-Time Systems
    Download  cse.wustl.edu
    Robert Glaubius, Terry Tidwell, Braden Sidoti, Dav...
    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.