Sciweavers

    936 search results - page 37 / 188
    » FSM-Hume is finite state
    Sort
    View
    ICCAD
    1995
    IEEE
    65views Hardware» more  ICCAD 1995»
    Symbolic hazard-free minimization and encoding of asynchronous finite state machines
    15 years 9 months ago
    Symbolic hazard-free minimization and encoding of asynchronous finite state machines
    Download  www.cs.unc.edu
    Robert M. Fuhrer, Bill Lin, Steven M. Nowick
    claim paper
    Read More »
    LCTRTS
    1995
    Springer
    83views System Software» more  LCTRTS 1995»
    Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems
    15 years 9 months ago
    Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems
    Download  www-2.cs.cmu.edu
    Sérgio Vale Aguiar Campos, Edmund M. Clarke...
    claim paper
    Read More »
    DAC
    1991
    ACM
    102views Computer Architecture» more  DAC 1991»
    A Unified Approach for the Synthesis of Self-Testable Finite State Machines
    15 years 9 months ago
    A Unified Approach for the Synthesis of Self-Testable Finite State Machines
    Download  www.ra.informatik.uni-stuttgart.de
    -Conventionallyself-test hardware is added after synthesis is completed. For highly sequential circuits like controllersthis design method eitherleads to high hardware overheadsor ...
    Bernhard Eschermann, Hans-Joachim Wunderlich
    claim paper
    Read More »
    ICCD
    1991
    IEEE
    86views Hardware» more  ICCD 1991»
    Synthesizing Converters Between Finite State Protocols
    15 years 9 months ago
    Synthesizing Converters Between Finite State Protocols
    Download  www.cadence.com
    Janaki Akella, Kenneth L. McMillan
    claim paper
    Read More »
    CONCUR
    2005
    Springer
    105views Distributed And Parallel Com...» more  CONCUR 2005»
    A Ground-Complete Axiomatization of Finite State Processes in Process Algebra
    15 years 8 months ago
    A Ground-Complete Axiomatization of Finite State Processes in Process Algebra
    Download  alexandria.tue.nl
    Jos C. M. Baeten, Mario Bravetti
    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.