共 37 条
- [21] Toward a Unique Representation for AVL and Red-Black Trees COMPUTACION Y SISTEMAS, 2019, 23 (02): : 435 - 450
- [22] Skip Lift: A Probabilistic Alternative to Red-Black Trees COMBINATORIAL ALGORITHMS, 2011, 6460 : 226 - 237
- [24] Massively Concurrent Red-Black Trees with Hardware Transactional Memory 2016 24TH EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP), 2016, : 127 - 134
- [25] Permission-Based Verification of Red-Black Trees and Their Merging 2021 IEEE/ACM 9TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE 2021), 2021, : 111 - 123
- [26] Separating Separation Logic - Modular Verification of Red-Black Trees VERIFIED SOFTWARE. THEORIES, TOOLS AND EXPERIMENTS, VSTTE 2022, 2023, 13800 : 129 - 147
- [27] Auto-Active Proof of Red-Black Trees in SPARK NASA FORMAL METHODS (NFM 2017), 2017, 10227 : 68 - 83
- [28] An Approach to Hash based Rule Mining using Red-Black Trees 2015 1ST INTERNATIONAL CONFERENCE ON NEXT GENERATION COMPUTING TECHNOLOGIES (NGCT), 2015, : 698 - 702
- [29] Research on the red-black trees based on the large-scale algorithms Advances in Information Sciences and Service Sciences, 2012, 4 (02): : 175 - 181
- [30] Brief Announcement: Concurrent Wait-Free Red-Black Trees DISTRIBUTED COMPUTING, DISC 2012, 2012, 7611 : 421 - 422