Search Sciweavers | Sciweavers

3 search results - page 1 / 1

» T-check: bug finding for sensor networks

167

click to vote

IPSN
2010
Springer

402views Sensor Networks» more IPSN 2010»

T-check: bug finding for sensor networks

15 years 8 months ago

Download www.cs.utah.edu

Peng Li, John Regehr

claim paper

Read More »

Voted

SENSYS
2010
ACM

147views Sensor Networks» more SENSYS 2010»

Integrating symbolic execution with sensornet simulation for efficient bug finding

14 years 11 months ago

Download www.comsys.rwth-aachen.de

Fredrik Österlind, Adam Dunkels, Raimondas Sa...

claim paper

Read More »

106

Voted

DCOSS
2009
Springer

106views Distributed And Parallel Com...» more DCOSS 2009»

Finding Symbolic Bug Patterns in Sensor Networks

15 years 7 months ago

Download www.cs.uiuc.edu

Abstract. This paper presents a failure diagnosis algorithm for summarizing and generalizing patterns that lead to instances of anomalous behavior in sensor networks. Often multipl...

Mohammad Maifi Hasan Khan, Tarek F. Abdelzaher, Ji...

claim paper

Read More »

« Prev « First page 1 / 1 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers