Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce.

Domenico Bianculli Carlo Ghezzi Srdan Krstic

Published in: SEFM (2014)

Keyphrases

metric temporal logic
high performance data mining
cloud computing
distributed processing
parallel processing
database
data intensive
neural network
data mining
relational databases
parallel computing
consistency checking