Backwards-compatible array bounds checking for C with very low overhead.

Dinakar Dhurjati Vikram S. Adve

Published in: ICSE (2006)

Keyphrases

low overhead
high reliability
upper bound
load balancing
lower bound
energy efficient
scheduling algorithm
communication cost
shared memory
multi agent
wireless sensor networks
optimal solution
distributed systems
low dimensional
cost effective