Login / Signup
BWoS: Formally Verified Block-based Work Stealing for Parallel Processing.
Jiawei Wang
Bohdan Trach
Ming Fu
Diogo Behrens
Jonathan Schwender
Yutao Liu
Jitang Lei
Viktor Vafeiadis
Hermann Härtig
Haibo Chen
Published in:
OSDI (2023)
Keyphrases
</>
parallel processing
computational power
processing speed
distributed processing
ibm sp
tree decomposition
garbage collection
parallel architectures
parallel architecture
parallel computation
pc cluster
data parallelism
processing units
parallel programming
parallel computers