Sciweavers

    5863 search results - page 342 / 1173
    » On Model-Checking of P Systems
    Sort
    View
    190
    Voted
    TLCA
    2009
    Springer
    145views Theoretical Computer Science» more  TLCA 2009»
    Mathematical Synthesis of Equational Deduction Systems
    16 years 2 months ago
    Mathematical Synthesis of Equational Deduction Systems
    Download  www.cl.cam.ac.uk
    Marcelo P. Fiore, Chung-Kil Hur
    claim paper
    Read More »
    141
    Voted
    ASYNC
    2006
    IEEE
    68views Hardware» more  ASYNC 2006»
    Interface Design for Rationally Clocked GALS Systems
    16 years 1 months ago
    Interface Design for Rationally Clocked GALS Systems
    Download  tima.imag.fr
    Joycee Mekie, Supratik Chakraborty, Dinesh K. Shar...
    claim paper
    Read More »
    148
    Voted
    SENSYS
    2006
    ACM
    104views Sensor Networks» more  SENSYS 2006»
    Abstractions for safe concurrent programming in networked embedded systems
    16 years 1 months ago
    Abstractions for safe concurrent programming in networked embedded systems
    Download  selab.csuohio.edu
    William P. McCartney, Nigamanth Sridhar
    claim paper
    Read More »
    172
    Voted
    SENSYS
    2005
    ACM
    125views Sensor Networks» more  SENSYS 2005»
    A high-accuracy, low-cost localization system for wireless sensor networks
    16 years 1 months ago
    A high-accuracy, low-cost localization system for wireless sensor networks
    Download  www-users.cs.umn.edu
    Radu Stoleru, Tian He, John A. Stankovic, David P....
    claim paper
    Read More »
    DAC
    2004
    ACM
    106views Computer Architecture» more  DAC 2004»
    Energy-aware deterministic fault tolerance in distributed real-time embedded systems
    16 years 27 days ago
    Energy-aware deterministic fault tolerance in distributed real-time embedded systems
    Download  people.ee.duke.edu
    Ying Zhang, Robert P. Dick, Krishnendu Chakrabarty
    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.