Sciweavers

    10038 search results - page 281 / 2008
    » Model Checking for Managers
    Sort
    View
    ASPDAC
    2007
    ACM
    139views Hardware» more  ASPDAC 2007»
    Deeper Bound in BMC by Combining Constant Propagation and Abstraction
    15 years 10 months ago
    Deeper Bound in BMC by Combining Constant Propagation and Abstraction
    Download  www.cecs.uci.edu
    ound in BMC by Combining Constant Propagation and Abstraction Roy Armoni, Limor Fix1 , Ranan Fraer1 , Tamir Heyman1,3 , Moshe Vardi2 , Yakir Vizel1 , Yael Zbar1 1 Logic and Validat...
    Roy Armoni, Limor Fix, Ranan Fraer, Tamir Heyman, ...
    claim paper
    Read More »
    MODELS
    2009
    Springer
    125views Natural Language Processing» more  MODELS 2009»
    Automatic Domain Model Migration to Manage Metamodel Evolution
    16 years 1 months ago
    Automatic Domain Model Migration to Manage Metamodel Evolution
    Download  www.cs.colostate.edu
    Anantha Narayanan, Tihamer Levendovszky, Daniel Ba...
    claim paper
    Read More »
    WSC
    1994
    109views Modeling And Simulation» more  WSC 1994»
    A relational algebraic framework for models management
    15 years 8 months ago
    A relational algebraic framework for models management
    Download  smslab.kaist.ac.kr
    Hyu Chan Park, Wan Bok Lee, Tag Gon Kim
    claim paper
    Read More »
    WSC
    1990
    81views Modeling And Simulation» more  WSC 1990»
    A five level hierarchy for the management of simulation models
    15 years 7 months ago
    A five level hierarchy for the management of simulation models
    Download  www.inf.ethz.ch
    François E. Cellier, Qingsu Wang, Bernard P...
    claim paper
    Read More »
    ICCD
    1995
    IEEE
    109views Hardware» more  ICCD 1995»
    Verifying the performance of the PCI local bus using symbolic techniques
    15 years 10 months ago
    Verifying the performance of the PCI local bus using symbolic techniques
    Download  www.cs.cmu.edu
    Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
    Sérgio Vale Aguiar Campos, Edmund M. Clarke...
    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.