Sciweavers

    19 search results - page 1 / 4
    » fmcad 2006
    Sort
    View
    FMCAD
    2006
    Springer
    67views Formal Methods» more  FMCAD 2006»
    Assume-Guarantee Reasoning for Deadlock
    15 years 6 months ago
    Assume-Guarantee Reasoning for Deadlock
    Download  www.sei.cmu.edu
    Sagar Chaki, Nishant Sinha
    claim paper
    Read More »
    124
    Voted
    FMCAD
    2006
    Springer
    87views Formal Methods» more  FMCAD 2006»
    Model Checking Data-Dependent Real-Time Properties of the European Train Control System
    15 years 6 months ago
    Model Checking Data-Dependent Real-Time Properties of the European Train Control System
    Download  csd.informatik.uni-oldenburg.de
    Johannes Faber, Roland Meyer
    claim paper
    Read More »
    FMCAD
    2006
    Springer
    144views Formal Methods» more  FMCAD 2006»
    Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip
    15 years 6 months ago
    Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip
    Download  www-verimag.imag.fr
    Claude Helmstetter, Florence Maraninchi, Laurent M...
    claim paper
    Read More »
    100
    Voted
    FMCAD
    2006
    Springer
    77views Formal Methods» more  FMCAD 2006»
    Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee
    15 years 6 months ago
    Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee
    Download  www.cs.utah.edu
    Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Chi...
    claim paper
    Read More »
    105
    Voted
    FMCAD
    2006
    Springer
    89views Formal Methods» more  FMCAD 2006»
    Synchronous Elastic Networks
    15 years 6 months ago
    Synchronous Elastic Networks
    Download  www.lsi.upc.edu
    We formally define--at the stream transformer level--a class of synchronous circuits that tolerate any variability in the latency of their environment. We study behavioral properti...
    Sava Krstic, Jordi Cortadella, Michael Kishinevsky...
    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.