5608 search results - page 43 / 1122 » On the Theory of Matchgate Computations |
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
CIE
2007
Springer
15 years 7 months ago
2007
Springer
CIE
2005
Springer
15 years 7 months ago
2005
Springer
WDAG
2001
Springer
15 years 5 months ago
2001
Springer
We generalize the notion of slice introduced in our earlier paper [6]. A slice of a distributed computation with respect to a global predicate is the smallest computation that cont...
102
click to vote
FLOPS
2006
Springer
15 years 5 months ago
2006
Springer
Pocklington certificates are known to provide short proofs of primality. We show how to perform this in the framework of formal, mechanically checked, proofs. We present an encodin...