511 search results - page 17 / 103 » More Precise Partition Abstractions |
SOFTVIS
2006
ACM
14 years 2 months ago
2006
ACM
Software evolution visualization is a promising technique for assessing the software development process. We study how complex correlations of software evolution attributes can be...
ASIAN
2006
Springer
14 years 17 days ago
2006
Springer
Polyhedral analysis [9] is an abstract interpretation used for automatic discovery of invariant linear inequalities among numerical varia program. Convexity of this abstract domain...
CONCUR
2005
Springer
14 years 2 months ago
2005
Springer
Usually, ranking function synthesis and invariant generation oop with integer variables involves abstracting the loop to have real variables. Integer division and modulo arithmetic...
WSCG
2001
13 years 10 months ago
2001
In any hierarchical radiosity method, the most expensive part is the evaluation of the visibility. Many methods use sampling and ray casting to determine this term. Space partitio...
GMP
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract. A new subdivision depth computation technique for extraordinary Catmull-Clark subdivision surface (CCSS) patches is presented. The new technique improves a previous techn...