Sciweavers

33 search results - page 2 / 7
» cap 2010
Sort
View
CAP
2010
12 years 11 months ago
A high-performance algorithm for calculating cyclotomic polynomials
The nth cyclotomic polynomial, n(z), is the monic polynomial whose (n) distinct roots are the nth primitive roots of unity. n(z) can be computed efficiently as a quotient of terms...
Andrew Arnold, Michael B. Monagan
CCS
2010
ACM
13 years 2 months ago
Cap unification: application to protocol security modulo homomorphic encryption
We address the insecurity problem for cryptographic protocols, for an active intruder and a bounded number of sessions. The protocol steps are modeled as rigid Horn clauses, and t...
Siva Anantharaman, Hai Lin, Christopher Lynch, Pal...
SIAMDM
2010
92views more  SIAMDM 2010»
13 years 3 months ago
1-Saturating Sets, Caps, and Doubling-Critical Sets in Binary Spaces
David J. Grynkiewicz, Vsevolod F. Lev
CAP
2010
12 years 11 months ago
Polynomial homotopies on multicore workstations
Homotopy continuation methods to solve polynomial systems scale very well on parallel machines. In this paper we examine its parallel implementation on multiprocessor multicore wo...
Jan Verschelde, Genady Yoffe