571 search results - page 8 / 115 » A Case Study in Parallel Verification of Component-Based Sys... |
FLAIRS
2000
13 years 9 months ago
2000
To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. We study this question using a prominent e...
ICIAP
2005
ACM
14 years 7 months ago
2005
ACM
Abstract. Combining different algorithms submitted to the Third International Fingerprint Verification Competition (FVC2004) is studied. For this work, the matching results of more...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
HPCC
2005
Springer
14 years 1 months ago
2005
Springer
DATE
2003
IEEE
14 years 1 months ago
2003
IEEE
The design of high performance multimedia systems in a short time force us to use IP's blocks in many designs. However, their correct integration in a design implies more com...