Login / Signup
Continuous, Low Overhead, Run-Time Validation of Program Executions.
Erdem Aktas
Furat Afram
Kanad Ghose
Published in:
MICRO (2014)
Keyphrases
</>
low overhead
high reliability
load balancing
communication cost
energy efficient
shared memory
scheduling algorithm
execution paths
wireless sensor networks
higher order
test cases