Parallel algorithms for reducing derivation time of distinguishing experiments for nondeterministic finite state machines.
Khaled El-FakihGerassimos D. BarlasMustafa AliNina YevtushenkoPublished in: Int. J. Parallel Emergent Distributed Syst. (2018)
Keyphrases
- parallel algorithm
- finite state machines
- finite state automata
- model checking
- parallel computation
- shared memory
- parallel programming
- pc cluster
- combinatorial search problems
- cluster of workstations
- discovery of association rules
- regular expressions
- hidden markov models
- parallel computers
- parallel implementations
- design patterns
- parallel version
- data management
- general purpose
- processor array
- real time