3250 search results - page 457 / 650 » An Algorithm to Solve a Linear Program |
160
click to vote
ICASSP
2008
IEEE
16 years 28 days ago
2008
IEEE
Compressed sensing allows perfect recovery of sparse signals (or signals sparse in some basis) using only a small number of measurements. The results in the literature have focuse...
144
click to vote
ASPDAC
2006
ACM
16 years 13 days ago
2006
ACM
Recent research results have seen the application of parallelizing techniques to high-level synthesis. In particular, the effect of speculative code transformations on mixed contr...
164
click to vote
KBSE
2005
IEEE
16 years 1 days ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
141
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a new method to automatically generate posynomial symbolic expressions for the performance characteristics of analog integrated circuits. The coefficient set ...
162
click to vote
SPAA
1990
ACM
15 years 10 months ago
1990
ACM
Multithreading has been proposed as an architectural strategy for tolerating latency in multiprocessors and, through limited empirical studies, shown to offer promise. This paper ...