29046 search results - page 72 / 5810 » Computable Models |
131
Voted
CF
2008
ACM
15 years 4 months ago
2008
ACM
This paper contributes and evaluates a model and a methodology for implementing parallel wavefront algorithms on the Cell Broadband Engine. Wavefront algorithms are vital in sever...
120
Voted
TC
2002
15 years 2 months ago
2002
The low cost and wide availability of networks of workstations have made them an attractive solution for high performance computing. However, while a network of workstations may be...
143
Voted
CCGRID
2010
IEEE
15 years 3 months ago
2010
IEEE
The MPI programming model hides network type and topology from developers, but also allows them to seamlessly distribute a computational job across multiple cores in both an intra ...
121
Voted
ALGORITHMICA
2004
15 years 2 months ago
2004
We investigate the diameter problem in the streaming and slidingwindow models. We show that, for a stream of n points or a sliding window of size n, any exact algorithm for diamet...
126
Voted
LPAR
2010
Springer
15 years 20 days ago
2010
Springer
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...