10988 search results - page 304 / 2198 » Algorithmic Folding Complexity |
143
click to vote
EUROSYS
2011
ACM
14 years 8 months ago
2011
ACM
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...
115
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
The negative effect of electromigration on signal and power line lifetime and functional reliability is an increasingly important problem for the physical design of integrated cir...
120
click to vote
ISBI
2004
IEEE
16 years 5 months ago
2004
IEEE
Microscopy imaging often suffers from limited depth-offocus. However, the specimen can be `optically sectioned' by moving the object along the optical axis; different areas a...
127
click to vote
SAGT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We continue the recently initiated study of the computational aspects of weak saddles, an ordinal set-valued solution concept proposed by Shapley. Brandt et al. gave a po...
113
click to vote
UIST
2009
ACM
15 years 11 months ago
2009
ACM
In this paper we present a novel interface for selecting sounds in audio mixtures. Traditional interfaces in audio editors provide a graphical representation of sounds which is ei...