8828 search results - page 1495 / 1766 » Formal methods in practice |
163
click to vote
DATE
2003
IEEE
16 years 22 hour ago
2003
IEEE
Wireplanning is an approach in which the timing of inputoutput paths is planned before modules are specified, synthesized or sized. If these global wires are optimally segmented ...
170
click to vote
ICNP
2003
IEEE
16 years 14 hour ago
2003
IEEE
CAMs are the most popular practical method for implementing packet classification in high performance routers. Their principal drawbacks are high power consumption and inefficient...
209
click to vote
ICRA
2003
IEEE
16 years 14 hour ago
2003
IEEE
— As people move through their environments, they do not move randomly. Instead, they are often engaged in typical motion patterns, related to specific locations they might be i...
117
click to vote
INFOCOM
2003
IEEE
16 years 12 hour ago
2003
IEEE
Abstract— Several techniques have been proposed for measuring network-internal delays. However, those that rely on router responses have questionable performance, and all propose...
190
click to vote
ISCA
2003
IEEE
16 years 10 hour ago
2003
IEEE
With power density and hence cooling costs rising exponentially, processor packaging can no longer be designed for the worst case, and there is an urgent need for runtime processo...