2292 search results - page 282 / 459 » Techniques and tools for dynamic optimization |
170
click to vote
CG
2004
Springer
15 years 6 months ago
2004
Springer
nd maps are powerful abstractions. Their combination, Hierarchical Graph Maps, provide effective tools to process a graph that is too large to fit on the screen. They provide hier...
172
click to vote
CG
1999
Springer
15 years 6 months ago
1999
Springer
Projective texture-mapping is a powerful tool for image-based rendering. However, visibility information must be obtained in order to project correct textures onto the geometric s...
181
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Debugging is a tedious and costly process that demands a profound understanding of the dynamic behavior of programs. Debugging aspect-oriented software is even more difficult: to ...
162
click to vote
CPP
2011
14 years 6 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...
150
click to vote
PPOPP
2006
ACM
16 years 14 days ago
2006
ACM
Processor virtualization via migratable objects is a powerful technique that enables the runtime system to carry out intelligent adaptive optimizations like dynamic resource manag...