Sciweavers

    DAGSTUHL
    1996
    108views Software Engineering» more  DAGSTUHL 1996»
    What Not to Do When Writing an Interpreter for Specialisation
    13 years 5 months ago
    What Not to Do When Writing an Interpreter for Specialisation
    Download  repository.readscheme.org
    A partial evaluator, given a program and a known "static" part of its input data, outputs a specialised or residual program in which computations depending only on the st...
    Neil D. Jones
    claim paper
    Read More »
    DAGSTUHL
    1996
    104views Software Engineering» more  DAGSTUHL 1996»
    Reasoning about Hierarchies of Online Program Specialization Systems
    13 years 5 months ago
    Reasoning about Hierarchies of Online Program Specialization Systems
    Download  repository.readscheme.org
    John Hatcliff, Robert Glück
    claim paper
    Read More »
    DAGSTUHL
    1996
    105views Software Engineering» more  DAGSTUHL 1996»
    Incorporating Spatial Representations at Multiple Levels of Abstraction in a Replicated Multilayered Architecture
    13 years 5 months ago
    Incorporating Spatial Representations at Multiple Levels of Abstraction in a Replicated Multilayered Architecture
    Download  www.ri.cmu.edu
    ating Spatial Representations at Multiple Levels of Abstraction in a Replicated Multilayered Architecture for Robot Control ALBERTO ELFES Presented in the 1996 Dagstuhl Seminar 963...
    Alberto Elfes
    claim paper
    Read More »
    DAGSTUHL
    1996
    106views Software Engineering» more  DAGSTUHL 1996»
    Compiler Generation for Interactive Graphics Using Intermediate Code
    13 years 5 months ago
    Compiler Generation for Interactive Graphics Using Intermediate Code
    Download  repository.readscheme.org
    Abstract. This paper describes a compiler generator (cogen) designed for interactive graphics, and presents preliminary results of its application to pixel-level code. The cogen ac...
    Scott Draves
    claim paper
    Read More »
    DAGSTUHL
    1996
    97views Software Engineering» more  DAGSTUHL 1996»
    Pragmatics of Type-Directed Partial Evaluation
    13 years 5 months ago
    Pragmatics of Type-Directed Partial Evaluation
    Download  repository.readscheme.org
    Abstract. Type-directed partial evaluation stems from the residualization of arbitrary static values in dynamic contexts, given their type. Its algorithm coincides with the one for...
    Olivier Danvy
    claim paper
    Read More »
    DAGSTUHL
    1996
    135views Software Engineering» more  DAGSTUHL 1996»
    A Uniform Approach for Compile-Time and Run-Time Specialization
    13 years 5 months ago
    A Uniform Approach for Compile-Time and Run-Time Specialization
    Download  repository.readscheme.org
    As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application programs. However, t...
    Charles Consel, Luke Hornof, François No&eu...
    claim paper
    Read More »
    DAGSTUHL
    1996
    118views Software Engineering» more  DAGSTUHL 1996»
    Practical Aspects of Specialization of Algol-like Programs
    13 years 5 months ago
    Practical Aspects of Specialization of Algol-like Programs
    Download  repository.readscheme.org
    Abstract. A \linearized" scheme of polyvariant specialization for imperative languages is described in the paper. The scheme is intended for increasing e ciency of specializat...
    Mikhail A. Bulyonkov, Dmitry V. Kochetov
    claim paper
    Read More »
    DAGSTUHL
    1996
    115views Software Engineering» more  DAGSTUHL 1996»
    On-line Algorithms in Machine Learning
    13 years 5 months ago
    On-line Algorithms in Machine Learning
    Download  www.cs.cmu.edu
    The areas of On-Line Algorithms and Machine Learning are both concerned with problems of making decisions about the present based only on knowledge of the past. Although these area...
    Avrim Blum
    claim paper
    Read More »
    DAGSTUHL
    1996
    102views Software Engineering» more  DAGSTUHL 1996»
    An Automatic Interprocedural Analysis for the Understanding of Scientific Application Programs
    13 years 5 months ago
    An Automatic Interprocedural Analysis for the Understanding of Scientific Application Programs
    Download  hal.archives-ouvertes.fr
    This paper reports on an approachfor improvingthe understandingof old programs which have become very complex due to numerous extensions. We have adapted partial evaluation techni...
    Sandrine Blazy, Philippe Facon
    claim paper
    Read More »
    DAGSTUHL
    1996
    116views Software Engineering» more  DAGSTUHL 1996»
    Distributed Paging
    13 years 5 months ago
    Distributed Paging
    Download  wwwhni.uni-paderborn.de
    We survey distributed data management problems including distributed paging, le allocation, and le migration.
    Yair Bartal
    claim paper
    Read More »
    « first‹ previous123next ›last »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.