Sciweavers

3521 search results - page 5 / 705
» Algorithmic Control in Concurrent Computations
Sort
View
PPL
2007
86views more  PPL 2007»
15 years 1 months ago
Failure-Sensitive Analysis of Parallel Algorithms with Controlled Memory Access Concurrency
ract problem of using P failure-prone processors to cooperatively update all locations of an N-element shared array is called Write-All. Solutions to Write-All can be used iterati...
Chryssis Georgiou, Alexander Russell, Alexander A....
111
Voted
WDAG
1999
Springer
72views Algorithms» more  WDAG 1999»
15 years 6 months ago
Software Fault Tolerance of Concurrent Programs Using Controlled Re-execution
Ashis Tarafdar, Vijay K. Garg
CONCUR
2007
Springer
15 years 8 months ago
A Marriage of Rely/Guarantee and Separation Logic
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
Viktor Vafeiadis, Matthew J. Parkinson
CONCURRENCY
1998
151views more  CONCURRENCY 1998»
15 years 1 months ago
A new parallel matrix multiplication algorithm on distributed-memory concurrent computers
We present a new fast and scalable matrix multiplication algorithm, called DIMMA Distribution-Independent Matrix Multiplication Algorithm, for block cyclic data distribution on ...
Jaeyoung Choi
IPPS
1997
IEEE
15 years 5 months ago
A Fast Scalable Universal Matrix Multiplication Algorithm on Distributed-Memory Concurrent Computers
We present a fast and scalable matrix multiplication algorithm on distributed memory concurrent computers, whose performance is independent of data distribution on processors, and...
J. Choi