共 50 条
- [22] 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
- [24] Concurrent and Consistent Virtual Machine Introspection with Hardware Transactional Memory 2014 20TH IEEE INTERNATIONAL SYMPOSIUM ON HIGH PERFORMANCE COMPUTER ARCHITECTURE (HPCA-20), 2014, : 416 - 427
- [25] Separating Separation Logic - Modular Verification of Red-Black Trees VERIFIED SOFTWARE. THEORIES, TOOLS AND EXPERIMENTS, VSTTE 2022, 2023, 13800 : 129 - 147
- [26] Auto-Active Proof of Red-Black Trees in SPARK NASA FORMAL METHODS (NFM 2017), 2017, 10227 : 68 - 83
- [27] Brief Announcement: A Concurrent Lock-Free Red-Black Tree DISTRIBUTED COMPUTING, 2013, 8205 : 563 - 564
- [28] Placement with symmetry constraints for analog layout using red-black trees PROCEEDINGS OF THE 2003 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL V: BIO-MEDICAL CIRCUITS & SYSTEMS, VLSI SYSTEMS & APPLICATIONS, NEURAL NETWORKS & SYSTEMS, 2003, : 489 - 492
- [29] An Approach to Hash based Rule Mining using Red-Black Trees 2015 1ST INTERNATIONAL CONFERENCE ON NEXT GENERATION COMPUTING TECHNOLOGIES (NGCT), 2015, : 698 - 702