Back to Results
First PageMeta Content
Data / Software engineering / Wireless sensor network / NesC / Model checking / Stack / Collection Tree Protocol / Java Pathfinder / Communications protocol / Software bugs / Computing / TinyOS


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

Document Date: 2010-02-23 00:15:15

Open Document

File Size: 1,24 MB

Share Result on Facebook

City

Stockholm / Portland / Cambridge / /

Company

Embedded Systems / CVS / T-Check / /

Country

Sweden / United States / /

Currency

USD / /

/

Facility

By building / University of Utah / /

IndustryTerm

volcano monitoring network / data mining techniques / data /

OperatingSystem

UNIX / TinyOS / /

Organization

National Science Foundation / Harvard / USA School of Computing / Sensor Networks Peng Li John Regehr School of Computing / University of Utah / /

Person

Eric Mercer / John Regehr / Adam Dunkels / Matthias Woehrle / Bastian Schlich / Sriram K. Rajamani / Philip Levis / Thomas Ball / Raimondas Sasnauskas / David Gay / Will Archer / Phil Levis / /

Position

driver / TinyOS scheduler / resource arbiter / head / arbiter / Validation General / /

Product

KleeNet / /

ProgrammingLanguage

Java / Python / T / /

ProvinceOrState

Massachusetts / /

Technology

transition algorithm / analog to digital converter / RAM / ADC / UNIX / CC2420 radio chip / SRAM / operating system / dissemination protocol / flash memory / Java / random walk algorithm / collection tree protocol / data mining / simulation / UART / /

SocialTag