313 search results - page 15 / 63 » Error Correction Based on Verification Techniques |
ICDM
2007
IEEE
15 years 4 months ago
2007
IEEE
Manufacturing process development is under constant pressure to achieve a good yield for stable processes. The development of new technologies, especially in the field of photoma...
IJFCS
2008
14 years 9 months ago
2008
Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...
ITC
2003
IEEE
15 years 2 months ago
2003
IEEE
Deliberate injection of faults into cryptographic devices is an effective cryptanalysis technique against symmetric and asymmetric encryption. We will describe a general concurren...
ICMCS
1999
IEEE
15 years 1 months ago
1999
IEEE
With the growing popularity of the Internet, there is increasing interest in using it for audio and video transmission. Periodic network overloads, leading to bursty packet losses...
FMCAD
2008
Springer
14 years 11 months ago
2008
Springer
Automatic techniques for software verification focus on obtaining witnesses of program failure. Such counterexamples often fail to localize the precise cause of an error and usuall...