416 search results - page 16 / 84 » Correcting a Space-Efficient Simulation Algorithm |
EVOW
1999
Springer
13 years 11 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...
ICC
2007
IEEE
14 years 1 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...
ICDE
2005
IEEE
14 years 8 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...
JCP
2006
13 years 7 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
14 years 18 days 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...