4 ms·Pixie: An Operating System for Resource-Aware Programming of Sensor Networks1 points by fogus 13y ago