共 50 条
- [22] Massively Concurrent Red-Black Trees with Hardware Transactional Memory [J]. 2016 24TH EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP), 2016, : 127 - 134
- [23] Separating Separation Logic - Modular Verification of Red-Black Trees [J]. VERIFIED SOFTWARE. THEORIES, TOOLS AND EXPERIMENTS, VSTTE 2022, 2023, 13800 : 129 - 147
- [24] Auto-Active Proof of Red-Black Trees in SPARK [J]. NASA FORMAL METHODS (NFM 2017), 2017, 10227 : 68 - 83
- [27] Using red-black interval trees in device-level analog placement with symmetry constraints [J]. ASP-DAC 2003: PROCEEDINGS OF THE ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, 2003, : 777 - 782
- [28] Brief Announcement: Concurrent Wait-Free Red-Black Trees [J]. DISTRIBUTED COMPUTING, DISC 2012, 2012, 7611 : 421 - 422
- [29] Red-Black Tree Based NeuroEvolution of Augmenting Topologies [J]. ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2019, PT II, 2019, 11507 : 678 - 686
- [30] Image saliency detection using red-black wavelet [J]. Zhao, Sanyuan, 1789, Institute of Computing Technology (26):