Multiprogramming a 64kB Computer Safely and Efficiently
mate : a tiny virtual machine for sensor networks .