MapReduce for Parallel Trace Validation of LTL Properties.
Benjamin BarreMathieu KleinMaxime Soucy-BoivinPierre-Antoine OllivierSylvain HalléPublished in: RV (2012)
Keyphrases
- parallel processing
- high performance data mining
- parallel computing
- data sets
- data parallelism
- distributed processing
- neural network
- parallel programming
- temporal logic
- model checking
- massively parallel
- high performance computing
- parallel computation
- topological properties
- map reduce
- learning algorithm
- linear temporal logic
- information retrieval