Sciweavers

2583 search results - page 83 / 517
» Compiling for stream processing
Sort
View
EDBT
2008
ACM
206views Database» more  EDBT 2008»
16 years 4 months ago
Designing an inductive data stream management system: the stream mill experience
There has been much recent interest in on-line data mining. Existing mining algorithms designed for stored data are either not applicable or not effective on data streams, where r...
Hetal Thakkar, Barzan Mozafari, Carlo Zaniolo
IFL
2007
Springer
158views Formal Methods» more  IFL 2007»
15 years 10 months ago
Checking Dependent Types Using Compiled Code
Abstract. Type checkers for dependent types need to evaluate user defined functions during type checking. For this, current implementations typically use an interpreter, which has...
Dirk Kleeblatt
CC
2006
Springer
176views System Software» more  CC 2006»
15 years 6 months ago
The CGiS Compiler-A Tool Demonstration
The CGiS programming language is designed to open up the parallel performance possibilities of graphics processing units (GPUs) to general purpose programmers. This tool demonstrat...
Philipp Lucas, Nicolas Fritz, Reinhard Wilhelm
LCPC
2001
Springer
15 years 9 months ago
A Compilation Framework for Power and Energy Management on Mobile Computers
This paper discusses the potential benefits of applicationspecific power management through remote task execution. Power management is crucial for mobile devices that have to re...
Ulrich Kremer, Jamey Hicks, James M. Rehg
DEXA
2003
Springer
135views Database» more  DEXA 2003»
15 years 9 months ago
On the Optimality of Holistic Algorithms for Twig Queries
Streaming XML documents has many emerging applications. However, in this paper, we show that the restrictions imposed by data streaming are too restrictive for processing twig quer...
Byron Choi, Malika Mahoui, Derick Wood