1145 search results - page 76 / 229 » The Correctness of an Optimized Code Generation |
ISBI
2008
IEEE
14 years 9 months ago
2008
IEEE
In this work we propose an image registration algorithm to automatically fit protein atomic domain models into medium-resolution three-dimensional electron microscopy reconstructi...
ICDE
2010
IEEE
14 years 6 months ago
2010
IEEE
— Multi-criteria decision support (MCDS) is crucial in many business and web applications such as web searches, B2B portals and on-line commerce. Such MCDS applications need to r...
ICIP
2002
IEEE
14 years 10 months ago
2002
IEEE
Recent interest in region based image coding has given rise to graph coloring based partition encoding methods. These methods are based on the four color theorem for planar graphs...
SAS
2000
Springer
14 years 14 days ago
2000
Springer
Abstract. It is often the case at runtime that variables and registers in programs are "quasi-invariant," i.e., the distribution of the values they take on is very skewed...
JLP
2008
13 years 9 months ago
2008
We demonstrate a method for describing data-flow analyses based program optimizations as compositional type systems with a transformation component. Analysis results are presented...