Sciweavers

    31387 search results - page 234 / 6278
    » Abstracting abstract machines
    Sort
    View
    LICS
    1999
    IEEE
    82views Automated Reasoning» more  LICS 1999»
    A New Approach to Abstract Syntax Involving Binders
    15 years 11 months ago
    A New Approach to Abstract Syntax Involving Binders
    Download  www.gabbay.org.uk
    Murdoch Gabbay, Andrew M. Pitts
    claim paper
    Read More »
    RSP
    1999
    IEEE
    160views Control Systems» more  RSP 1999»
    Mixed Abstraction Level Hardware Synthesis from SDL for Rapid Prototyping
    15 years 11 months ago
    Mixed Abstraction Level Hardware Synthesis from SDL for Rapid Prototyping
    Download  www.fzi.de
    SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...
    Oliver Bringmann, Wolfgang Rosenstiel, Annette Mut...
    claim paper
    Read More »
    TOOLS
    1999
    IEEE
    112views Programming Languages» more  TOOLS 1999»
    Abstract Object State and Version Recovery in N-Version Programming
    15 years 11 months ago
    Abstract Object State and Version Recovery in N-Version Programming
    Download  www.cs.ncl.ac.uk
    Object State and Version Recovery in N-Version Programming Alexander Romanovsky
    Alexander Romanovsky
    claim paper
    Read More »
    TOOLS
    1999
    IEEE
    98views Programming Languages» more  TOOLS 1999»
    Architecture = Abstractions over Software
    15 years 11 months ago
    Architecture = Abstractions over Software
    Download  www.mip.sdu.dk
    Eyðun Eli Jacobsen, Bent Bruun Kristensen, Pal...
    claim paper
    Read More »
    FM
    1999
    Springer
    113views Formal Methods» more  FM 1999»
    Data Abstraction for CSP-OZ
    15 years 11 months ago
    Data Abstraction for CSP-OZ
    Download  www.cs.uni-paderborn.de
    Heike Wehrheim
    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.