6437 search results - page 344 / 1288 » Parallel Algorithms for Arrangements |
134
click to vote
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 ...
119
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
click to vote
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 ...
129
click to vote
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 ...
140
click to vote
IEEECIT
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—In this paper, we propose efficient routing algorithms for collective communication in a newly proposed, versatile network, called a recursive dual-net (RDN). The RDN c...