Sciweavers

    20 search results - page 1 / 4
    » emsoft 2001
    Sort
    View
    137
    Voted
    EMSOFT
    2001
    Springer
    139views Software Engineering» more  EMSOFT 2001»
    Embedded Systems and Real-Time Programming
    15 years 10 months ago
    Embedded Systems and Real-Time Programming
    Download  rtsys.informatik.uni-kiel.de
    Niklaus Wirth
    claim paper
    Read More »
    EMSOFT
    2001
    Springer
    95views Software Engineering» more  EMSOFT 2001»
    Verification of Embedded Software: Problems and Perspectives
    15 years 10 months ago
    Verification of Embedded Software: Problems and Perspectives
    Download  embedded.eecs.berkeley.edu
    Patrick Cousot, Radhia Cousot
    claim paper
    Read More »
    141
    Voted
    EMSOFT
    2001
    Springer
    109views Software Engineering» more  EMSOFT 2001»
    Embedded Software Market Transformation through Reusable Frameworks
    15 years 10 months ago
    Embedded Software Market Transformation through Reusable Frameworks
    Download  embeddedcmmi.at
    Wolfgang Pree, Alessandro Pasetti
    claim paper
    Read More »
    EMSOFT
    2001
    Springer
    121views Software Engineering» more  EMSOFT 2001»
    Directions in Functional Programming for Real(-Time) Applications
    15 years 10 months ago
    Directions in Functional Programming for Real(-Time) Applications
    Download  embedded.eecs.berkeley.edu
    Walid Taha, Paul Hudak, Zhanyong Wan
    claim paper
    Read More »
    110
    Voted
    EMSOFT
    2001
    Springer
    84views Software Engineering» more  EMSOFT 2001»
    Hierarchical Hybrid Modeling of Embedded Systems
    15 years 10 months ago
    Hierarchical Hybrid Modeling of Embedded Systems
    Download  www.cis.upenn.edu
    Rajeev Alur, Thao Dang, Joel M. Esposito, Rafael B...
    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.