Login / Signup

Efficient parallel derivation of short distinguishing sequences for nondeterministic finite state machines using MapReduce.

Bilal ElghadyryFaissal OuardiZineb LotfiSébastien Vérel
Published in: J. Big Data (2021)
Keyphrases
  • finite state machines
  • hidden markov models
  • parallel processing
  • finite state automata
  • parallel execution
  • domain specific
  • building blocks
  • model checking
  • regular expressions
  • high performance data mining