1880 search results - page 133 / 376 » A Static Analysis for Beta-Binders |
161
click to vote
ICCAD
2000
IEEE
15 years 10 months ago
2000
IEEE
A high accuracy system for transistor-level static timing analysis is presented. Accurate static timing verification requires that individual gate and interconnect delays be accu...
155
Voted
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
The images of an outdoor scene collected over time are valuable in studying the scene appearance variation which can lead to novel applications and help enhance existing methods t...
141
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
This paper presents a new model of human attention that allows salient areas to be extracted from video frames. As automatic understanding of video semantic content is still far fr...
150
Voted
ACSC
2008
IEEE
16 years 23 days ago
2008
IEEE
The movement of items through a product distribution network is a complex dynamic process which depends not only on the network’s static topology but also on a knowledge of how ...
175
click to vote
ICAC
2007
IEEE
16 years 18 days ago
2007
IEEE
As the use of virtualization and partitioning grows, it becomes possible to deploy a multi-tier web-based application with a variable amount of computing power. This introduces th...