1795 search results - page 152 / 359 » On the Complexity of Circuit Satisfiability |
CAV
2008
Springer
13 years 11 months ago
2008
Springer
This paper proposes a new approach for proving arithmetic correctness of data paths in System-on-Chip modules. It complements existing techniques which are, for reasons of complexi...
INTEGRATION
2008
13 years 9 months ago
2008
In this paper an efficient algorithm for the synthesis and exact minimization of ESCT(Exclusive or Sum of Complex Terms) expressions for Boolean functions of at most six variables...
JUCS
2000
13 years 8 months ago
2000
: Studying the architectural evolution of mainstream field programmable gate arrays (FPGAs) leads to the following remark: in these circuits, the proportion of silicon devoted to r...
IWSEC
2010
Springer
13 years 6 months ago
2010
Springer
This paper presents efficient secure auction protocols for first price auction and second price auction. Previous auction protocols are based on a generally secure multi-party prot...
ICPR
2006
IEEE
14 years 10 months ago
2006
IEEE
This paper presents a methodology for semantic understanding of complex and continued human activities. A context-free grammar (CFG) based representation scheme developed earlier ...