276 search results - page 18 / 56 » Accurate and Efficient Static Timing Analysis with Crosstalk |
122
click to vote
APSEC
2001
IEEE
15 years 2 months ago
2001
IEEE
Program slicing has been used for efficient program debugging activities. Program slice is computed by analyzing dependence relations between program statements. We can divide dep...
TCAD
2002
14 years 10 months ago
2002
With the advent of system-on-a-chip design, many application specific integrated circuits (ASICs) now require multiple design clocks that operate asynchronously to each other. This...
117
click to vote
BIS
2009
15 years 7 days ago
2009
Abstract. The quality of today's digital maps is very high. This allows for new functionality as illustrated by modern car navigation systems (e.g., TomTom, Garmin, etc.), Goo...
196
click to vote
DASFAA
2011
IEEE
14 years 2 months ago
2011
IEEE
In this demo, we present the StreamFitter system for real-time regression analysis on continuous data streams. In order to perform regression on data streams, it is necessary to co...
120
click to vote
PASTE
1998
ACM
15 years 2 months ago
1998
ACM
FLAVERS, a tool for verifying properties of concurrent systems, uses composite data flow analysis to incrementally improve the precision of the results of its verifications. Altho...