12289 search results - page 303 / 2458 » computing 2006 |
110
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
This paper describes simulations designed to test the relative efficiency of two different sequential auction mechanisms for allocating compute resources between users in a shared...
117
Voted
CIE
2006
Springer
15 years 8 months ago
2006
Springer
We describe two representations for real numbers, signed digit streams and Cauchy sequences. We give coinductive proofs for the correctness of functions converting between these tw...
135
click to vote
EUROPAR
2006
Springer
15 years 8 months ago
2006
Springer
Parallel performance tuning naturally involves a diagnosis process to locate and explain sources of program inefficiency. Proposed is an approach that exploits parallel computation...
132
click to vote
ACL
2006
15 years 5 months ago
2006
In this paper we propose a small set of lexical conceptual relations which allow to encode adjectives in computational relational lexica in a principled and integrated way. Our ma...
120
click to vote
CGI
2006
IEEE
15 years 10 months ago
2006
IEEE
A second order forward differences based subdivision depth computation technique for extra-ordinary Catmull-Clark subdivision surface (CCSS) patches is presented. The new techniqu...