Login / Signup
Speculative Program Parallelization with Scalable and Decentralized Runtime Verification.
Aravind Sukumaran-Rajam
Juan Manuel Martinez Caamaño
Willy Wolff
Alexandra Jimborean
Philippe Clauss
Published in:
RV (2014)
Keyphrases
</>
symbolic execution
cooperative
peer to peer
model checking
computer programs
coarse grained
static analysis
hardware designs
web scale
neural network
programming environment
face verification
shared memory
distributed memory
program execution
control program
distributed systems
multi agent