143 search results - page 29 / 29 » Abstract Interpretation and Partial Evaluation in Functional... |
110
click to vote
SAC
2009
ACM
15 years 2 months ago
2009
ACM
Generally progressive procedural content in the context of 3D scene rendering is expressed as recursive functions where a finer level of detail gets computed on demand. Typical e...
146
click to vote
MICRO
2000
IEEE
14 years 10 months ago
2000
IEEE
level of abstraction, compared with the program representation for scalar optimizations. For example, loop unrolling and loop unrolland-jam transformations exploit the large regist...
109
Voted
CAV
2008
Springer
15 years 7 days ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...