984 search results - page 71 / 197 » A Hybrid MPI Simulator |
ICMCS
2009
IEEE
14 years 9 months ago
2009
IEEE
Forward Error Correction (FEC) coding and Automatic Repeat reQuest (ARQ) are two commonly used techniques to tackle packet erasures in wireless video streaming. To preserve flexib...
109
click to vote
EH
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper, we perform a comparative study of different heuristics used to design combinational logic circuits. The use of local search hybridized with a genetic algorithm and ...
ICRA
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper proposes a new methodology for coordinating multi-robot teams in the execution of cooperative tasks. It is based on a dynamic role assignment mechanism in which the rob...
CVPR
2003
IEEE
16 years 1 months ago
2003
IEEE
Corner measurement is of main concern within the following tasks: camera calibration, image matching, object tracking, recognition and reconstruction. This paper presents a hybrid...
CAV
2009
Springer
16 years 11 days ago
2009
Springer
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...