7429 search results - page 532 / 1486 » Embedded System Update |
179
click to vote
VMCAI
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
213
click to vote
IBERAMIA
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. The success of a case-based reasoning system depends critically on the relevance of the case base. Much current CBR research focuses on how to compact and refine the con...
187
click to vote
GLOBECOM
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract--In communication systems where full-duplex transmission is required, digital echo cancellers are employed to cancel echo by means of adaptive filtering. In order to reduc...
203
click to vote
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, an adaptive soft handoff algorithm, which dynamically calculates the threshold values for soft handoff based on the received signal strength, is proposed for mobile ...
190
click to vote
ICECCS
1995
IEEE
15 years 10 months ago
1995
IEEE
Achieving fault-tolerance using a primary-backup approach involves overhead of recovery such as activating the backup and propagating execution states, which may a ect the timelin...