Sciweavers

    15635 search results - page 94 / 3127
    » Modelling and Design of VAML
    Sort
    View
    DAC
    2002
    ACM
    95views Computer Architecture» more  DAC 2002»
    Can BDDs compete with SAT solvers on bounded model checking?
    16 years 5 months ago
    Can BDDs compete with SAT solvers on bounded model checking?
    Download  lcs.ios.ac.cn
    Gianpiero Cabodi, Paolo Camurati, Stefano Quer
    claim paper
    Read More »
    DAC
    2004
    ACM
    126views Computer Architecture» more  DAC 2004»
    Automatic abstraction and verification of verilog models
    16 years 5 months ago
    Automatic abstraction and verification of verilog models
    Download  www.eecs.umich.edu
    Zaher S. Andraus, Karem A. Sakallah
    claim paper
    Read More »
    EUROMICRO
    2009
    IEEE
    164views Software Engineering» more  EUROMICRO 2009»
    Checking Architectural and Implementation Constraints for Domain-Specific Component Frameworks Using Models
    15 years 11 months ago
    Checking Architectural and Implementation Constraints for Domain-Specific Component Frameworks Using Models
    Download  soft.vub.ac.be
    Carlos Noguera, Frédéric Loiret
    claim paper
    Read More »
    EUROMICRO
    2005
    IEEE
    104views Software Engineering» more  EUROMICRO 2005»
    Model Interchange Using OMG Standards
    15 years 10 months ago
    Model Interchange Using OMG Standards
    Download  crest.abo.fi
    Marcus Alanen, Ivan Porres
    claim paper
    Read More »
    VTS
    2006
    IEEE
    101views Hardware» more  VTS 2006»
    Design Optimization for Robustness to Single Event Upsets
    15 years 10 months ago
    Design Optimization for Robustness to Single Event Upsets
    Download  www.ece.rice.edu
    Abstract: An optimization algorithm for the design of combinational circuits that are robust to single-event upsets (SEUs) is described. A simple, highly accurate model for the SEU...
    Quming Zhou, Mihir R. Choudhury, Kartik Mohanram
    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.