In this paper, dynamic rate shaping for H.264/AVC intracoded video streams is investigated. An analysis of the distortion distinguishes different error components that lead to the...
Stijn Notebaert, Jan De Cock, Kenneth Vermeirsch, ...
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
The SGI Origin 2000 is designedto support a wide range of applications and has low local and remote memory latencies. However, it often has a high ratio of remote to local misses....
As transistor process technology approaches the nanometer scale, process variation significantly affects the design and optimization of high performance microprocessors. Prior stu...
In event stream applications, events flow through a network of components that perform various types of operations, e.g., filtering, aggregation, transformation. When the operatio...