Sciweavers

    31387 search results - page 202 / 6278
    » Abstracts
    Sort
    View
    COSIT
    1999
    Springer
    136views GIS» more  COSIT 1999»
    One Step up the Abstraction Ladder: Combining Algebras - From Functional Pieces to a Whole
    15 years 11 months ago
    One Step up the Abstraction Ladder: Combining Algebras - From Functional Pieces to a Whole
    Download  www.dpi.inpe.br
    Andrew U. Frank
    claim paper
    Read More »
    COSIT
    1999
    Springer
    350views GIS» more  COSIT 1999»
    Abstraction, Levels of Detail, and Hierarchies in Map Series
    15 years 11 months ago
    Abstraction, Levels of Detail, and Hierarchies in Map Series
    Download  www.geo.unizh.ch
    Sabine Timpf
    claim paper
    Read More »
    LICS
    1999
    IEEE
    82views Automated Reasoning» more  LICS 1999»
    A New Approach to Abstract Syntax Involving Binders
    15 years 10 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 10 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 »
    FLOPS
    1999
    Springer
    81views Automated Reasoning» more  FLOPS 1999»
    The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code
    15 years 10 months ago
    The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code
    Download  www.pllab.riec.tohoku.ac.jp
    Atsushi Ohori
    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.