Skip to main content

Advances, Systems and Applications

Journal of Cloud Computing Cover Image

Table 4 Average running time in microseconds per event for each property and each tool

From: MapReduce for parallel trace validation of LTL properties

Tool P1 P2 P3 P4
BeepBeep 15,788 6,332 0.2 31
MrSim (sequential) 1.9 3.6 10.4 335
Hadoop cluster 44 96 243 4,694
MrSim (multi-thread) 73 138 433 5,734
MrSim (predicted) 1.9 3.3 2.0 10