440 search results - page 23 / 88 » A challenge for atomicity verification |
CVPR
2009
IEEE
15 years 2 months ago
2009
IEEE
Face verification has many potential applications including
filtering and ranking image/video search results on
celebrities. Since these images/videos are taken under uncontrolle...
FM
2003
Springer
14 years 19 days ago
2003
Springer
With the steady increase in computational power of general purpose computers, our ability to analyze routine software artifacts is also steadily increasing. As a result, we are wit...
ASPDAC
2010
ACM
13 years 5 months ago
2010
ACM
Managing long verification error traces is one of the key challenges of automated debugging engines. Today, debuggers rely on the iterative logic array to model sequential behavior...
IAW
2003
IEEE
14 years 21 days ago
2003
IEEE
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
FLAIRS
2009
13 years 5 months ago
2009
Recently, the development of distributed knowledge systems has become more attractive due to the existence of new social semantic applications such as semantic knowledge wikis. Us...