7421 search results - page 12 / 1485 » In search of dependable design |
JAMDS
2010
14 years 11 months ago
2010
124
click to vote
FPL
2009
Springer
15 years 9 months ago
2009
Springer
This paper presents a reconfigurable processor designed to execute user-defined block-matching motion estimation algorithms, and a toolset for the design of such algorithms and ...
118
click to vote
VMCAI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper presents history-dependent scheduling, a new technique for reducing the search space in the verification of cryptographic protocols. This technique allows the...
168
click to vote
ICCAD
2009
IEEE
15 years 2 months ago
2009
IEEE
Computational protein design can be formulated as an optimization problem, where the objective is to identify the sequence of amino acids that minimizes the energy of a given prot...