2467 search results - page 42 / 494 » Finite State Machines |
108
Voted
COMPSAC
1996
IEEE
15 years 4 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...
97
Voted
EURODAC
1994
IEEE
15 years 4 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 ...
130
Voted
ICTAI
1997
IEEE
15 years 4 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...
102
Voted
CONCUR
2004
Springer
15 years 4 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...
FATES
2006
Springer
15 years 4 months ago
2006
Springer
