Sciweavers

ESOP
2010
Springer
14 years 1 months ago
Formal Verification of Coalescing Graph-Coloring Register Allocation
Iterated Register Coalescing (IRC) is a widely used heuristic for performing register allocation via graph coloring. Many implementations in existing compilers follow (more or less...
Andrew W. Appel, Benoît Robillard, Sandrine ...
ICIP
2006
IEEE
14 years 6 months ago
Effects of Parameters Variations in Particle Filter Tracking
Many implementations of visual tracking have been proposed since many years. The lack of standard evaluation process has prevented fair comparison between them. In this paper, we ...
Céline Mancas-Thillou, Caroline Machy, Dere...