共 50 条
- [1] A trace-based model for multiparty contracts [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2012, 81 (02): : 72 - 98
- [2] Trace-Based Workload Generation and Execution [J]. EURO-PAR 2021: PARALLEL PROCESSING, 2021, 12820 : 37 - 54
- [3] Trace-based adaptive help system [J]. INTERNATIONAL JOURNAL OF TECHNOLOGIES IN HIGHER EDUCATION, 2012, 9 (03): : 55 - 70
- [4] A Trace-Based View on Operating Guidelines [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, 2011, 6604 : 411 - +
- [5] Trace-based performance analysis on cell BE [J]. ISPASS 2008: IEEE INTERNATIONAL SYMPOSIUM ON PERFORMANCE ANALYSIS OF SYSTEMS AND SOFTWARE, 2008, : 213 - +
- [6] Trace-Based Affine Reconstruction of Codes [J]. PROCEEDINGS OF CGO 2016: THE 14TH INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION, 2016, : 139 - 149
- [7] Trace-Based Symbolic Analysis for Atomicity Violations [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2010, 6015 : 328 - +
- [9] TRAILS - A Trace-Based Probabilistic Mobility Model [J]. MSWIM'18: PROCEEDINGS OF THE 21ST ACM INTERNATIONAL CONFERENCE ON MODELING, ANALYSIS AND SIMULATION OF WIRELESS AND MOBILE SYSTEMS, 2018, : 295 - 302
- [10] Trace-based framework for experience management and engineering [J]. KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 1, PROCEEDINGS, 2006, 4251 : 1171 - 1178