571 search results - page 80 / 115 » A Case Study in Parallel Verification of Component-Based Sys... |
ICDCSW
2005
IEEE
15 years 7 months ago
2005
IEEE
Although a self-stabilizing system that suffers from a transient fault is guaranteed to converge to a legitimate state after a finite number of steps, the convergence can be slow ...
103
click to vote
MATA
2004
Springer
15 years 7 months ago
2004
Springer
Although inexpensive, high performance computer graphics hardware has become commonly available, its application in the mobile agent and networking fields has thus far been limite...
108
click to vote
WSC
2007
15 years 4 months ago
2007
Agility, speed and flexibility in production networks are required in today's global competition in the flat world. The accuracy of order date delivery promises is a key elem...
124
click to vote
GLOBECOM
2010
IEEE
14 years 12 months ago
2010
IEEE
In this paper we formulate a power loading problem for the spatial subchannels (parallel channels) of a single-carrier MIMO-SVD system. The power loading solution is designed to mi...
131
click to vote
NC
1998
15 years 3 months ago
1998
This paper reports the results of experiments in complex Arabic phonetic features identification using a rulebased system (SARPH) and modular connectionist architectures. The firs...