276 search results - page 15 / 56 » Accurate and Efficient Static Timing Analysis with Crosstalk |
CEC
2010
IEEE
14 years 6 months ago
2010
IEEE
We study the problem of efficiently allocating incoming independent tasks onto the resources of a Grid system. Typically, it is assumed that the estimated time to compute each task...
177
click to vote
ICDE
2007
IEEE
16 years 15 days ago
2007
IEEE
Effective buffer management is crucial for efficient inmemory and streaming XQuery processing. We propose a buffer management scheme which combines static and dynamic analysis to ...
IFL
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
ICCAD
2005
IEEE
15 years 8 months ago
2005
IEEE
— As technology scales into the sub-90nm domain, manufacturing variations become an increasingly significant portion of circuit delay. As a result, delays must be modeled as sta...
INFOCOM
2003
IEEE
15 years 4 months ago
2003
IEEE
— We analyze the susceptibility of the Internet to random faults, malicious attacks, and mixtures of faults and attacks. We analyze actual Internet data, as well as simulated dat...