Sciweavers

    31387 search results - page 374 / 6278
    » Abstracting abstract machines
    Sort
    View
    SYMMETRY
    2010
    58views more  SYMMETRY 2010»
    Replication and Abstraction: Symmetry in Automated Formal Verification
    15 years 1 months ago
    Replication and Abstraction: Symmetry in Automated Formal Verification
    Download  www.allydonaldson.co.uk
    Thomas Wahl, Alastair F. Donaldson
    claim paper
    Read More »
    TCAD
    2010
    111views more  TCAD 2010»
    Combining Control and Data Abstraction in the Verification of Hybrid Systems
    15 years 1 months ago
    Combining Control and Data Abstraction in the Verification of Hybrid Systems
    Download  pop-art.inrialpes.fr
    Xavier Briand, Bertrand Jeannet
    claim paper
    Read More »
    TECS
    2010
    56views more  TECS 2010»
    Reflexes: Abstractions for integrating highly responsive tasks into Java applications
    15 years 1 months ago
    Reflexes: Abstractions for integrating highly responsive tasks into Java applications
    Download  infoscience.epfl.ch
    Jesper Honig Spring, Filip Pizlo, Jean Privat, Rac...
    claim paper
    Read More »
    TOPNOC
    2010
    200views Artificial Intelligence» more  TOPNOC 2010»
    Vicinity Respecting Homomorphisms for Abstracting System Requirements
    15 years 1 months ago
    Vicinity Respecting Homomorphisms for Abstracting System Requirements
    Download  www.fernuni-hagen.de
    Jörg Desel, Agathe Merceron
    claim paper
    Read More »
    CORR
    2011
    Springer
    78views Education» more  CORR 2011»
    Augmenting Tractable Fragments of Abstract Argumentation
    14 years 10 months ago
    Augmenting Tractable Fragments of Abstract Argumentation
    Download  ijcai.org
    Sebastian Ordyniak, Stefan Szeider
    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.