Sciweavers

    3457 search results - page 158 / 692
    » A Symbol Is Not a Symbol
    Sort
    View
    DAC
    1999
    ACM
    110views Computer Architecture» more  DAC 1999»
    Improving Symbolic Traversals by Means of Activity Profiles
    15 years 10 months ago
    Improving Symbolic Traversals by Means of Activity Profiles
    Download  www.cecs.uci.edu
    Gianpiero Cabodi, Paolo Camurati, Stefano Quer
    claim paper
    Read More »
    DATE
    1999
    IEEE
    80views Hardware» more  DATE 1999»
    Symbolic Reachability Analysis of Large Finite State Machines Using Don't Cares
    15 years 10 months ago
    Symbolic Reachability Analysis of Large Finite State Machines Using Don't Cares
    Download  www.cecs.uci.edu
    Reachability analysis of finite state machines is essential to many computer-aided design applications. We present new techniques to improve both approximate and exact reachabilit...
    Youpyo Hong, Peter A. Beerel
    claim paper
    Read More »
    DATE
    1999
    IEEE
    123views Hardware» more  DATE 1999»
    An Algorithm for Face-Constrained Encoding of Symbols Using Minimum Code Length
    15 years 10 months ago
    An Algorithm for Face-Constrained Encoding of Symbols Using Minimum Code Length
    Download  www.cecs.uci.edu
    Different logic synthesis tasks have been formulated as input encoding problems but restricted to use a minimum number of binary variables. This paper presents an original column ...
    Manuel Martínez, Maria J. Avedillo, Jos&eac...
    claim paper
    Read More »
    DATE
    1999
    IEEE
    56views Hardware» more  DATE 1999»
    Integrating Symbolic Techniques in ATPG-Based Sequential Logic Optimization
    15 years 10 months ago
    Integrating Symbolic Techniques in ATPG-Based Sequential Logic Optimization
    Download  www.cad.polito.it
    Enrique San Millán, Luis Entrena, Jos&eacut...
    claim paper
    Read More »
    GLVLSI
    1999
    IEEE
    84views VLSI» more  GLVLSI 1999»
    Blending Symbolic Matrix and Dimensional Numerical Simulation Methodology for Mechatronics Systems
    15 years 10 months ago
    Blending Symbolic Matrix and Dimensional Numerical Simulation Methodology for Mechatronics Systems
    Download  www.cecs.uci.edu
    Robert L. Ewing
    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.