共 50 条
- [1] Context-Sensitive Timing Simulation of Binary Embedded Software 2014 INTERNATIONAL CONFERENCE ON COMPILERS, ARCHITECTURE AND SYNTHESIS FOR EMBEDDED SYSTEMS (CASES), 2014,
- [2] JIT-Based Context-Sensitive Timing Simulation for Efficient Platform Exploration 2020 25TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, ASP-DAC 2020, 2020, : 369 - 374
- [3] Trace-Based Workload Generation and Execution EURO-PAR 2021: PARALLEL PROCESSING, 2021, 12820 : 37 - 54
- [4] Context-Sensitive Timing Automata for Fast Source Level Simulation PROCEEDINGS OF THE 2017 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2017, : 512 - 517
- [5] Context-Sensitive Timing Analysis of Esterel Programs DAC: 2009 46TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2009, : 870 - +
- [6] Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2008, 5356 : 36 - +
- [8] Rational graphs trace context-sensitive languages MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2001, 2001, 2136 : 548 - 559
- [10] Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles RUNTIME VERIFICATION (RV 2017), 2017, 10548 : 103 - 120