Sciweavers

    1578 search results - page 80 / 316
    » Self-healing systems - survey and synthesis
    Sort
    View
    DAC
    1992
    ACM
    115views Computer Architecture» more  DAC 1992»
    Synthesis and Simulation of Digital Systems Containing Interacting Hardware and Software Components
    15 years 10 months ago
    Synthesis and Simulation of Digital Systems Containing Interacting Hardware and Software Components
    Download  si2.epfl.ch
    Rajesh K. Gupta, Claudionor José Nunes Coel...
    claim paper
    Read More »
    FSEN
    2009
    Springer
    147views Software Engineering» more  FSEN 2009»
    Verification, Performance Analysis and Controller Synthesis for Real-Time Systems
    15 years 10 months ago
    Verification, Performance Analysis and Controller Synthesis for Real-Time Systems
    Download  www.cs.aau.dk
    This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
    Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane
    claim paper
    Read More »
    EH
    2004
    IEEE
    81views Hardware» more  EH 2004»
    Evolution Based Synthesis of Analog Integrated Circuits and Systems
    15 years 10 months ago
    Evolution Based Synthesis of Analog Integrated Circuits and Systems
    Download  ehw.jpl.nasa.gov
    Sina Balkir, Günhan Dündar, Guner Alpayd...
    claim paper
    Read More »
    ICCD
    1997
    IEEE
    91views Hardware» more  ICCD 1997»
    Power Compiler: A Gate-Level Power Optimization and Synthesis System
    15 years 9 months ago
    Power Compiler: A Gate-Level Power Optimization and Synthesis System
    Download  www.cs.berkeley.edu
    Benjamin Chen, Ivailo Nedelchev
    claim paper
    Read More »
    ICALP
    1995
    Springer
    86views Programming Languages» more  ICALP 1995»
    Automatic Synthesis of Real Time Systems
    15 years 9 months ago
    Automatic Synthesis of Real Time Systems
    Download  www.brics.dk
    Jørgen H. Andersen, Kåre J. Kristoffe...
    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.