18155 search results - page 263 / 3631 » Point |
214
click to vote
MKM
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. Formal verification of numerical programs is notoriously difficult. On the one hand, there exist automatic tools specialized in floatingpoint arithmetic, such as Gappa...
154
click to vote
COMPGEOM
2009
ACM
16 years 24 days ago
2009
ACM
We present the Iterated-Tverberg algorithm, the first deterministic algorithm for computing an approximate centerpoint of a set S ∈ Rd with running time sub-exponential in d. T...
174
click to vote
ISLPED
2009
ACM
16 years 24 days ago
2009
ACM
In this paper, we observe that minimum energy Emin of subthreshold logic dramatically increases when reaching 45 nm node. We demonstrate by circuit simulation and analytical model...