3820 search results - page 55 / 764 » Bounded Model Debugging |
DATE
2003
IEEE
14 years 3 months ago
2003
IEEE
: Binary Decision Diagrams (BDDs) have been widely used in synthesis and verification. Boolean Satisfiability (SAT) Solvers, on the other hand, have been gaining
CHARME
2003
Springer
14 years 3 months ago
2003
Springer
ICANN
2003
Springer
14 years 3 months ago
2003
Springer
EDCC
2010
Springer
14 years 2 months ago
2010
Springer
CRYPTO
2001
Springer
14 years 2 months ago
2001
Springer
Building on a previous important work of Cachin, Cr´epeau, and Marcil [15], we present a provably secure and more efficient protocol for 2 1 -Oblivious Transfer with a storage-bou...