2467 search results - page 42 / 494 » Finite State Machines |
157
click to vote
COMPSAC
1996
IEEE
15 years 9 months ago
1996
IEEE
This paper discusses how conventional testing criteria such as branch coverage can be applied for the testing of member functions inside a class. To support such testing technique...
131
click to vote
EURODAC
1994
IEEE
15 years 9 months ago
1994
IEEE
Symbolic state space exploration techniques for Finite State Machines (FSMs) are a major recent result in CAD for VLSI. Most of them are exact and based on forward traversal, but ...
170
click to vote
ICTAI
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper proposes an optimization algorithm for reducing the power dissipation in a sequential circuit. The encoding of the different states in a Finite State Machine is modifie...
147
click to vote
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
We introduce a generic family of behavioral relations for which the problem of comparing an arbitrary transition system to some finite-state specification can be reduced to a model...
