Flask: staged functional programming for sensor networks
No abstract available.
Related papers
- Scalaness/nesT: type specialized staged programming for sensor networks GPCE 2013
- State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction VMCAI 2013
- The nesC language: A holistic approach to networked embedded systems PLDI 2003
- Disens: scalable distributed sensor network simulation PPoPP 2007
- UCC: update-conscious compilation for energy efficiency in wireless sensor networks PLDI 2007
- Reliable and efficient programming abstractions for wireless sensor networks PLDI 2007
- Impala: a middleware system for managing autonomic, parallel sensor systems PPoPP 2003
- Scalable Polyhedral Verification of Recurrent Neural Networks CAV 2021