1452 search results - page 219 / 291 » Algorithmic Analysis of Array-Accessing Programs |
118
click to vote
ISLPED
2006
ACM
15 years 6 months ago
2006
ACM
All existing methods for thermal-via allocation are based on a steady-state thermal analysis and may lead to excessive number of thermal vias. This paper develops an accurate and ...
97
Voted
MM
2005
ACM
15 years 6 months ago
2005
ACM
Identifying short repeated video clips, such as news program logo, station logo, TV commercials, etc., from broadcasting video databases or streams is important for video content ...
127
click to vote
IEEEARES
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting memory errors in C source code. We extend the standard C type system with effect, region, and host annotat...
97
Voted
ISQED
2005
IEEE
15 years 6 months ago
2005
IEEE
As the scale and complexity of VLSI circuits increase, Electronic Design Automation (EDA) tools become much more sophisticated and are held to increasing standards of quality. New...
114
Voted
MM
2003
ACM
15 years 6 months ago
2003
ACM
In this paper, we present a system that automates home video editing. This system automatically extracts a set of highlight segments from a set of raw home videos and aligns them ...