Sciweavers

    29046 search results - page 484 / 5810
    » Computable Models
    Sort
    View
    149
    Voted
    DAC
    1997
    ACM
    77views Computer Architecture» more  DAC 1997»
    An Efficient Implementation of Reactivity for Modeling Hardware in the Scenic Design Environment
    15 years 10 months ago
    An Efficient Implementation of Reactivity for Modeling Hardware in the Scenic Design Environment
    Download  www1.cs.columbia.edu
    Stan Y. Liao, Steven W. K. Tjiang, Rajesh K. Gupta
    claim paper
    Read More »
    COORDINATION
    1997
    Springer
    98views Distributed And Parallel Com...» more  COORDINATION 1997»
    Modeling Railway Control Systems Using Graph Grammars: A Case Study
    15 years 10 months ago
    Modeling Railway Control Systems Using Graph Grammars: A Case Study
    Download  hal.archives-ouvertes.fr
    A. A. Holzbacher, M. Périn, Mario Südh...
    claim paper
    Read More »
    134
    Voted
    DAC
    1996
    ACM
    108views Computer Architecture» more  DAC 1996»
    Word Level Model Checking - Avoiding the Pentium FDIV Error
    15 years 10 months ago
    Word Level Model Checking - Avoiding the Pentium FDIV Error
    Download  www.cs.cmu.edu
    Edmund M. Clarke, Manpreet Khaira, Xudong Zhao
    claim paper
    Read More »
    145
    Voted
    DAC
    1993
    ACM
    93views Computer Architecture» more  DAC 1993»
    Performance-Driven Interconnect Design Based on Distributed RC Delay Model
    15 years 10 months ago
    Performance-Driven Interconnect Design Based on Distributed RC Delay Model
    Download  cadlab.cs.ucla.edu
    Jason Cong, Kwok-Shing Leung, Dian Zhou
    claim paper
    Read More »
    SIGGRAPH
    1992
    ACM
    123views Computer Graphics» more  SIGGRAPH 1992»
    Modeling seashells
    15 years 10 months ago
    Modeling seashells
    Download  algorithmicbotany.org
    Deborah R. Fowler, Hans Meinhardt, Przemyslaw Prus...
    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.