Sciweavers

    2811 search results - page 38 / 563
    » Real-Time Component-Based Systems
    Sort
    View
    RTSS
    1994
    IEEE
    85views Control Systems» more  RTSS 1994»
    Computing Quantitative Characteristics of Finite-State Real-Time Systems
    15 years 3 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 »
    HYBRID
    1995
    Springer
    150views Control Systems» more  HYBRID 1995»
    UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems
    15 years 3 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 »
    LCTRTS
    1995
    Springer
    83views System Software» more  LCTRTS 1995»
    Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems
    15 years 3 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 »
    RTSS
    1995
    IEEE
    131views Control Systems» more  RTSS 1995»
    The Design of Large Real-Time Systems: The Time-Triggered Approach
    15 years 3 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 »
    RTAS
    2010
    IEEE
    153views Embedded Systems» more  RTAS 2010»
    Scalable Scheduling Policy Design for Open Soft Real-Time Systems
    14 years 10 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
    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-2025, USA.