4609 search results - page 279 / 922 » Automatic Generation of Sigma-Protocols |
184
click to vote
SC
2004
ACM
16 years 1 days ago
2004
ACM
To achieve maximum performance gains through compiler optimization, most automatic performance tuning systems use a feed-back directed approach to rate the code versions generated...
161
click to vote
HIPC
2004
Springer
16 years 43 min ago
2004
Springer
In this paper, we present a system capable of improving the I/O performance in an automatic way. This system is able to learn the behavior of the applications running on top and ï¬...
224
click to vote
MICAI
2004
Springer
15 years 12 months ago
2004
Springer
Three-dimensional (3D) registration is the process aligning the range data sets form different views in a common coordinate system. In order to generate a complete 3D model, we nee...
182
click to vote
VECPAR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. IBM is currently developing the new line of BlueGene/L supercomputers. The top-of-the-line installation is planned to be a 65,536 processors system featuring a peak perfo...
173
click to vote
SIBGRAPI
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper introduces a methodology for adding color to grayscale images in a way that is completely automatic. Towards this goal, we build on a technique that was recently develo...