research
∙
09/13/2021
Specifying and Testing GPU Workgroup Progress Models
As GPU availability has increased and programming support has matured, a...
share
research
∙
04/28/2020
Modeling the Raft Distributed Consensus Protocol in LNT
Consensus protocols are crucial for reliable distributed systems as they...
research
∙
07/06/2017
