5623 search results - page 827 / 1125 » Incremental Mechanism Design |
161
click to vote
HPCA
2005
IEEE
16 years 7 months ago
2005
IEEE
Many important applications exhibit large amounts of data parallelism, and modern computer systems are designed to take advantage of it. While much of the computation in the multi...
143
click to vote
CHI
2004
ACM
2004
ACM
Multiblending: displaying overlapping windows simultaneously without the drawbacks of alpha blending
16 years 7 months ago
Alpha blending allows the simultaneous display of overlapping windows--such as palette windows in visual workspaces. Although alpha blending has been used in some applications, su...
290
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
216
click to vote
RECOMB
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. Mapping intra-cellular signaling networks is a critical step in developing an understanding of and treatments for many devastating diseases. The predominant ways of disco...
248
click to vote
SIGMOD
2005
ACM
16 years 7 months ago
2005
ACM
Many scenarios involve merging of two B-tree indexes, both covering the same key range. Increasing demand for continuous availability and high performance requires that such mergi...