GFE - Graphical Finite State Machine Editor for Parallel Execution.

David Obdrzálek Jan Benda

Published in: ICEC (2007)

Keyphrases

finite state machines
parallel execution
data partitioning
model checking
parallel processing
cost model
parallel computing
query execution
efficient execution
query processing
databases
regular expressions
massively parallel
shared memory
clustering algorithm