7430 search results - page 574 / 1486 » Programming Applications in CIFF |
136
click to vote
SGAI
2009
Springer
16 years 1 months ago
2009
Springer
The decision which hardware platform to use for a certain application is an important problem in computer architecture. This paper reports on a study where a data-mining approach i...
181
click to vote
EGH
2007
Springer
16 years 1 months ago
2007
Springer
The enormous flexibility of the modern GPU rendering pipeline as well as the availability of high-level shader languages have led to an increased demand for sophisticated program...
183
click to vote
VMCAI
2007
Springer
16 years 1 months ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
174
click to vote
MSR
2006
ACM
16 years 1 months ago
2006
ACM
Revision history provides a rich source of information to improve the understanding of changes made to programs, but it yields only limited insight into how these changes occurred...
161
click to vote
ISLPED
2005
ACM
16 years 20 days ago
2005
ACM
Previous work has shown that intra-program optimizations, i.e., optimizations performed on individual programs in isolation, can be very effective in reducing disk energy in stre...