6274 search results - page 332 / 1255 » Proofs, Programs, Processes |
200
click to vote
MEMOCODE
2010
IEEE
15 years 4 months ago
2010
IEEE
A new language, Feldspar, is presented, enabling high-level and platform-independent description of digital signal processing (DSP) algorithms. Feldspar is a pure functional langua...
207
click to vote
ICDE
2011
IEEE
14 years 10 months ago
2011
IEEE
— Uncertain data is quite common nowadays in a variety of modern database applications. At the same time, the join operation is one of the most important but expensive operations...
191
click to vote
TCAD
2008
15 years 6 months ago
2008
We present an efficient optimization scheme for gate sizing in the presence of process variations. Our method is a worst-case design scheme, but it reduces the pessimism involved i...
126
click to vote
RECOMB
2002
Springer
16 years 7 months ago
2002
Springer
A new method is presented for use in simulating samples of disease and normal chromosomes bearing multiple linked genetic markers under a neutral model of mutation, genetic drift, ...
205
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—The demand for embedded computing power is continuously increasing and FPGAs are becoming very interesting computing platforms, as they provide huge amounts of customiza...