472 search results - page 89 / 95 » Limiting Negations in Formulas |
INFOCOM
2003
IEEE
15 years 5 months ago
2003
IEEE
— Tools such as pathchar, clink, and pchar attempt to measure the capacity of every Layer-3 (L3) hop in a network path. These tools use the same underlying measurement methodolog...
MICRO
2002
IEEE
15 years 4 months ago
2002
IEEE
Data prefetching effectively reduces the negative effects of long load latencies on the performance of modern processors. Hardware prefetchers employ hardware structures to predic...
97
Voted
COCO
2006
Springer
15 years 3 months ago
2006
Springer
We consider a general approach to the hoary problem of (im)proving circuit lower bounds. We define notions of hardness condensing and hardness extraction, in analogy to the corres...
114
click to vote
ASPDAC
2001
ACM
15 years 3 months ago
2001
ACM
Abstract-- We describe new graph bipartization algorithms for layout modification and phase assignment of bright-field alternating phaseshifting masks (AltPSM) [25]. The problem of...
105
Voted
ICSE
2000
IEEE-ACM
15 years 3 months ago
2000
IEEE-ACM
Regression testing is an expensive maintenance process used to revalidate modified software. Regression test selection (RTS) techniques attempt to reduce the cost of regression te...