440 search results - page 40 / 88 » A challenge for atomicity verification |
ISCAS
2007
IEEE
15 years 6 months ago
2007
IEEE
Experimental verification of noise models is one of the major challenges in noise modeling. A circuit-based noise characterization technique is introduced which uses phase noise me...
ISSS
2002
IEEE
15 years 4 months ago
2002
IEEE
Fast distributed cosimulation is a challenging problem for the embedded system design. The main theme of this paper is to increase simulation speed by reducing the frequency of in...
BVAI
2007
Springer
15 years 3 months ago
2007
Springer
Face recognition is among the most challenging techniques for personal identity verification. Even though it is so natural for humans, there are still many hidden mechanisms which ...
106
click to vote
DATE
2004
IEEE
15 years 3 months 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...
104
click to vote
ICTAC
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...