6395 search results - page 1056 / 1279 » Searching for Interacting Features |
201
click to vote
CGO
2008
IEEE
16 years 1 months ago
2008
IEEE
Modern compilers implement a large number of optimizations which all interact in complex ways, and which all have a different impact on code quality, compilation time, code size,...
189
click to vote
CGO
2007
IEEE
16 years 28 days ago
2007
IEEE
This paper proposes the use of empirical modeling techniques for building microarchitecture sensitive models for compiler optimizations. The models we build relate program perform...
190
click to vote
PPDP
2007
Springer
16 years 21 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
195
click to vote
GMP
2006
IEEE
16 years 19 days ago
2006
IEEE
This paper presents a novel approach to continuously and robustly tracking critical (geometrically, perpendicular and/or extremal) distances from a moving plane point p ∈ R2 to a...
196
click to vote
JCDL
2006
ACM
16 years 16 days ago
2006
ACM
In this paper we present a method of parsing unstructured textual records briefly describing a person and their direct relatives, which we use in the construction of a browsing t...