932 search results - page 157 / 187 » Verifying Progress in Timed Systems |
CASES
2006
ACM
14 years 3 months ago
2006
ACM
Dictionary code compression is a technique where long instructions in the memory are replaced with shorter code words used as index in a table to look up the original instructions...
ICAS
2005
IEEE
14 years 2 months ago
2005
IEEE
Content Distribution Overlays improves end-user performance by replicating Web contents on a group of geographically distributed sites interconnected over the Internet. However, w...
WACV
2005
IEEE
14 years 2 months ago
2005
IEEE
As tracking systems become more effective at reliably tracking multiple objects over extended periods of time within single camera views and across overlapping camera views, incre...
PATMOS
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents a modular optimization framework for custom digital circuits in the power – performance space. The method uses a static timer and a nonlinear optimizer to max...
SIGMETRICS
2004
ACM
14 years 2 months ago
2004
ACM
We study the problem of locating in space and over time a network path’s tight link, that is the link with the least available bandwidth on the path. Tight link localization ben...