Sciweavers

    31387 search results - page 254 / 6278
    » Abstracts
    Sort
    View
    DAC
    2005
    ACM
    117views Computer Architecture» more  DAC 2005»
    Dynamic abstraction using SAT-based BMC
    15 years 8 months ago
    Dynamic abstraction using SAT-based BMC
    Download  computing.ece.vt.edu
    Liang Zhang, Mukul R. Prasad, Michael S. Hsiao, Th...
    claim paper
    Read More »
    MPC
    2010
    Springer
    246views Mathematics» more  MPC 2010»
    Abstraction of Object Graphs in Program Verification
    15 years 8 months ago
    Abstraction of Object Graphs in Program Verification
    Download  sei.pku.edu.cn
    ion of Object Graphs in Program Verification Yifeng Chen1 and J.W. Sanders2 1 HCST Key Lab at School of EECS, Peking University, China. 2 UNU-IIST, Macao. A set-theoretic formalism...
    Yifeng Chen, Jeff W. Sanders
    claim paper
    Read More »
    CALCO
    2007
    Springer
    98views Mathematics» more  CALCO 2007»
    A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines
    15 years 8 months ago
    A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines
    Download  www2.informatik.hu-berlin.de
    Andreas Glausch, Wolfgang Reisig
    claim paper
    Read More »
    ITICSE
    2010
    ACM
    185views Theoretical Computer Science» more  ITICSE 2010»
    Teaching abstraction in introductory courses
    15 years 8 months ago
    Teaching abstraction in introductory courses
    Download  cse.proj.ac.il
    Herman Koppelman, Betsy van Dijk
    claim paper
    Read More »
    CMSB
    2008
    Springer
    96views Applied Computing» more  CMSB 2008»
    Integrated Analysis from Abstract Stochastic Process Algebra Models
    15 years 8 months ago
    Integrated Analysis from Abstract Stochastic Process Algebra Models
    Download  homepages.inf.ed.ac.uk
    Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.
    Jane Hillston, Federica Ciocchetta, Adam Duguid, S...
    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.