5964 search results - page 817 / 1193 » A theory of speculative computation |
189
click to vote
SAC
2005
ACM
16 years 1 months 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...
199
click to vote
SIGCPR
2005
ACM
16 years 1 months ago
2005
ACM
Despite over six decades of research on the role and definition of the IT workforce, there remain numerous, and often contradictory, definitions related to the identity of this gr...
208
click to vote
SIGECOM
2005
ACM
16 years 1 months ago
2005
ACM
We present the first design for a fully expressive iterative combinatorial exchange (ICE). The exchange incorporates a tree-based bidding language that is concise and expressive ...
192
click to vote
SMA
2005
ACM
16 years 1 months ago
2005
ACM
Geometric constraint solving is a key issue in CAD/CAM. Since Owen’s seminal paper, solvers typically use graph based decomposition methods. However, these methods become diffi...
200
click to vote
SPAA
2005
ACM
16 years 1 months ago
2005
ACM
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...