7825 search results - page 171 / 1565 » Physics |
129
click to vote
AAAI
1994
15 years 5 months ago
1994
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...
SPRINGSIM
2007
15 years 5 months ago
2007
137
click to vote
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
In the early 1920s, Pavel Urysohn proved his famous lemma (sometimes referred to as "first non-trivial result of point set topology"). Among other applications, this lemm...
131
click to vote
CIIA
2009
15 years 5 months ago
2009
In this paper, we present a new synthesis feature namely, "Xor matching", and the foldback product term synthesis for Complex Programmable Logic Devices (CPLD) architectu...