Sciweavers

    4770 search results - page 14 / 954
    » Using System-on-a-Programmable-Chip Technology to Design Emb...
    Sort
    View
    FMICS
    2007
    Springer
    125views Formal Methods» more  FMICS 2007»
    Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel
    15 years 12 months ago
    Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel
    Download  www.cse.iitb.ac.in
    Gérard Berry
    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 »
    DAC
    2007
    ACM
    196views Computer Architecture» more  DAC 2007»
    Towards An Ultra-Low-Power Architecture Using Single-Electron Tunneling Transistors
    16 years 6 months ago
    Towards An Ultra-Low-Power Architecture Using Single-Electron Tunneling Transistors
    Download  post.queensu.ca
    Minimizing power consumption is vitally important in embedded system design; power consumption determines battery lifespan. Ultralow-power designs may even permit embedded systems...
    Changyun Zhu, Zhenyu (Peter) Gu, Li Shang, Robert ...
    claim paper
    Read More »
    RTAS
    2007
    IEEE
    127views Embedded Systems» more  RTAS 2007»
    Performance Debugging of Real-Time Systems Using Multicriteria Schedulability Analysis
    16 years 2 days ago
    Performance Debugging of Real-Time Systems Using Multicriteria Schedulability Analysis
    Download  www.artist-embedded.org
    Most of today’s real-time embedded systems consist of a heterogeneous mix of fully-programmable processors, fixed-function components or hardware accelerators, and partially-pr...
    Unmesh D. Bordoloi, Samarjit Chakraborty
    claim paper
    Read More »
    185
    Voted
    IJES
    2006
    134views more  IJES 2006»
    Applying model-driven development to distributed real-time and embedded avionics systems
    15 years 5 months ago
    Applying model-driven development to distributed real-time and embedded avionics systems
    Download  www.cs.wustl.edu
    Model-driven development (MDD) is an emerging paradigm that uses domain-specific modeling languages (DSMLs) and generative technologies to provide "correct-by-construction&quo...
    Krishnakumar Balasubramanian, Arvind S. Krishna, E...
    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.