Sciweavers

247 search results - page 17 / 50
» The Scala Experiment - Can We Provide Better Language Suppor...
Sort
View
CIKM
1999
Springer
13 years 11 months ago
Rule-Based Query Optimization, Revisited
We present the architecture and a performance assessment of an extensible query optimizer written in Venus. Venus is a general-purpose active-database rule language embedded in C+...
Lane Warshaw, Daniel P. Miranker
ACMSE
2011
ACM
12 years 7 months ago
Targeting FPGA-based processors for an implementation-driven compiler construction course
This paper describes the adaptation of a modern compiler construction course to target an FPGA-based hardware platform used throughout our computer science curriculum. One of the ...
D. Brian Larkins, William M. Jones
POPL
1995
ACM
13 years 11 months ago
Applicative Functors and Fully Transparent Higher-Order Modules
We present a variant of the Standard ML module system rameterized abstract types (i.e. functors returning generative types) map provably equal arguments to compattract types, inst...
Xavier Leroy
LCPC
1995
Springer
13 years 11 months ago
V-cal: A Calculus for the Compilation of Data Parallel Languages
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...
P. F. G. Dechering, J. A. Trescher, J. P. M. de Vr...
FQAS
2006
Springer
76views Database» more  FQAS 2006»
13 years 11 months ago
Why Using Structural Hints in XML Retrieval?
Abstract. When querying XML collections, users cannot always express their need in a precise way. Systems should therefore support vagueness at both the content and structural leve...
Karen Sauvagnat, Mohand Boughanem, Claude Chrismen...