共 50 条
- [42] Go! for multi-threaded deliberative agents DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES, 2004, 2990 : 54 - 75
- [43] Regression Verification for Multi-threaded Programs VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2012, 7148 : 119 - 135
- [45] Multi-threaded evolution of the Data-Logging System of the ATLAS Experiment at CERN 2011 IEEE NUCLEAR SCIENCE SYMPOSIUM AND MEDICAL IMAGING CONFERENCE (NSS/MIC), 2011, : 2039 - 2043
- [46] Synergistic Timing Speculation for Multi-threaded Programs 2016 ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2016,
- [47] Multi-threaded Nested Filtering Factorization Preconditioner APPLIED PARALLEL AND SCIENTIFIC COMPUTING (PARA 2012), 2013, 7782 : 220 - 234
- [48] Tail queues: A multi-threaded matching architecture CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2020, 32 (03):
- [49] Quantitative Analysis of Leakage for Multi-threaded Programs PLAS'07: PROCEEDINGS OF THE 2007 ACM SIGPLAN WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY, 2007, : 31 - 40
- [50] On testing multi-threaded Java']Java programs SNPD 2007: EIGHTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING, AND PARALLEL/DISTRIBUTED COMPUTING, VOL 1, PROCEEDINGS, 2007, : 702 - +