9521 search results - page 480 / 1905 » Compiling with continuations, continued |
276
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
We define a type system, which may also be considered as a simple Hoare logic, for a fragment of an assembly language that deals with code pointers and jumps. The typing is aimed ...
270
click to vote
VLDB
2007
ACM
16 years 5 months ago
2007
ACM
Given a multidimensional point q, a reverse k nearest neighbor (RkNN) query retrieves all the data points that have q as one of their k nearest neighbors. Existing methods for proc...
152
click to vote
SIGMOD
2004
ACM
16 years 5 months ago
2004
ACM
We consider the problem of pipelined filters, where a continuous stream of tuples is processed by a set of commutative filters. Pipelined filters are common in stream applications...
171
click to vote
SIGMOD
2004
ACM
16 years 5 months ago
2004
ACM
StreaMon is the adaptive query processing engine of the STREAM prototype Data Stream Management System (DSMS) [4]. A fundamental challenge in many DSMS applications (e.g., network...
161
Voted
PODS
2003
ACM
16 years 5 months ago
2003
ACM
The sliding window model is useful for discounting stale data in data stream applications. In this model, data elements arrive continually and only the most recent N elements are ...