共 50 条
- [12] Anomaly Localization in Large-Scale Clusters 2007 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING, 2007, : 322 - 330
- [16] GEOMORPHOLOGY AND LARGE-SCALE GEOLOGICAL MAPPING IZVESTIYA AKADEMII NAUK SSSR SERIYA GEOLOGICHESKAYA, 1985, (10): : 103 - 107
- [19] A new approach for large-scale localization and mapping:: Hybrid metric-topological SLAM PROCEEDINGS OF THE 2007 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1-10, 2007, : 2061 - +
- [20] VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2023, 2023, 13931 : 202 - 220