DAGSTUHL 2007 | Sciweavers

9

DAGSTUHL
1996

108views Software Engineering» more DAGSTUHL 1996»

What Not to Do When Writing an Interpreter for Specialisation

13 years 5 months ago

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 »

4

click to vote

DAGSTUHL
1996

104views Software Engineering» more DAGSTUHL 1996»

Reasoning about Hierarchies of Online Program Specialization Systems

13 years 5 months ago

Download repository.readscheme.org

John Hatcliff, Robert Glück

claim paper

Read More »

11

click to vote

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

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 »

9

click to vote

DAGSTUHL
1994

116views Software Engineering» more DAGSTUHL 1994»

Code generation for transport triggered architectures

13 years 5 months ago

Download www.ptlsim.org

Henk Corporaal, Jan Hoogerbrugge

claim paper

Read More »

9

click to vote

DAGSTUHL
1996

106views Software Engineering» more DAGSTUHL 1996»

Compiler Generation for Interactive Graphics Using Intermediate Code

13 years 5 months ago

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 »

9

click to vote

DAGSTUHL
1994

130views Software Engineering» more DAGSTUHL 1994»

Infrared Image Understanding

13 years 5 months ago

Download www.bmva.org

In this article, we present how it is possible to recover physical parameters of objects such as reflectivity, emissivity and thermal inertia from the analysis of infrared images ...

Claude Caillas

claim paper

Read More »

11

click to vote

DAGSTUHL
1996

97views Software Engineering» more DAGSTUHL 1996»

Pragmatics of Type-Directed Partial Evaluation

13 years 5 months ago

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 »

6

click to vote

DAGSTUHL
1994

82views Software Engineering» more DAGSTUHL 1994»

The RPC-Memory Case Study: A Synopsis

13 years 5 months ago

Download www4.in.tum.de

Manfred Broy, Stephan Merz, Katharina Spies

claim paper

Read More »

10

click to vote

DAGSTUHL
1996

135views Software Engineering» more DAGSTUHL 1996»

A Uniform Approach for Compile-Time and Run-Time Specialization

13 years 5 months ago

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 »

8

click to vote

DAGSTUHL
1996

118views Software Engineering» more DAGSTUHL 1996»

Practical Aspects of Specialization of Algol-like Programs

13 years 5 months ago

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 »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers