1120 search results - page 114 / 224 » Making computer science minority-friendly |
132
click to vote
SC
2003
ACM
15 years 9 months ago
2003
ACM
We present GridSAT, a parallel and complete satisfiability solver designed to solve non-trivial SAT problem instances using a large number of widely distributed and heterogeneous...
147
click to vote
EGH
2003
Springer
15 years 9 months ago
2003
Springer
—We present a method for using programmable graphics hardware to solve a variety of boundary value problems. The time-evolution of such problems is frequently governed by partial...
145
click to vote
MFCS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. To make a joint decision, agents (or voters) are often required to provide their preferences as linear orders. To determine a winner, the given linear orders can be aggre...
237
click to vote
PODS
2009
ACM
16 years 4 months ago
2009
ACM
As advances in technology allow for the collection, storage, and analysis of vast amounts of data, the task of screening and assessing the significance of discovered patterns is b...
168
click to vote
WWW
2010
ACM
15 years 11 months ago
2010
ACM
Browsers do not currently support the secure sharing of JavaScript objects between principals. We present this problem as the need for object views, which are consistent and contr...