Sciweavers

    35 search results - page 7 / 7
    » Towards Target-Level Testing and Debugging Tools for Embedde...
    Sort
    View
    SENSYS
    2005
    ACM
    126views Sensor Networks» more  SENSYS 2005»
    Sympathy for the sensor network debugger
    14 years 27 days ago
    Sympathy for the sensor network debugger
    Download  research.cens.ucla.edu
    Being embedded in the physical world, sensor networks present a wide range of bugs and misbehavior qualitatively different from those in most distributed systems. Unfortunately, d...
    Nithya Ramanathan, Kevin K. Chang, Rahul Kapur, Le...
    claim paper
    Read More »
    SAC
    2005
    ACM
    160views Applied Computing» more  SAC 2005»
    Performance analysis framework for large software-intensive systems with a message passing paradigm
    14 years 27 days ago
    Performance analysis framework for large software-intensive systems with a message passing paradigm
    Download  www.christiandelrosso.org
    The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...
    Christian Del Rosso
    claim paper
    Read More »
    EMSOFT
    2005
    Springer
    93views Software Engineering» more  EMSOFT 2005»
    Model-based run-time monitoring of end-to-end deadlines
    14 years 27 days ago
    Model-based run-time monitoring of end-to-end deadlines
    Download  www4.in.tum.de
    The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...
    Jaswinder Ahluwalia, Ingolf H. Krüger, Walter...
    claim paper
    Read More »
    SENSYS
    2009
    ACM
    218views Sensor Networks» more  SENSYS 2009»
    Run time assurance of application-level requirements in wireless sensor networks
    14 years 2 months ago
    Run time assurance of application-level requirements in wireless sensor networks
    Download  www2.ee.kth.se
    Continuous and reliable operation of WSNs is notoriously difficult to guarantee due to hardware degradation and environmental changes. In this paper, we propose and demonstrate a ...
    Jingyuan Li, Yafeng Wu, Krasimira Kapitanova, John...
    claim paper
    Read More »
    FMICS
    2009
    Springer
    175views Formal Methods» more  FMICS 2009»
    A Rigorous Methodology for Composing Services
    14 years 1 months ago
    A Rigorous Methodology for Composing Services
    Download  users.dsic.upv.es
    on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
    Kenneth J. Turner, Koon Leai Larry Tan
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.