9997 search results - page 374 / 2000 » The case for crowd computing |
207
click to vote
ICCS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. As High Performance Computing becomes more collaborative, software certification practices are needed to quantify the credibility of shared applications. To demonstrate q...
177
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a new static and dynamic recursive parallel algorithm for the convex hull problem. This algorithm is a parallel adaptation of the Graham Scan and Quick Hull al...
157
Voted
FOCS
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a randomized algorithm for computing portions of an arrangement of n arcs in the plane, each pair of which intersect in at most t points. We use this algorithm to perfo...
173
click to vote
LFCS
1992
Springer
15 years 10 months ago
1992
Springer
A generator program for a computable function (by definition) generates an infinite sequence of programs all but finitely many of which compute that function. Machine learning of ...
165
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...