3779 search results - page 86 / 756 » Linear Consistency Testing |
DATE
1997
IEEE
15 years 1 months ago
1997
IEEE
A new method for state justi cation is proposed for sequential circuit test generation. The linear list of states dynamically obtained during the derivation of test vectors is use...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. The group isomorphism problem asks whether two given groups are isomorphic or not. Whereas the case where both groups are abelian is well understood and can be solved eff...
FATES
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents a method for reducing the cost of test generation. A spanning set for a coverage criterion is a set of entities such that exercising every entity in the spannin...
CSDA
2010
14 years 10 months ago
2010
Linear regression models for de facto exchange rate regime classification are complemented by inferential techniques for evaluating the stability of the regimes. To simultaneously...
CORR
2009
Springer
14 years 7 months ago
2009
Springer
The minimal deterministic finite automaton is generally used to determine regular languages equality. Using Brzozowski's notion of derivative, Antimirov and Mosses proposed a...