Sciweavers

    3224 search results - page 266 / 645
    » On Checking Model Checkers
    Sort
    View
    PE
    2010
    Springer
    180views Optimization» more  PE 2010»
    PCTL model checking of Markov chains: Truth and falsity as winning strategies in games
    15 years 4 months ago
    PCTL model checking of Markov chains: Truth and falsity as winning strategies in games
    Download  pubs.doc.ic.ac.uk
    Harald Fecher, Michael Huth, Nir Piterman, Daniel ...
    claim paper
    Read More »
    TAICPART
    2010
    IEEE
    137views Education» more  TAICPART 2010»
    Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang
    15 years 4 months ago
    Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang
    Download  www2010.taicpart.org
    Qiang Guo, John Derrick, Clara Benac Earle, Lars-&...
    claim paper
    Read More »
    135
    Voted
    TC
    2010
    87views Information Technology» more  TC 2010»
    Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement
    15 years 4 months ago
    Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement
    Download  www.csee.usf.edu
    Hao Zheng, Haiqiong Yao, Tomohiro Yoneda
    claim paper
    Read More »
    CACM
    2010
    70views more  CACM 2010»
    Performance evaluation and model checking join forces
    15 years 4 months ago
    Performance evaluation and model checking join forces
    Download  eprints.eemcs.utwente.nl
    Christel Baier, Boudewijn R. Haverkort, Holger Her...
    claim paper
    Read More »
    ACSD
    2010
    IEEE
    219views Hardware» more  ACSD 2010»
    The Model Checking View to Clock Gating and Operand Isolation
    15 years 4 months ago
    The Model Checking View to Clock Gating and Operand Isolation
    Download  rsg.informatik.uni-kl.de
    Abstract--Clock gating and operand isolation are two techniques to reduce the power consumption in state-of-the-art hardware designs. Both approaches basically follow a two-step pr...
    Jens Brandt, Klaus Schneider, Sumit Ahuja, Sandeep...
    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.