Checking Presence Reachability Properties on Parameterized Shared-Memory Systems.

Nicolas Waldburger

Published in: MFCS (2023)

Keyphrases

shared memory
distributed systems
message passing
parallel algorithm
multi processor
distributed memory
real time
database systems
high quality
bayesian networks
parallel computing
heterogeneous platforms