571 search results - page 80 / 115 » A Case Study in Parallel Verification of Component-Based Sys... |
53
Voted
ICDCSW
2005
IEEE
15 years 3 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 ...
MATA
2004
Springer
15 years 3 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...
80
Voted
WSC
2007
15 years 18 hour 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...
85
Voted
GLOBECOM
2010
IEEE
14 years 7 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...
101
Voted
NC
1998
14 years 11 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...