849 search results - page 3 / 170 » A survey of state vectors |
DAGSTUHL
1998
14 years 11 months ago
1998
ATS
2000
IEEE
15 years 2 months ago
2000
IEEE
We present a new test generation procedure for sequential circuits using newly traversed state and newly detected fault information obtained between successive iterations of vecto...
92
Voted
SIGKDD
2010
14 years 4 months ago
2010
Sequence classification has a broad range of applications such as genomic analysis, information retrieval, health informatics, finance, and abnormal detection. Different from the ...
ASPDAC
2005
ACM
15 years 3 months ago
2005
ACM
- This paper extends the depth first search (DFS) used in the previously proposed witness string method for generating efficient test vectors. A state pruning method is added that ...
ICALP
2010
Springer
15 years 2 months ago
2010
Springer
We consider two-player turn-based games with zero-reachability and zero-safety objectives generated by extended vector addition systems with states. Although the problem of decidin...