416 search results - page 16 / 84 » Correcting a Space-Efficient Simulation Algorithm |
EVOW
1999
Springer
15 years 4 months ago
1999
Springer
This paper describes a new approximate approach for checking the correctness of the implementation of a protocol interface, comparing its lowlevel implementation with its high-leve...
125
click to vote
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
— A crucial problem in ad hoc networks is finding an efficient and correct route between a source and a destination; however for many networks, a more important problem is prov...
171
Voted
ICDE
2005
IEEE
16 years 1 months ago
2005
IEEE
Stream-processing systems are designed to support an emerging class of applications that require sophisticated and timely processing of high-volume data streams, often originating...
100
click to vote
JCP
2006
14 years 11 months ago
2006
In this paper, we describe a novel localization algorithm for ad hoc wireless sensor networks. Accurate selforganization and localization capability is a highly desirable character...
ISCAS
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper an active noise control (ANC) algorithm is proposed. This algorithm is based on adaptive filtering with averaging (AFA) and uses a similar structure as that of the F...