1290 search results - page 3 / 258 » Data Dependence Testing in Practice |
DSD
2010
IEEE
13 years 7 months ago
2010
IEEE
—Periodic on-chip scan-based tests have to be applied to a many-core processor SoC to improve its dependability. An infrastructural IP module has been designed and incorporated i...
AFP
2004
Springer
14 years 28 days ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— In this paper, we further illustrate the versatility and effectiveness of our novel tests for ensuring safe adaptive control in practice. The tests utilize a limited amount of ...
PTS
2007
13 years 9 months ago
2007
: The success and the acceptance of intrusion detection systems essentially depend on the accuracy of their analysis. Inaccurate signatures strongly trigger false alarms. In practi...
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...