Sciweavers

    1735 search results - page 15 / 347
    » A Timed Multitasking Architecture for Distributed Embedded S...
    Sort
    View
    RSP
    2000
    IEEE
    121views Control Systems» more  RSP 2000»
    Embedded System Architecture Design Based on Real-Time Emulation
    15 years 10 months ago
    Embedded System Architecture Design Based on Real-Time Emulation
    Download  www.uml.org.cn
    Carsten Nitsch, Karlheinz Weiß, Thorsten Ste...
    claim paper
    Read More »
    DATE
    2003
    IEEE
    129views Hardware» more  DATE 2003»
    A Fully Self-Timed Bit-Serial Pipeline Architecture for Embedded Systems
    15 years 11 months ago
    A Fully Self-Timed Bit-Serial Pipeline Architecture for Embedded Systems
    Download  www.date-conference.com
    Achim Rettberg, Mauro Cesar Zanella, Christophe Bo...
    claim paper
    Read More »
    ECBS
    2007
    IEEE
    155views Hardware» more  ECBS 2007»
    Evaluating the Quality of Models Extracted from Embedded Real-Time Software
    15 years 10 months ago
    Evaluating the Quality of Models Extracted from Embedded Real-Time Software
    Download  www.mrtc.mdh.se
    Due to the high cost of modeling, model-based techniques are yet to make their impact in the embedded systems industry, which still persist on maintaining code-oriented legacy sys...
    Joel Huselius, Johan Kraft, Hans Hansson, Sasikuma...
    claim paper
    Read More »
    ICDCSW
    2003
    IEEE
    99views Computer Networks» more  ICDCSW 2003»
    A Communication Architecture and Programming Abstractions for Real-Time Embedded Sensor Networks
    15 years 11 months ago
    A Communication Architecture and Programming Abstractions for Real-Time Embedded Sensor Networks
    Download  www.cs.virginia.edu
    Tarek F. Abdelzaher, Jack Stankovic, Sang Hyuk Son...
    claim paper
    Read More »
    182
    Voted
    ISORC
    2005
    IEEE
    197views Distributed And Parallel Com...» more  ISORC 2005»
    Model-Checking of Component-Based Event-Driven Real-Time Embedded Software
    15 years 11 months ago
    Model-Checking of Component-Based Event-Driven Real-Time Embedded Software
    Download  www.cs.virginia.edu
    As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
    Zonghua Gu, Kang G. Shin
    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.