18 search results - page 1 / 4 » flops 2006 |
FLOPS
2006
Springer
13 years 8 months ago
2006
Springer
FLOPS
2006
Springer
13 years 8 months ago
2006
Springer
FLOPS
2006
Springer
13 years 8 months ago
2006
Springer
FLOPS
2006
Springer
13 years 8 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...
CDES
2006
13 years 5 months ago
2006
We survey a set of flip-flops designed for low power and high performance. We highlight the basic features of these flip-flops and evaluate them based on timing characteristics, po...