16725 search results - page 2931 / 3345 » Engineering Software Correctness |
128
Voted
IUI
2010
ACM
16 years 3 months ago
2010
ACM
We present two studies that evaluate the accuracy of human responses to an intelligent agent’s data classification questions. Prior work has shown that agents can elicit accurat...
157
Voted
IUI
2009
ACM
16 years 3 months ago
2009
ACM
When users combine data from multiple sources into a spreadsheet or dataset, the result is often a mishmash of different formats, since phone numbers, dates, course numbers and ot...
157
click to vote
CGO
2010
IEEE
16 years 1 months ago
2010
IEEE
For memory constrained embedded systems code size is at least as important as performance. One way of increasing code density is to exploit compact instruction formats, e.g. ARM T...
161
click to vote
CGO
2010
IEEE
16 years 1 months ago
2010
IEEE
The linear scan algorithm for register allocation provides a good register assignment with a low compilation overhead and is thus frequently used for just-in-time compilers. Altho...
183
click to vote
CGO
2010
IEEE
16 years 1 months ago
2010
IEEE
Tiling is a widely used loop transformation for exposing/exploiting parallelism and data locality. Effective use of tiling requires selection and tuning of the tile sizes. This is...