218 search results - page 44 / 44 » Generating Compiler Optimizations from Proofs |
DCG
2008
13 years 6 months ago
2008
Two-dimensional constrained Delaunay triangulations are geometric structures that are popular for interpolation and mesh generation because they respect the shapes of planar domai...
SIGSOFT
2006
ACM
14 years 9 days ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
CIKM
2007
Springer
14 years 16 days ago
2007
Springer
Queries issued by casual users or specialists exploring a data set often point us to important subsets of the data, be it clusters, outliers or other features of particular import...