129 search results - page 5 / 26 » Position paper: Meaningful updates to executing programs |
SIGMOD
2004
ACM
14 years 7 months ago
2004
ACM
This paper introduces the Scalable INcremental hash-based Algorithm (SINA, for short); a new algorithm for evaluating a set of concurrent continuous spatio-temporal queries. SINA ...
MICRO
1993
IEEE
13 years 12 months ago
1993
IEEE
Compiler-controlled speculative execution has been shown to be e ective in increasing the availableinstruction level parallelism ILP found in non-numeric programs. An importantpr...
PPOPP
2005
ACM
14 years 1 months ago
2005
ACM
In this paper we present a new form of revocable lock that streamlines the construction of higher level concurrency abstractions such as atomic multi-word heap updates. The key id...
EDBTW
2004
Springer
14 years 1 months ago
2004
Springer
In this paper, we aim to develop a framework for continuous query processing in spatio-temporal databases. The proposed framework distinguishes itself from other query processors b...
ADAEUROPE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In this paper we present algorithms to statically detect livelocks in Ada multitasking programs. Although the algorithms’ worst-case execution time is exponential, they...