1433 search results - page 27 / 287 » An approach to detecting failures automatically |
HT
2010
ACM
13 years 7 months ago
2010
ACM
This paper describes a new approach towards detecting plagiarism and scientific documents that have been read but not cited. In contrast to existing approaches, which analyze docu...
FGR
2006
IEEE
14 years 3 months ago
2006
IEEE
We describe an accurate and robust method of locating facial features. The method utilises a set of feature templates in conjunction with a shape constrained search technique. The...
ASPLOS
2009
ACM
14 years 10 months ago
2009
ACM
Software defects, commonly known as bugs, present a serious challenge for system reliability and dependability. Once a program failure is observed, the debugging activities to loc...
EUROPAR
2005
Springer
14 years 3 months ago
2005
Springer
Scientists are increasingly using large distributed systems built from commodity off-the-shelf components to perform scientific computation. Grid computing has expanded the scale ...
ASPDAC
2004
ACM
14 years 1 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...