3779 search results - page 106 / 756 » Linear Consistency Testing |
127
click to vote
CSL
1997
Springer
15 years 7 months ago
1997
Springer
We present a complete axiomatization of test algebra ( 24, 18, 29]), the two-sorted algebraic variant of Propositional Dynamic Logic (PDL, 21, 7]). The axiomatization consists of ...
DDECS
2007
IEEE
15 years 9 months ago
2007
IEEE
: In this paper we study Complex Read Faults in SRAMs, a combination of various malfunctions that affect the read operation in nanoscale memories. All the memory elements involved ...
121
click to vote
CSEE
2007
Springer
15 years 9 months ago
2007
Springer
Many university classes and commercial training courses rely on classroom lecture and practice exercises to help students learn new skills. The thesis work described in this paper...
109
click to vote
IJCNN
2006
IEEE
15 years 9 months ago
2006
IEEE
—Two approaches to building models for prediction of the onset of Type 1 diabetes mellitus in juvenile subjects were examined. A set of tests performed immediately before diagnos...
ITC
2000
IEEE
15 years 7 months ago
2000
IEEE
An area efficient and robust integrated test core for mixed-signal circuits is described. The core consists of a completely digital implementation, except for a simple reconstructi...