968 search results - page 55 / 194 » A faster implementation of APlace |
160
click to vote
EUROCRYPT
2004
Springer
15 years 11 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...
179
click to vote
SAT
2004
Springer
15 years 11 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...
162
click to vote
DAC
1999
ACM
15 years 10 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...
164
Voted
ECOOP
1999
Springer
15 years 10 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...
145
click to vote
GLVLSI
1998
IEEE
15 years 10 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...