42507 search results - page 451 / 8502 » On the analysis of |
154
click to vote
ICCAD
2001
IEEE
16 years 4 months ago
2001
IEEE
In this paper, we study the propagation of slew dependent bounding signals and the corresponding slew problem in static timing analysis. The selection of slew from the latest arri...
173
click to vote
TACAS
2010
Springer
16 years 2 months ago
2010
Springer
STRANGER is an automata-based string analysis tool for finding and eliminating string-related security vulnerabilities in PHP applications. STRANGER uses symbolic forward and back...
188
click to vote
ISQED
2009
IEEE
16 years 2 months ago
2009
IEEE
In this paper we propose a technique to determine accurate interconnect extraction corners for a 65-nm design using parametric RC extraction and timing analysis. We calculate the ...
243
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...
174
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
Raster map images (e.g., USGS) provide much information in digital form; however, the color assignments and pixel labels leave many serious ambiguities. A color histogram classi...