Login / Signup
A novel simulation-based verification pattern for parallel executions in the cloud.
Ralph Weissnegger
Markus Schuß
Martin Schachner
Kay Römer
Christian Steger
Markus Pistauer
Published in:
EuroPLoP (2016)
Keyphrases
</>
pattern matching
cloud computing
model checking
parallel processing
map reduce
parallel implementation
formal methods
pattern detection
real time
neural network
genetic algorithm
e learning
query processing
data center
shared memory
parallel programming