1783 search results - page 230 / 357 » Provenance and Data Synchronization |
260
click to vote
NFM
2011
14 years 10 months ago
2011
Abstract. We present a general scheme for automated instantiation-based invariant discovery. Given a transition system, the scheme produces k-inductive invariants from templates re...
125
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Bayesian recursive inference of phase in additive Gaussian noise environments is studied. A tractable conjugate system is established using a von Mises distribution. Its shaping p...
125
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Real-time streaming signal processing systems typically desire high throughput and low latency. Many such systems can be modeled as synchronous data flow graphs. In this paper, w...
228
click to vote
ICDE
2008
IEEE
16 years 5 months ago
2008
IEEE
- The embedding of positioning capabilities in mobile devices and the emergence of location-based applications have created novel opportunities for utilizing several types of multi...
151
click to vote
EUROSYS
2007
ACM
16 years 1 months ago
2007
ACM
Sprint is a middleware infrastructure for high performance and high availability data management. It extends the functionality of a standalone in-memory database (IMDB) server to ...