Sciweavers

4800 search results - page 297 / 960
» OO Distributed Programming is Not Distributed OO Programming
Sort
View
JACM
2006
98views more  JACM 2006»
15 years 3 months ago
Distribution sort with randomized cycling
Parallel independent disks can enhance the performance of external memory (EM) algorithms, but the programming task is often di cult. In this paper we develop randomized variants ...
Jeffrey Scott Vitter, David A. Hutchinson
SIAMSC
2008
182views more  SIAMSC 2008»
15 years 3 months ago
A Distributed SDP Approach for Large-Scale Noisy Anchor-Free Graph Realization with Applications to Molecular Conformation
We propose a distributed algorithm for solving Euclidean metric realization problems arising from large 3D graphs, using only noisy distance information, and without any prior kno...
Pratik Biswas, Kim-Chuan Toh, Yinyu Ye
ASE
1999
126views more  ASE 1999»
15 years 2 months ago
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
Dimitra Giannakopoulou, Jeff Kramer, Shing-Chi Che...
SPRINGSIM
2010
15 years 1 months ago
Simplifying parallel and distributed simulation with the DUP system
This paper presents how the DUP System, a straightforward POSIX-compatible framework that enables programminglanguage-agnostic parallel and distributed stream processing, can be u...
Nathan S. Evans, Chris GauthierDickey, Christian G...
STTT
2010
97views more  STTT 2010»
15 years 1 months ago
Distributed dynamic partial order reduction
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Rob...