2467 search results - page 50 / 494 » Finite State Machines |
101
Voted
SIAMCO
2010
14 years 7 months ago
2010
Abstract. This paper studies a class of non-Markovian and nonhomogeneous stochastic processes on a finite state space. Relying on a recent paper by Bena
79
Voted
ACMIDC
2009
15 years 4 months ago
2009
CONCUR
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We unify a view on three extensions of Process Rewrite Systems (PRS) and compare their expressive power with that of PRS. We show that the class of Petri nets is less exp...
ICSE
2003
IEEE-ACM
16 years 18 days ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
97
Voted
DCC
2004
IEEE
16 years 3 days ago
2004
IEEE
A d-feedback-with-carry shift register (d-FCSR) is a finite state machine, similar to a linear feedback shift register, in which a small amount of memory and a delay (by d-clock c...