4957 search results - page 115 / 992 » Simplifying Distributed System Development |
139
Voted
ICDE
2006
IEEE
15 years 6 months ago
2006
IEEE
We consider the problem of query optimization in distributed stream based systems where multiple continuous queries may be executing simultaneously. In such systems, distribution ...
106
Voted
LPAR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
98
Voted
VRST
2000
ACM
15 years 5 months ago
2000
ACM
In this paper we present the work undertaken by the Advanced Interfaces Group at the University of Manchester into the design and development of a system to support large numbers ...
127
Voted
ICIP
2007
IEEE
15 years 2 months ago
2007
IEEE
This paper discusses a system in which multi-view images are captured and encoded in a distributed fashion and a viewer synthesizes a novel view from this data. We developed an ef...
136
Voted
RTSS
1999
IEEE
15 years 5 months ago
1999
IEEE
In this paper we present improved techniques for the schedulability analysis of tasks with precedence relations in multiprocessor and distributed systems, scheduled under a preemp...