6045 search results - page 867 / 1209 » Computable Linearizations of Well-partial-orderings |
190
click to vote
ICCAD
2003
IEEE
16 years 3 days ago
2003
IEEE
Process variations have become a critical issue in performance verification of high-performance designs. We present a new, statistical timing analysis method that accounts for int...
179
click to vote
INFOCOM
2003
IEEE
16 years 3 days ago
2003
IEEE
-We solve the problem of time-optimal network queue control: what are the input data rates that make network queue sizes converge to their ideal size in the least possible time aft...
194
click to vote
PERCOM
2003
ACM
16 years 3 days ago
2003
ACM
We investigate the performance issues of destinationsequenced distance vector (DSDV) and ad-hoc on-demand distance vector (AODV) routing protocols for mobile ad hoc networks. Four...
191
click to vote
WCRE
2003
IEEE
16 years 2 days ago
2003
IEEE
Our research goal is to retarget image processing programs written in sequential languages (e.g., C) to architectures with data-parallel processing capabilities. Image processing ...
180
click to vote
POPL
2003
ACM
16 years 2 days ago
2003
ACM
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...