共 50 条
- [31] On Certifying Distributed Algorithms: Problem of Local Correctness FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS (FORTE 2019), 2019, 11535 : 281 - 288
- [32] Some Distributed Algorithms for Quantized Consensus Problem EMERGING INTELLIGENT COMPUTING TECHNOLOGY AND APPLICATIONS, PROCEEDINGS, 2009, 5754 : 443 - 452
- [35] Distributed Algorithms for Optimal Power Flow Problem 2012 IEEE 51ST ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2012, : 430 - 437
- [36] Improved online algorithms for the sorting buffer problem STACS 2007, PROCEEDINGS, 2007, 4393 : 658 - +
- [39] Parallel Online Algorithms for the Bin Packing Problem APPROXIMATION AND ONLINE ALGORITHMS (WAOA 2019), 2020, 11926 : 106 - 119