Sciweavers

4757 search results - page 814 / 952
» Monads for Functional Programming
Sort
View
121
Voted
ICDE
1993
IEEE
116views Database» more  ICDE 1993»
15 years 7 months ago
The Volcano Optimizer Generator: Extensibility and Efficient Search
Emerging database application domains demand not only new functionality but also high performance. To satisfy these two requirements, the Volcano project provides efficient, exten...
Goetz Graefe, William J. McKenna
ICPP
1993
IEEE
15 years 7 months ago
Dependence Analysis and Architecture Design for Bit-Level Algorithms
:. In designing application-specific bit-level architectures and in programming existing bit-level processor arrays, it is necessary to expand a word-level algorithm into its bit-...
Weijia Shang, Benjamin W. Wah
128
Voted
TYPES
1993
Springer
15 years 7 months ago
The Expressive Power of Structural Operational Semantics with Explicit Assumptions
Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for defining the operational semantics of ...
Marino Miculan
VLDB
1993
ACM
116views Database» more  VLDB 1993»
15 years 7 months ago
Algebraic Optimization of Computations over Scientific Databases
Although scientific data analysis increasingly requires accessandmanipulation of large quantitiesof data,current databasetechnology fails to meet the needsof scientific processing...
Richard H. Wolniewicz, Goetz Graefe
151
Voted
VLDB
1994
ACM
128views Database» more  VLDB 1994»
15 years 7 months ago
An Algebraic Approach to Rule Analysis in Expert Database Systems
Expert database systems extend the functionality of conventional database systems by providing a facility for creating and automatically executing Condition-Action rules. While Con...
Elena Baralis, Jennifer Widom