Sciweavers

3779 search results - page 81 / 756
» Linear Consistency Testing
Sort
View
MCS
2007
Springer
14 years 10 months ago
Nonlinearity from linearity: The Ermakov-Pinney equation revisited
In this short note, we revisit the so-called Ermakov–Pinney (EP) equation viewing its properties from a physically motivated perspective. We discuss its ties with the Schr¨odin...
Panayotis G. Kevrekidis, Yannis Drossinos
DDECS
2007
IEEE
86views Hardware» more  DDECS 2007»
15 years 4 months ago
Design and Analysis of a New Self-Testing Adder which Utilizes Polymorphic Gates
— This paper describes a new self-testing 1-bit full adder. This circuit consists of three polymorphic NAND/NOR gates, two XOR gates and two inverters. The adder is able to detec...
Lukás Sekanina
SFP
2003
14 years 11 months ago
Testing Scheme programming assignments automatically
Abstract In distance learning the lack of direct communication between teachers and learners makes it difficult to provide direct assistance to students while they are solving the...
Manfred Widera
ICST
2008
IEEE
15 years 4 months ago
Designing and Building a Software Test Organization
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
Bruce Benton
ICCD
2003
IEEE
109views Hardware» more  ICCD 2003»
15 years 7 months ago
Independent Test Sequence Compaction through Integer Programming
We discuss the compaction of independent test sequences for sequential circuits. Our first contribution is the formulation of this problem as an integer program, which we then so...
Petros Drineas, Yiorgos Makris