Sciweavers

2583 search results - page 105 / 517
» Compiling for stream processing
Sort
View
151
Voted
IFL
2003
Springer
167views Formal Methods» more  IFL 2003»
15 years 9 months ago
A Functional Shell That Dynamically Combines Compiled Code
Abstract. We present a new shell that provides the full basic functionality of a strongly typed lazy functional language, including overloading. The shell can be used for manipulat...
Arjen van Weelden, Rinus Plasmeijer
ICVS
2001
Springer
15 years 9 months ago
Compiling SA-C Programs to FPGAs: Performance Results
Abstract. At the first ICVS, we presented SA-C (“sassy”), a singleassignment variant of the C programming language designed to exploit both coarse-grain and fine-grain parallel...
Bruce A. Draper, A. P. Wim Böhm, Jeffrey Hamm...
SGAI
2010
Springer
14 years 11 months ago
A Structural Approach to Sensor Placement based on Symbolic Compilation of the Model
: In the present paper we address the problem of computing the Minimal Additional Sensor Sets (MASS) that guarantee a desired level of diagnostic discrimination for a system. Recen...
Gianluca Torta, Pietro Torasso
SIGMOD
2007
ACM
160views Database» more  SIGMOD 2007»
16 years 4 months ago
Cayuga: a high-performance event processing engine
We propose a demonstration of Cayuga, a complex event monitoring system for high speed data streams. Our demonstration will show Cayuga applied to monitoring Web feeds; the demo w...
Lars Brenna, Alan J. Demers, Johannes Gehrke, Ming...
VLSID
2002
IEEE
123views VLSI» more  VLSID 2002»
16 years 5 months ago
Compiler-Directed Array Interleaving for Reducing Energy in Multi-Bank Memories
With the increased use of embedded/portable devices such as smart cellular phones, pagers, PDAs, hand-held computers, and CD players, improving energy efficiency is becoming a cri...
Victor Delaluz, Mahmut T. Kandemir, Narayanan Vija...