Sciweavers

698 search results - page 74 / 140
» dagstuhl 2007
Sort
View
DAGSTUHL
2003
15 years 2 months ago
Embedding a Hardware Description Language in Template Haskell
Abstract. Hydra is a domain-specific language for designing digital circuits, which is implemented by embedding within Haskell. Many features required for hardware specification ...
John T. O'Donnell
74
Voted
DAGSTUHL
2003
15 years 2 months ago
A data model for adaptive multi-resolution scientific data
Abstract Representing data using multiresolution is a valuable tool for the interactive exploration of very large datasets. Current multiresolution tools are written specifically ...
Philip J. Rhodes, R. Daniel Bergeron, Ted M. Sparr
105
Voted
DAGSTUHL
1998
15 years 2 months ago
Two Ways to Bake Your Pizza - Translating Parameterised Types into Java
We have identified in previous work two translations for parametrically typed extensions of Java. The homogeneous translation maps type variables to a uniform representation, while...
Martin Odersky, Enno Runne, Philip Wadler
106
Voted
DAGSTUHL
2000
15 years 2 months ago
On the Competitive Complexity of Navigation Tasks
A strategy S solving a navigation task T is called competitive with ratio r if the cost of solving any instance t of T does not exceed r times the cost of solving t optimally. The ...
Christian Icking, Thomas Kamphans, Rolf Klein, Elm...
DAGSTUHL
1993
15 years 2 months ago
Syntax and Semantics of Hybrid Database Languages
Abstract. We present the hybrid query language HQL/EER for an Extended Entity-Relationship model. As its main characteristic, this language allows a user to freely mix graphical an...
Marc Andries, Gregor Engels