Sciweavers

23 search results - page 4 / 5
» On applying non-classical defect models to automated diagnos...
Sort
View
IEAAIE
1999
Springer
13 years 10 months ago
New Directions in Debugging Hardware Designs
This paper introduces a new approach in the debugging of hardware designs. The design is given as a VHDL program and converted in a component connection model. The conversion is si...
Franz Wotawa
ICST
2009
IEEE
14 years 24 days ago
Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles
It is challenging to test applications and functions for which the correct output for arbitrary input cannot be known in advance, e.g. some computational science or machine learni...
Christian Murphy, Kuang Shen, Gail E. Kaiser
ASIAMS
2008
IEEE
13 years 6 months ago
A Noise Elimination Procedure for Printed Circuit Board Inspection System
Image difference operation is frequently used in automated printed circuit board (PCB) inspection system as well as in many other image processing applications. During the impleme...
Zuwairie Ibrahim, Noor Khafifah Khalid, Ismail Ibr...
AAAI
2011
12 years 6 months ago
Modeling and Monitoring Crop Disease in Developing Countries
Information about the spread of crop disease is vital in developing countries, and as a result the governments of such countries devote scarce resources to gathering such data. Un...
John Alexander Quinn, Kevin Leyton-Brown, Ernest M...
DATE
2003
IEEE
135views Hardware» more  DATE 2003»
13 years 11 months ago
Creating Value Through Test
Test is often seen as a necessary evil; it is a fact of life that ICs have manufacturing defects and those need to be filtered out by testing before the ICs are shipped to the cu...
Erik Jan Marinissen, Bart Vermeulen, Robert Madge,...