13553 search results - page 2295 / 2711 » A Generalized Multi-View Approach |
182
click to vote
IPPS
2005
IEEE
15 years 12 months ago
2005
IEEE
— We consider a dense wireless sensor network where the radio transceivers of the sensor nodes are heavily duty-cycled in order to conserve energy. The chief purpose of the senso...
185
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. Two common kinds of concurrency errors are data races and atomicity violation...
192
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
153
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
Software debugging is the process of locating and correcting faulty code. Prior techniques to locate faulty code either use program analysis techniques such as backward dynamic pr...
180
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
Intrusion detection systems are distributed applications that analyze the events in a networked system to identify malicious behavior. The analysis is performed using a number of ...