Login / Signup

Continuous, Low Overhead, Run-Time Validation of Program Executions.

Erdem AktasFurat AframKanad 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