Sciweavers

    31387 search results - page 356 / 6278
    » Abstracting abstract machines
    Sort
    View
    121
    Voted
    TCS
    1998
    62views Theoretical Computer Science» more  TCS 1998»
    The Quotient of an Abstract Interpretation
    15 years 6 months ago
    The Quotient of an Abstract Interpretation
    Download  www.dsi.unive.it
    Agostino Cortesi, Gilberto Filé, William H....
    claim paper
    Read More »
    TODAES
    1998
    42views more  TODAES 1998»
    Efficient equivalence checking of multi-phase designs using phase abstraction and retiming
    15 years 6 months ago
    Efficient equivalence checking of multi-phase designs using phase abstraction and retiming
    Download  www.cparity.com
    Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee
    claim paper
    Read More »
    TPDS
    1998
    87views more  TPDS 1998»
    Abstractions for Portable, Scalable Parallel Programming
    15 years 6 months ago
    Abstractions for Portable, Scalable Parallel Programming
    Download  www.cs.utexas.edu
    Gail A. Alverson, William G. Griswold, Calvin Lin,...
    claim paper
    Read More »
    98
    Voted
    VLC
    1998
    56views more  VLC 1998»
    Abstract Syntax and Semantics of Visual Languages
    15 years 6 months ago
    Abstract Syntax and Semantics of Visual Languages
    Download  web.engr.oregonstate.edu
    Martin Erwig
    claim paper
    Read More »
    TCS
    2002
    80views Theoretical Computer Science» more  TCS 2002»
    Operational and abstract semantics of the query language G-Log
    15 years 6 months ago
    Operational and abstract semantics of the query language G-Log
    Download  users.dimi.uniud.it
    Agostino Cortesi, Agostino Dovier, Elisa Quintarel...
    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.