Integrated Modeling using Finite State Machines and Dataflow Graphs

Handbook of Signal Processing Systems ◽

10.1007/978-1-4419-6345-1_36 ◽

2010 ◽

pp. 1041-1075 ◽

Cited By ~ 4

Author(s):

Joachim Falk ◽

Joachim Keinert ◽

Christian Haubelt ◽

Jürgen Teich ◽

Christian Zebelein

Keyword(s):

Finite State Machines ◽

Integrated Modeling ◽

State Machines ◽

Dataflow Graphs ◽

Finite State

Download Full-text

Integrated Modeling Using Finite State Machines and Dataflow Graphs

Handbook of Signal Processing Systems ◽

10.1007/978-3-319-91734-4_23 ◽

2018 ◽

pp. 825-864 ◽

Cited By ~ 1

Author(s):

Joachim Falk ◽

Kai Neubauer ◽

Christian Haubelt ◽

Christian Zebelein ◽

Jürgen Teich

Keyword(s):

Finite State Machines ◽

Integrated Modeling ◽

State Machines ◽

Dataflow Graphs ◽

Finite State

Download Full-text

Integrated Modeling Using Finite State Machines and Dataflow Graphs

Handbook of Signal Processing Systems ◽

10.1007/978-1-4614-6859-2_30 ◽

2013 ◽

pp. 975-1013 ◽

Cited By ~ 9

Author(s):

Joachim Falk ◽

Christian Haubelt ◽

Christian Zebelein ◽

Jürgen Teich

Keyword(s):

Finite State Machines ◽

Integrated Modeling ◽

State Machines ◽

Dataflow Graphs ◽

Finite State

Download Full-text

An efficient heuristic for state encoding minimizing the BDD representations of the transition relations of finite state machines

Proceedings 2000. Design Automation Conference. (IEEE Cat. No.00CH37106) ◽

10.1109/aspdac.2000.835071 ◽

2002 ◽

Cited By ~ 1

Author(s):

R. Forth ◽

P. Molitor

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State ◽

State Encoding

Download Full-text

Combining SIMD and Many/Multi-core Parallelism for Finite-state Machines with Enumerative Speculation

ACM Transactions on Parallel Computing ◽

10.1145/3399714 ◽

2020 ◽

Vol 7 (3) ◽

pp. 1-26

Author(s):

Peng Jiang ◽

Yang Xia ◽

Gagan Agrawal

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State

Download Full-text

The process of automated knowledge control among technological installations operators modeling using finite-state machines

10.1063/5.0060506 ◽

2021 ◽

Author(s):

Ivan S. Polevshchikov ◽

Elizaveta B. Krokha

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State ◽

Automated Knowledge

Download Full-text

Decidability of a class of dual communicating finite state machines

ACM SIGOPS Operating Systems Review ◽

10.1145/230908.230920 ◽

1996 ◽

Vol 30 (3) ◽

pp. 59-66

Author(s):

H. Mountassir

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State

Download Full-text

Assessing test suites of extended finite state machines against model‐ and code‐based faults

Software Testing Verification and Reliability ◽

10.1002/stvr.1789 ◽

2021 ◽

Author(s):

K. El‐Fakih ◽

Ayman Alzaatreh ◽

Uraz Cengiz Türker

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State ◽

Extended Finite State Machines ◽

Test Suites

Download Full-text

The Design of Finite-State Machines for Quantization Using Simulated Annealing

Proceedings. IEEE International Symposium on Information Theory ◽

10.1109/isit.1993.748759 ◽

2005 ◽

Cited By ~ 1

Author(s):

E.E. Kuruoglu ◽

E. Ayanoglu

Keyword(s):

Simulated Annealing ◽

Finite State Machines ◽

State Machines ◽

Finite State

Download Full-text

A technique for proving liveness of communicating finite state machines with examples

Proceedings of the third annual ACM symposium on Principles of distributed computing - PODC '84 ◽

10.1145/800222.806734 ◽

1984 ◽

Cited By ~ 8

Author(s):

M. G. Gouda ◽

C. K. Chang

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State

Download Full-text

On the class of L*-language formulas that specify finite-memory finite-state machines

Cybernetics and Systems Analysis ◽

10.1007/s10559-010-9177-2 ◽

2010 ◽

Vol 46 (1) ◽

pp. 1-6 ◽

Cited By ~ 3

Author(s):

A. N. Chebotarev

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State ◽

Finite Memory

Download Full-text