9997 search results - page 107 / 2000 » The case for crowd computing |
101
click to vote
WSC
1998
15 years 2 months ago
1998
In this paper, we propose two speculation-based methods for fast and accurate simulation-based performance and dependability analysis of complex systems, incorporating detailed si...
107
Voted
SODA
1994
ACM
15 years 2 months ago
1994
ACM
We maintain the maximum spanning tree of a planar point set, as points are inserted or deleted, in O(log3 n) time per update in Mulmuley's expected-case model of dynamic geom...
101
click to vote
CORR
2007
Springer
15 years 23 days ago
2007
Springer
The Grid technology is evolving into a global, service-orientated architecture – a universal platform for delivering future high demand computational services. Strong adoption of...
143
click to vote
NCA
2008
IEEE
15 years 22 days ago
2008
IEEE
The paper focuses on the study of solving the large-scale traveling salesman problem (TSP) based on neurodynamic programming. From this perspective, two methods, temporal differenc...
117
click to vote
ACSC
2004
IEEE
15 years 4 months ago
2004
IEEE
This paper presents a case study for automatic verification using the Communicating Sequential Processes formalism. The case study concerns the Futurebus+ cache coherency standard...