Sciweavers

    3387 search results - page 17 / 678
    » Model-Checking for Real-Time Systems
    Sort
    View
    RTCSA
    1998
    IEEE
    142views Embedded Systems» more  RTCSA 1998»
    A State Graph Manipulator Tool for Real-Time System Specification and Verification
    15 years 9 months ago
    A State Graph Manipulator Tool for Real-Time System Specification and Verification
    Download  embedded.cs.ccu.edu.tw
    Pao-Ann Hsiung, Farn Wang
    claim paper
    Read More »
    52
    Voted
    RTSS
    1987
    IEEE
    68views Control Systems» more  RTSS 1987»
    Corset and Lace: Adapting Ada Runtime Support to Real-Time Systems
    15 years 8 months ago
    Corset and Lace: Adapting Ada Runtime Support to Real-Time Systems
    Download  www.cs.unc.edu
    Theodore P. Baker, Kevin Jeffay
    claim paper
    Read More »
    176
    Voted
    ECRTS
    2009
    IEEE
    193views Embedded Systems» more  ECRTS 2009»
    Improvement to Quick Processor-Demand Analysis for EDF-Scheduled Real-Time Systems
    15 years 2 months ago
    Improvement to Quick Processor-Demand Analysis for EDF-Scheduled Real-Time Systems
    Download  www.cs.york.ac.uk
    Fengxiang Zhang, Alan Burns
    claim paper
    Read More »
    RTAS
    2002
    IEEE
    98views Embedded Systems» more  RTAS 2002»
    Supporting a Low Delay Best-Effort Class in the Presence of Real-Time Traffic
    15 years 10 months ago
    Supporting a Low Delay Best-Effort Class in the Presence of Real-Time Traffic
    Download  rtlab.cs.nthu.edu.tw
    Samarjit Chakraborty, Matthias Gries, Lothar Thiel...
    claim paper
    Read More »
    RTAS
    2000
    IEEE
    86views Embedded Systems» more  RTAS 2000»
    SomeCast: A Paradigm for Real-Time Adaptive Reliable Multicast
    15 years 9 months ago
    SomeCast: A Paradigm for Real-Time Adaptive Reliable Multicast
    Download  www.cs.bu.edu
    Jaehee Yoon, Azer Bestavros, Ibrahim Matta
    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.