2583 search results - page 35 / 517 » Compiling for stream processing |
SAC
2010
ACM
15 years 2 months ago
2010
ACM
In this paper, we present a summarization technique adapted to trajectory streams. The Spatiotemporal Stream Sampling (STSS) algorithm is a single-pass sampling technique that tak...
186
click to vote
ICDM
2007
IEEE
15 years 6 months ago
2007
IEEE
Event detection is one of the most important issues of event processing system, especially Complex Event Processing (CEP). Outlier event, change event and burst event are three ty...
119
Voted
MM
2009
ACM
15 years 8 months ago
2009
ACM
A compressed-domain transformation is one that operates directly on the compressed format, rather than requiring conversion to an uncompressed format prior to processing. Performi...
156
click to vote
ACL2
2006
ACM
15 years 8 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
135
Voted
VLDB
1989
ACM
15 years 6 months ago
1989
ACM
This paper presents a parallel algorithm for recursive query processing and shows how it can be efficiently implemented in a local computer network. The algorithm relies on an int...