3387 search results - page 672 / 678 » Model-Checking for Real-Time Systems |
112
Voted
PADS
1999
ACM
15 years 4 months ago
1999
ACM
In an attempt to cope with time-varying workload, traditional adaptive Time Warp protocols are designed to react in response to performance changes by altering control parameter c...
97
Voted
SI3D
1999
ACM
15 years 4 months ago
1999
ACM
A rendering is an abstraction that favors, preserves, or even emphasizes some qualities while sacrificing, suppressing, or omitting other characteristics that are not the focus o...
138
click to vote
EDBT
1998
ACM
15 years 4 months ago
1998
ACM
Abstract. In this paper, we propose a new bulk-loading technique for high-dimensional indexes which represent an important component of multimedia database systems. Since it is ver...
89
Voted
MM
1997
ACM
15 years 4 months ago
1997
ACM
–Large scale clustered continuous media (CM) servers deployed in applications like video-on-demand have high availability requirements. In the event of server failure, streams fr...
144
click to vote
SIGGRAPH
1996
ACM
15 years 4 months ago
1996
ACM
A number of techniques have been proposed for flying through scenes by redisplaying previously rendered or digitized views. Techniques have also been proposed for interpolating be...