Sciweavers

    31387 search results - page 349 / 6278
    » Abstracting abstract machines
    Sort
    View
    CCR
    2004
    78views more  CCR 2004»
    Exposing resource tradeoffs in region-based communication abstractions for sensor networks
    15 years 6 months ago
    Exposing resource tradeoffs in region-based communication abstractions for sensor networks
    Download  www.eecs.harvard.edu
    Matt Welsh
    claim paper
    Read More »
    CORR
    2004
    Springer
    90views Education» more  CORR 2004»
    Abstract Canonical Inference
    15 years 6 months ago
    Abstract Canonical Inference
    Download  www.cs.tau.ac.il
    Maria Paola Bonacina, Nachum Dershowitz
    claim paper
    Read More »
    CORR
    2004
    Springer
    85views Education» more  CORR 2004»
    Predicate Abstraction with Indexed Predicates
    15 years 6 months ago
    Predicate Abstraction with Indexed Predicates
    Download  www.cs.cmu.edu
    Shuvendu K. Lahiri, Randal E. Bryant
    claim paper
    Read More »
    CACM
    2000
    94views more  CACM 2000»
    Abstract Class Hierarchies, Factories, and Stable Designs
    15 years 6 months ago
    Abstract Class Hierarchies, Factories, and Stable Designs
    Download  www.kbs.uni-hannover.de
    Class Hierarchies, Factories, and Stable Designs M uch of the debate about the general aptness of class hierarchies is rooted in the different objectives taxonomists and implemente...
    Friedrich Steimann
    claim paper
    Read More »
    CG
    2000
    Springer
    136views Computer Graphics» more  CG 2000»
    Abstract Proof Search
    15 years 6 months ago
    Abstract Proof Search
    Download  www.lamsade.dauphine.fr
    Tristan Cazenave
    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.