Sciweavers

404 search results - page 50 / 81
» LogP: Towards a Realistic Model of Parallel Computation
Sort
View
PPOPP
1999
ACM
14 years 1 months ago
Automatic Node Selection for High Performance Applications on Networks
A central problem in executing performance critical parallel and distributed applications on shared networks is the selection of computation nodes and communication paths for exec...
Jaspal Subhlok, Peter Lieu, Bruce Lowekamp
PPSN
2004
Springer
14 years 2 months ago
An Evolutionary Approach to Modeling Radial Brightness Distributions in Elliptical Galaxies
A reasonably good description of the luminosity profiles of galaxies is needed as it serves as a guide towards understanding the process of galaxy formation and evolution. To obtai...
Jin Li, Xin Yao, Colin Frayn, Habib G. Khosroshahi...
PODC
2011
ACM
12 years 12 months ago
Robust network supercomputing without centralized control
Internet supercomputing is becoming an increasingly popular means for harnessing the power of a vast number of interconnected computers. This comes at a cost substantially lower t...
Seda Davtyan, Kishori M. Konwar, Alexander A. Shva...
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
13 years 7 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
GRID
2004
Springer
14 years 2 months ago
Toward Characterizing the Performance of SOAP Toolkits
The SOAP protocol underpins Web services as the standard mechanism for exchanging information in a distributed environment. The XML-based protocol offers advantages including exte...
Madhusudhan Govindaraju, Aleksander Slominski, Ken...