6142 search results - page 775 / 1229 » The Complexity of Partition Functions |
163
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We present VS3 , a tool that automatically verifies complex properties of programs and infers maximally weak preconditions and maximally strong postconditions by leveraging the pow...
182
click to vote
TCC
2009
Springer
16 years 7 months ago
2009
Springer
We present a compiler for transforming an oblivious transfer (OT) protocol secure against an adaptive semi-honest adversary into one that is secure against an adaptive malicious ad...
174
click to vote
KDD
2008
ACM
16 years 7 months ago
2008
ACM
Classic mixture models assume that the prevalence of the various mixture components is fixed and does not vary over time. This presents problems for applications where the goal is...
149
click to vote
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
This paper is an attempt to answer the following question: how much improvement can be obtained in logic decomposition by using Boolean divisors? Traditionally, the existence of t...
190
click to vote
VLSID
2003
IEEE
16 years 7 months ago
2003
IEEE
The design of modern complex embedded systems require a high level of abstraction of the design. The SimnML[1] is a specification language to model processors for such designs. Se...