2664 search results - page 418 / 533 » Theory by Process |
176
click to vote
ICFP
2005
ACM
16 years 9 hour ago
2005
ACM
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good resu...
203
click to vote
ISLPED
2005
ACM
16 years 9 hour ago
2005
ACM
This paper explores the power implications of replacing global chip wires with an on-chip network. We optimize network links by varying repeater spacing, link pipelining, and volt...
173
click to vote
SAC
2005
ACM
16 years 6 hour ago
2005
ACM
Large-scale supercomputing is revolutionizing the way science is conducted. A growing challenge, however, is understanding the massive quantities of data produced by largescale si...
152
click to vote
SAC
2005
ACM
16 years 6 hour ago
2005
ACM
One crucial task for e-commerce systems is to help buyers find products that not only satisfy their preferences but also reduce their search effort. Usually the amount of availa...
169
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
A voting protocol for decision-making in virtual organizations is presented. In an agent-based virtual organization the functions of formation, management and dissolution of the o...