123 search results - page 15 / 25 » Distribution Sweeping on Clustered Machines with Hierarchica... |
SOSP
2007
ACM
14 years 4 months ago
2007
ACM
We propose a new paradigm for building scalable distributed systems. Our approach does not require dealing with message-passing protocols—a major complication in existing distri...
ENTCS
2008
13 years 7 months ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
PPAM
2007
Springer
14 years 1 months ago
2007
Springer
We present a parallel algorithm for solving the 4D Vlasov equation. Our algorithm is designed for distributed memory architectures. It uses an adaptive numerical method which reduc...
PDP
2010
IEEE
14 years 3 days ago
2010
IEEE
The increasing numbers of cores, shared caches and memory nodes within machines introduces a complex hardware topology. High-performance computing applications now have to carefull...
ICSM
2003
IEEE
14 years 1 months ago
2003
IEEE
Moving to smaller libraries can be considered as a relevant task when porting software systems to limited-resource devices (e.g., hand-helds). Library miniaturization will be part...