共 50 条
- [2] Data Races and Static Analysis for Interrupt-Driven Kernels PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2019: 28TH EUROPEAN SYMPOSIUM ON PROGRAMMING, 2019, 11423 : 697 - 723
- [3] Performance evaluation of interrupt-driven kernels in gigabit networks GLOBECOM'03: IEEE GLOBAL TELECOMMUNICATIONS CONFERENCE, VOLS 1-7, 2003, : 3953 - 3957
- [5] Stack size analysis for interrupt-driven programs STATIC ANALYSIS, PROCEEDINGS, 2003, 2694 : 109 - 126
- [7] Throughput and Delay Analysis of LWA With Bursty Traffic and Randomized Flow Splitting IEEE ACCESS, 2019, 7 : 24667 - 24678
- [8] Numerical Static Analysis of Interrupt-Driven Programs via Sequentialization 2015 PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT), 2015, : 55 - 64
- [9] Program Verification Enhanced Precise Analysis of Interrupt-Driven Program Vulnerabilities 2021 28TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2021), 2021, : 253 - 263