6110 search results - page 159 / 1222 » Approximate Computing |
152
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
System-level design methods specifically targeted towards multimedia applications have recently received a lot of attention. Multimedia workloads are known to have a high degree o...
159
click to vote
ICCAD
1999
IEEE
15 years 10 months ago
1999
IEEE
Krylov-subspace based methods for generating low-order models of complicated interconnect are extremely effective, but there is no optimality theory for the resulting models. Alte...
163
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
We present a new verification technique for Promela which exploits state-space symmetries induced by scalarset values used in a model. The technique involves efficiently computing ...
195
click to vote
QUESTA
2011
14 years 9 months ago
2011
: This paper studies the asymptotic behavior of the steady-state waiting time, W∞, of the M/G/1 queue with subexponenential processing times for different combinations of traffi...
151
click to vote
SPIRE
2005
Springer
15 years 12 months ago
2005
Springer
Let A and B be strings with lengths m and n, respectively, over a finite integer alphabet. Two classic string mathing problems are computing the edit distance between A and B, and...