Cited By
View all- Albert EGenaim SMerayo ARomán-Díez G(2022)When COSTA Met KeY: Verified Cost BoundsThe Logic of Software. A Tasting Menu of Formal Methods10.1007/978-3-031-08166-8_2(19-37)Online publication date: 4-Jul-2022
- Mallick AChaudhari MSheth UPalanikumar GJoshi G(2019)Rateless Codes for Near-Perfect Load Balancing in Distributed Matrix-Vector MultiplicationProceedings of the ACM on Measurement and Analysis of Computing Systems10.1145/33667063:3(1-40)Online publication date: 17-Dec-2019
- Horváth IScully ZVan Houdt B(2019)Mean Field Analysis of Join-Below-Threshold Load Balancing for Resource Sharing ServersProceedings of the ACM on Measurement and Analysis of Computing Systems10.1145/33667053:3(1-21)Online publication date: 17-Dec-2019
- Show More Cited By