968 search results - page 55 / 194 » A faster implementation of APlace |
136
click to vote
EUROCRYPT
2004
Springer
15 years 9 months ago
2004
Springer
For counting points of Jacobians of genus 2 curves defined over large prime fields, the best known method is a variant of Schoof’s algorithm. We present several improvements on...
150
click to vote
SAT
2004
Springer
15 years 9 months ago
2004
Springer
We present a novel expansion based decision procedure for quantified boolean formulas (QBF) in conjunctive normal form (CNF). The basic idea is to resolve existentially quantifie...
137
click to vote
DAC
1999
ACM
15 years 8 months ago
1999
ACM
This work presents an overview of the principles that underlie the speed-up achievable by dynamic hardware reconfiguration, proposes a more precise taxonomy for the execution mode...
134
click to vote
ECOOP
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Multiple Row Displacement (MRD) is a new dispatch technique for multi-method languages. It is based on compressing an n-dimensional table using an extension of the single...
120
click to vote
GLVLSI
1998
IEEE
15 years 8 months ago
1998
IEEE
Interval arithmetic provides an e cient method for monitoring and controlling errors in numerical calculations. However, existing software packages for interval arithmetic are oft...