5005 search results - page 131 / 1001 » The Design and Analysis of Parallel Algorithms |
77
Voted
ICECCS
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper we summarize parallel algorithms for enumerative model checking of properties formulated in linear time temporal logic (LTL) as well as a fragment of the µcalculus ...
129
click to vote
FMICS
2007
Springer
15 years 7 months ago
2007
Springer
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
COMPSAC
2005
IEEE
15 years 6 months ago
2005
IEEE
Parallel changes are a basic fact of modern software development. Where previously we looked at prima facie interference, here we investigate a less direct form that we call seman...
102
Voted
STOC
1995
ACM
15 years 4 months ago
1995
ACM
We show that a parallel repetition of any two-prover one-round proof system (MIP(2, 1)) decreases the probability of error at an exponential rate. No constructive bound was previou...
115
click to vote
ICPP
2009
IEEE
15 years 7 months ago
2009
IEEE
We present a new parallel algorithm that extends and generalizes the traditional graph analysis metric of betweenness centrality to include additional non-shortest paths according...