Bridging the Gap: Programming Sensor Networks with Application Specific Virtual Machines UCB//CSDPhilip Levis† , David Gay‡ , and David Culler† {pal,culler}@cs.berkeley.edu,

Source URL: csl.stanford.edu

• Computing
• Wireless sensor network
• Software
• System software
• TinyOS
• NesC
• Sensor node
• VM
• Concurrent computing
• Transmission Control Protocol
• Scheduling
• Communications protocol

TOSThreads Thread-Safe and Non-Invasive Preemption in TinyOS Kevin Klues, Chieh-Jan Liang, Jeongyeup Paek, Razvan Musaloiu-E, Philip Levis,

Source URL: sing.stanford.edu

An Implementation of Hierarchical Signal Processing on Wireless Sensor in TinyOS Environment Chris Otto, John P. Gober, Reggie W. McMurtrey, Aleksandar Milenković, Emil Jovanov Electrical and Computer Engineering Dept.

Source URL: www.ece.uah.edu

Interface Contracts for TinyOS Will Archer Philip Levis John Regehr

Source URL: www.cs.utah.edu

• Object-oriented programming
• TinyOS
• NesC
• Component-based software engineering
• Wireless sensor network
• Objective-C
• Interface
• Design by contract
• Kernel
• Software engineering
• Computing
• Computer programming

EECS 369 – Introduction to Sensor Networks Department of Electrical Engineering and Computer Science Spring 2015 INSTRUCTOR: Goce Trajcevski Office:

Source URL: www.ece.northwestern.edu

• Computing
• Telecommunications engineering
• TinyOS
• Sensor node
• Radio-frequency identification
• NesC
• Wireless mesh network
• Wireless sensor network
• Technology
• Wireless networking

Atomicity and Visibility in Tiny Embedded Systems John Regehr Nathan Cooprider University of Utah, School of Computing {regehr, coop}@cs.utah.edu Abstract

Source URL: www.cs.utah.edu

• Compiler construction
• Concurrency control
• Programming language implementation
• Memory barrier
• TinyOS
• Volatile variable
• Memory model
• NesC
• Atom
• Computing
• Software engineering
• Computer memory

Poster Abstract: TinyOS 2.1 Adding Threads and Memory Protection to TinyOS The TinyOS Alliance (Including all members of the TinyOS 2.x related working groups) http://www.tinyos.net/scoop/special/working_groups

Source URL: www.cs.utah.edu

T-Check: Bug Finding for Sensor Networks Peng Li John Regehr School of Computing, University of Utah, USA

Source URL: www.cs.utah.edu

• Data
• Software engineering
• Wireless sensor network
• NesC
• Model checking
• Stack
• Collection Tree Protocol
• Java Pathfinder
• Communications protocol
• Software bugs
• Computing
• TinyOS

Efficient Memory Safety for TinyOS Nathan Cooprider Will Archer Eric Eide

Source URL: www.cs.utah.edu

• Embedded operating systems
• Type theory
• Data types
• TinyOS
• Wireless sensor network
• NesC
• Procedural programming languages
• Type safety
• C
• Computing
• Software engineering
• Programming language theory