共 50 条
- [4] Parallel Graph-Based Stateless Model Checking AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2020), 2020, 12302 : 377 - 393
- [5] Graph-based algorithms for parallel processes 16TH ANNUAL INTERNATIONAL SYMPOSIUM ON HIGH PERFORMANCE COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2002, : 114 - 115
- [9] Graph-Based Computing Resource Allocation for Mobile Blockchain 2018 6TH INTERNATIONAL CONFERENCE ON WIRELESS NETWORKS AND MOBILE COMMUNICATIONS (WINCOM), 2018, : 244 - 247
- [10] Graph-Based Optimal Data Caching in Edge Computing SERVICE-ORIENTED COMPUTING (ICSOC 2019), 2019, 11895 : 477 - 493