906 search results - page 82 / 182 » Chain Dominated Orders |
106
click to vote
CC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We introduce a new framework for elimination-based data flow analysis. We present a simple algorithm and a delayed algorithm that exhibit a worstcase complexity of O(n2 ...
HVC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
GLVLSI
2006
IEEE
15 years 6 months ago
2006
IEEE
Most of the logic synthesis algorithms are not scalable for large networks and, for this reason, partitioning is often applied. However traditional mincut-based partitioning techn...
ICMCS
2006
IEEE
15 years 6 months ago
2006
IEEE
Sharpness, one of the most effective factors in video quality assessment, usually dominates the first impression of the representation of the compressed video or image signals. I...
SG
2005
Springer
15 years 5 months ago
2005
Springer
Modelling, animation and rendering has dominated research computer graphics yielding increasingly rich and realistic virtual worlds. The complexity, richness and quality of the vir...