Showing 2015Show all
2 papers · 1 filter
cs.SE2015
Efficient Large-scale Trace Checking Using MapReduce
Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi +2
The problem of checking a logged event trace against a temporal logic specification arises in many practical cases. Unfortunately, known algorithms for an expressive logic like MTL…
cs.DC2015
InstaCluster: Building A Big Data Cluster in Minutes
Giovanni Paolo Gibilisco, Srdan Krstic
Deploying, configuring, and managing large clusters is very a demanding and cumbersome task due to the complexity of such systems and the variety of skills needed. One needs to per…