Sciweavers

    3389 search results - page 134 / 678
    » Real-Time and Fault-Tolerant Systems
    Sort
    View
    RTSS
    1995
    IEEE
    83views Control Systems» more  RTSS 1995»
    Real-Time Computing with Lock-Free Shared Objects
    15 years 9 months ago
    Real-Time Computing with Lock-Free Shared Objects
    Download  www.hh.se
    James H. Anderson, Srikanth Ramamurthy, Kevin Jeff...
    claim paper
    Read More »
    RTSS
    1995
    IEEE
    85views Control Systems» more  RTSS 1995»
    Efficient Microarchitecture Modeling and Path Analysis for Real-Time Software
    15 years 9 months ago
    Efficient Microarchitecture Modeling and Path Analysis for Real-Time Software
    Download  www.csee.umbc.edu
    Yau-Tsun Steven Li, Sharad Malik, Andrew Wolfe
    claim paper
    Read More »
    ECRTS
    2009
    IEEE
    143views Embedded Systems» more  ECRTS 2009»
    Refactoring Asynchronous Event Handling in the Real-Time Specification for Java
    15 years 4 months ago
    Refactoring Asynchronous Event Handling in the Real-Time Specification for Java
    Download  d3s.mff.cuni.cz
    MinSeong Kim, Andy J. Wellings
    claim paper
    Read More »
    ECRTS
    2004
    IEEE
    148views Embedded Systems» more  ECRTS 2004»
    Energy-Efficient Policies for Request-Driven Soft Real-Time Systems
    15 years 10 months ago
    Energy-Efficient Policies for Request-Driven Soft Real-Time Systems
    Download  www.cs.pitt.edu
    Computing systems, ranging from small battery-operated embedded systems to more complex general purpose systems, are designed to satisfy various computation demands in some accept...
    Cosmin Rusu, Ruibin Xu, Rami G. Melhem, Daniel Mos...
    claim paper
    Read More »
    ECBS
    2010
    IEEE
    224views Hardware» more  ECBS 2010»
    Timed Automata Model for Component-Based Real-Time Systems
    16 years 1 months ago
    Timed Automata Model for Component-Based Real-Time Systems
    Download  emuco.is.ruhr-uni-bochum.de
    —One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
    Georgiana Macariu, Vladimir Cretu
    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.