Search Sciweavers | Sciweavers

1343 search results - page 18 / 269

» Coverage by directional sensors

click to vote

DAC
2003
ACM

165views Computer Architecture» more DAC 2003»

Coverage directed test generation for functional verification using bayesian networks

14 years 10 months ago

Download www.research.ibm.com

Functional verification is widely acknowledged as the bottleneck in the hardware design cycle. This paper addresses one of the main challenges of simulation based verification (or...

Shai Fine, Avi Ziv

claim paper

Read More »

click to vote

SUTC
2006
IEEE

112views Sensor Networks» more SUTC 2006»

Detecting the Direction of Motion in a Binary Sensor Network

14 years 3 months ago

Download www.comp.nus.edu.sg

We examine the problem of detecting the direction of motion in a binary sensor network; in such a network each sensor’s value is supplied reliably in a single bit of information...

Panagiotis Karras, Nikos Mamoulis

claim paper

Read More »

click to vote

INTERSENSE
2006
ACM

166views Sensor Networks» more INTERSENSE 2006»

Location-free fault repair in hybrid sensor networks

14 years 3 months ago

Download www.cse.unsw.edu.au

— In this paper, we consider the sensor replacement problem in hybrid wireless sensor networks composed of mobile and static sensors. Mobility equipped mobile sensors are utilize...

Tuan D. Le, Nadeem Ahmed, Sanjay Jha

claim paper

Read More »

click to vote

FM
2001
Springer

101views Formal Methods» more FM 2001»

Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System

14 years 1 months ago