6897 search results - page 405 / 1380 » Parallelization of Modular Algorithms |
154
click to vote
ALT
1997
Springer
15 years 7 months ago
1997
Springer
A pattern is a string of constant and variable symbols. The language generated by a pattern is the set of all strings of constant symbols which can be obtained from by substituti...
133
Voted
VLSID
2009
IEEE
16 years 4 months ago
2009
IEEE
We present the automatic test pattern generator TIGUAN based on a thread-parallel SAT solver. Due to a tight integration of the SAT engine into the ATPG algorithm and a carefully ...
118
click to vote
CRYPTO
1992
Springer
15 years 8 months ago
1992
Springer
Numerous cryptosystems have been designed to be secure under the assumption that the computation of discrete logarithms is infeasible. This paper reports on an aggressive attempt ...
120
Voted
ACL
2001
15 years 5 months ago
2001
While paraphrasing is critical both for interpretation and generation of natural language, current systems use manual or semi-automatic methods to collect paraphrases. We present ...
125
Voted
EUROSIM
1994
15 years 5 months ago
1994
: The Perfect benchmarks are a collection of scientific and engineering application-level programs that have been widely used to compare the performance of many different computer ...