1290 search results - page 173 / 258 » Data Dependence Testing in Practice |
DAC
2004
ACM
14 years 11 months ago
2004
ACM
Coverage analysis is used to monitor the quality of the verification process. Reports provided by coverage tools help users identify areas in the design that have not been adequat...
ICML
2007
IEEE
14 years 11 months ago
2007
IEEE
Given observed data and a collection of parameterized candidate models, a 1- confidence region in parameter space provides useful insight as to those models which are a good fit t...
ICSE
2008
IEEE-ACM
14 years 10 months ago
2008
IEEE-ACM
Several tools and methods for source code quality assurance based on static analysis finally reached a state when they are applicable in practice and recognized by the industry. H...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
— Gravity model used to model transport flow has proven invaluable in urban planning. Some recent work has proposed to use gravity model to predict user movements in cellular net...
HAPTICS
2006
IEEE
14 years 4 months ago
2006
IEEE
Biometric systems identify users based on behavioral or physiological characteristics. The advantages of such systems over traditional authentication methods such as passwords are...