106 search results - page 15 / 22 » Automated data analysis solutions to silicon debug |
CICLING
2007
Springer
14 years 27 days ago
2007
Springer
The present paper describes how dependency analysis can be used to automatically extract from a corpus a set of cases - and an accompanying vocabulary - which enable a template-bas...
GIS
1995
ACM
13 years 10 months ago
1995
ACM
: Usually spatial planning problems involve a large number of decision makers with different backgrounds and interests. The process of Collaborative Spatial Decision Making (CSDM)...
ISSTA
2009
ACM
14 years 1 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
SP
2006
IEEE
14 years 22 days ago
2006
IEEE
The number and the importance of Web applications have increased rapidly over the last years. At the same time, the quantity and impact of security vulnerabilities in such applica...
ISVC
2010
Springer
13 years 5 months ago
2010
Springer
We consider the problem of developing an automated visual solution for detecting human activities within industrial environments. This has been performed using an overhead view. Th...