Sciweavers

    1980 search results - page 79 / 396
    » Compositional Model Checking of Real Time Systems
    Sort
    View
    RTAS
    2006
    IEEE
    90views Embedded Systems» more  RTAS 2006»
    A Semantic Unit for Timed Automata Based Modeling Languages
    16 years 5 days ago
    A Semantic Unit for Timed Automata Based Modeling Languages
    Download  chess.eecs.berkeley.edu
    Kai Chen 0003, Janos Sztipanovits, Sherif Abdelwah...
    claim paper
    Read More »
    RTAS
    2005
    IEEE
    91views Embedded Systems» more  RTAS 2005»
    Towards Efficient Use of Shared Communication Media in the Timed Model
    15 years 11 months ago
    Towards Efficient Use of Shared Communication Media in the Timed Model
    Download  esg.uwaterloo.ca
    Guido Menkhaus, Michael Holzmann, Sebastian Fischm...
    claim paper
    Read More »
    RTSS
    2005
    IEEE
    188views Control Systems» more  RTSS 2005»
    Energy-Aware Modeling and Scheduling of Real-Time Tasks for Dynamic Voltage Scaling
    15 years 11 months ago
    Energy-Aware Modeling and Scheduling of Real-Time Tasks for Dynamic Voltage Scaling
    Download  www.ece.eng.wayne.edu
    Abstract— Dynamic voltage scaling (DVS) is a promising technique for battery-powered systems to conserve energy consumption. Most existing DVS algorithms assume information about...
    Xiliang Zhong, Cheng-Zhong Xu
    claim paper
    Read More »
    SDL
    2007
    192views Hardware» more  SDL 2007»
    OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling
    15 years 7 months ago
    OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling
    Download  www.openlicensesociety.org
    Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
    Eric Verhulst, Gjalt G. de Jong
    claim paper
    Read More »
    ECRTS
    2008
    IEEE
    128views Embedded Systems» more  ECRTS 2008»
    A Gravitational Task Model for Target Sensitive Real-Time Applications
    16 years 19 days ago
    A Gravitational Task Model for Target Sensitive Real-Time Applications
    Download  rts.eit.uni-kl.de
    The commonly used task models for real-time systems focus on execution windows expressing earliest start times and deadlines of tasks for feasibility. Within these windows, execut...
    Raphael Guerra, Gerhard Fohler
    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.