Login / Signup
General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond.
Rupak Majumdar
Ramanathan S. Thinniyam
Georg Zetzsche
Published in:
CoRR (2021)
Keyphrases
</>
shared memory
higher order
parallel algorithm
message passing
parallel computing
parallel architecture
multi processor
distributed memory
pairwise
markov random field
parallel programming