3052 search results - page 536 / 611 » A community-aware search engine |
149
click to vote
WSDM
2009
ACM
16 years 1 months ago
2009
ACM
There has been considerable past work on efficiently computing top k objects by aggregating information from multiple ranked lists of these objects. An important instance of this...
191
click to vote
CGO
2008
IEEE
16 years 26 days 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,...
181
click to vote
CGO
2007
IEEE
16 years 22 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...
169
click to vote
ICSEA
2007
IEEE
16 years 21 days ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...
180
click to vote
PPDP
2007
Springer
16 years 15 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...