共 50 条
- [22] Practical verification of high-level dataraces in transactional memory programs Workshop Parallel Distrib. Syst.: Test., Anal., Debugging, PADTAD - Proc., (26-34):
- [23] Practical Aspects of High-Level Parallel Programming PAPP 2010 ICCS 2010 - INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, PROCEEDINGS, 2010, 1 (01): : 2047 - +
- [24] Towards Practical Partial Order Reduction for High-Level Formalisms VERIFIED SOFTWARE. THEORIES, TOOLS AND EXPERIMENTS, VSTTE 2022, 2023, 13800 : 72 - 91
- [26] The High-Level Variability Language: An Ontological Approach 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE(SPLC 2019), VOL B, 2019, : 162 - 169
- [28] Approach to evaluate the high-level fault models Jisuanji Gongcheng/Computer Engineering, 2006, 32 (04): : 228 - 229
- [30] Widget Identification: A High-Level Approach to Accessibility WORLD WIDE WEB-INTERNET AND WEB INFORMATION SYSTEMS, 2013, 16 (01): : 73 - 89