15614 search results - page 26 / 3123 » The State of State |
ICCAD
1999
IEEE
13 years 11 months ago
1999
IEEE
In this paper, an internal design model called FunState (functions driven by state machines) is presented that enables the representation of different types of system components a...
ACRI
2006
Springer
14 years 1 months ago
2006
Springer
The goal of our investigation is to find automatically the absolutely best rule for a moving creature in a cellular field. The task of the creature is to visit all empty cells wi...
TIT
1998
13 years 7 months ago
1998
—To estimate the convolutional encoder state from received data, one may use the inverse to the encoder G. However, channel errors make this method unreliable. We propose a metho...
FM
2001
Springer
14 years 18 hour ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking many distributed systems. Timestamps are often ...
IJFCS
2008
13 years 7 months ago
2008
The conventional forbidden state problem for discrete event systems is concerned with the issue of synthesizing a maximally permissive control policy to prevent a discrete event s...