Back to Results
First PageMeta Content
Embedded operating systems / Type theory / Data types / TinyOS / Wireless sensor network / NesC / Procedural programming languages / Type safety / C / Computing / Software engineering / Programming language theory


Efficient Memory Safety for TinyOS Nathan Cooprider Will Archer Eric Eide
Add to Reading List

Document Date: 2007-09-04 14:24:04


Open Document

File Size: 350,01 KB

Share Result on Facebook

City

Sydney / /

Company

Application-Based Systems / Atmel / CVS / TinyOS 2 Core Working Group / /

Country

Australia / /

Currency

USD / /

/

Event

Product Issues / Labor Issues / /

Facility

TinyOS library / Intel University of Utah / /

IndustryTerm

false network / dependable software / baseline applications / unsafe applications / wireless sensor network devices / software platform / sensor network applications / cXprop tool / wireless sensor networks / smallest applications / command-line diagnostic tool / output device / real-time and embedded systems / energy / software defects / software faults / benchmark applications / sensor networks applications / energy consumption / sensor networks / toolchain tools / software bugs / sensor network software / optimized applications / sensor network software development / energy-constrained mote platforms / buggy applications / inefficient solution / tool / test applications / sensor network / /

OperatingSystem

TinyOS / /

Organization

University of Utah / School of Computing / ded / /

Person

John Regehr / Nathan Cooprider / Eric Eide David Gay / /

Position

General / programmer / Will Archer / /

Product

Safe TinyOS / Deputy / Avrora / nesC / Safe TinyOS system / cXprop tool / cXprop / manner / parts / software faults / /

ProgrammingLanguage

C / /

ProvinceOrState

TinyOS / /

Technology

8-bit processor / RAM / API / 2.3 Processor / Operating Systems / flash memory / ATmega128 processor / AVR processor / flash / /

SocialTag