557 search results - page 81 / 112 » Automatic Abstraction for Verification of Timed Circuits and... |
CONCUR
2010
Springer
14 years 10 months ago
2010
Springer
Many communication-centred systems today rely on asynchronous messaging among distributed peers to make efficient use of parallel execution and resource access. With such asynchron...
PAMI
2002
14 years 9 months ago
2002
Fingerprint identification is based on two basic premises: (i) persistence: the basic characteristics of fingerprints do not change with time; and (ii) individuality: the fingerpr...
MICCAI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper, we present a sensor guided ablation procedure of highly motile left atrium. It uses a system which automatically registers the 4D heart model with the posi...
FPL
2009
Springer
15 years 2 months ago
2009
Springer
Reconfigurable computing systems remain difficult to use and program. One way to increase design productivity for these systems is through reuse of previously developed and veri...
108
click to vote
TCAD
2010
14 years 4 months ago
2010
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...