7421 search results - page 12 / 1485 » In search of dependable design |
TAP
2008
Springer
14 years 9 months ago
2008
Springer
JAMDS
2010
14 years 4 months ago
2010
FPL
2009
Springer
15 years 2 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 ...
VMCAI
2004
Springer
15 years 2 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...
ICCAD
2009
IEEE
14 years 7 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...