1943 search results - page 35 / 389 » End-to-End Integration Testing |
ICCAD
2001
IEEE
15 years 9 months ago
2001
IEEE
1 We propose an integrated technique for extensive optimization of the final test solution for System-on-Chip using Simulated Annealing. The produced results from the technique ar...
ASPDAC
2008
ACM
15 years 2 months ago
2008
ACM
This paper introduces GECOM technology, a novel test compression method with seamless integration of test GE
105
Voted
JAR
2006
15 years 13 days ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
ISSAC
1995
Springer
15 years 4 months ago
1995
Springer
We present an efficient algorithm for testing whether a given integral polynomial has two distinct roots a, B such that fflp is a root of unity. The test is based on results obtai...
ICML
2007
IEEE
16 years 1 months ago
2007
IEEE
We address classification problems for which the training instances are governed by a distribution that is allowed to differ arbitrarily from the test distribution--problems also ...