ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
On Using Speed as the Criteria of State Selection for Minimization of Finite State Machines
Computer Information Systems and Industrial Management - Lecture Notes in Computer Science
◽
10.1007/978-3-319-45378-1_44
◽
2016
◽
pp. 493-503
Author(s):
Adam Klimowicz
Keyword(s):
Finite State Machines
◽
State Machines
◽
Finite State
◽
Selection For
◽
State Selection
Download Full-text
Related Documents
Cited By
References
Test Selection for Hierarchical and Communicating Finite State Machines
The Computer Journal
◽
10.1093/comjnl/bxn027
◽
2008
◽
Vol 52
(3)
◽
pp. 334-347
◽
Cited By ~ 4
Author(s):
F. Ipate
Keyword(s):
Finite State Machines
◽
State Machines
◽
Test Selection
◽
Finite State
◽
Selection For
Download Full-text
Entropy-driven parity-tree selection for low-overhead concurrent error detection in finite state machines
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
◽
10.1109/tcad.2005.855933
◽
2006
◽
Vol 25
(8)
◽
pp. 1547-1554
◽
Cited By ~ 20
Author(s):
S. Almukhaizim
◽
P. Drineas
◽
Y. Makris
Keyword(s):
Error Detection
◽
Finite State Machines
◽
Concurrent Error Detection
◽
State Machines
◽
Finite State
◽
Selection For
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
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close