共 50 条
- [21] Auto-Active Proof of Red-Black Trees in SPARK [J]. NASA FORMAL METHODS (NFM 2017), 2017, 10227 : 68 - 83
- [22] Placement with symmetry constraints for analog layout using red-black trees [J]. 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
- [23] An Approach to Hash based Rule Mining using Red-Black Trees [J]. 2015 1ST INTERNATIONAL CONFERENCE ON NEXT GENERATION COMPUTING TECHNOLOGIES (NGCT), 2015, : 698 - 702
- [25] Research on the red-black trees based on the large-scale algorithms [J]. Advances in Information Sciences and Service Sciences, 2012, 4 (02): : 175 - 181
- [26] Brief Announcement: Concurrent Wait-Free Red-Black Trees [J]. DISTRIBUTED COMPUTING, DISC 2012, 2012, 7611 : 421 - 422
- [27] A concurrent red-black tree [J]. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2013, 73 (04) : 434 - 449
- [29] Deletion: The curse of the red-black tree [J]. JOURNAL OF FUNCTIONAL PROGRAMMING, 2014, 24 (04) : 423 - 433