816 search results - page 17 / 164 » Automating Verification by Functional Abstraction at the Sys... |
INFORMATICALT
2008
13 years 9 months ago
2008
Abstract. This paper presents a bimodal biometric verification system based on the fusion of palmprint and face features at the matching-score level. The system combines a new appr...
DATE
2004
IEEE
14 years 22 days ago
2004
IEEE
Functional verification is widely acknowledged as a major bottleneck in microprocessor design. While early work on specification driven functional test program generation has prop...
CAV
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...
CSL
2006
Springer
14 years 21 days ago
2006
Springer
In a previous work we introduced Dual Light Affine Logic (DLAL) ([BT04]) as a variant of Light Linear Logic suitable for guaranteeing complexity properties on lambda-calculus terms...
ISSS
2002
IEEE
14 years 1 months ago
2002
IEEE
We have fabricated a Chip Multiprocessor prototype code-named Merlot to proof our novel speculative multithreading architecture. On Merlot, multiple threads provide wider issue wi...