3229 search results - page 571 / 646 » Mixing |
141
Voted
WSDM
2010
ACM
16 years 18 days ago
2010
ACM
Web 2.0 applications have attracted a considerable amount of attention because their open-ended nature allows users to create lightweight semantic scaffolding to organize and shar...
142
click to vote
POPL
2010
ACM
16 years 18 days ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
126
click to vote
EUROSYS
2007
ACM
16 years 9 days ago
2007
ACM
We present a memory-aware load balancing (MALB) technique to dispatch transactions to replicas in a replicated database. Our MALB algorithm exploits knowledge of the working sets ...
100
Voted
ICCAD
2005
IEEE
16 years 3 days ago
2005
IEEE
A novel and very simple correct-by-construction top-down methodology for high-utilization mixed-size placement is presented. The PolarBear algorithm combines recursive cutsize-dri...
175
click to vote
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
Scalable heterogeneous computing systems, which are composed of a mix of compute devices, such as commodity multicore processors, graphics processors, reconfigurable processors, ...