共 50 条
- [41] iDola: Bridge Modeling to Verification and Implementation of Interrupt-driven Systems [J]. 2014 THEORETICAL ASPECTS OF SOFTWARE ENGINEERING CONFERENCE (TASE), 2014, : 193 - 200
- [42] Rchecker: A CBMC-based Data Race Detector for Interrupt-driven Programs [J]. COMPANION OF THE 2020 IEEE 20TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY, AND SECURITY (QRS-C 2020), 2020, : 465 - 471
- [43] Atomicity Violation Detection for Interrupt-Driven Aerospace Embedded Software [J]. Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2023, 60 (02): : 294 - 310
- [44] Disclosing and Locating Concurrency Bugs of Interrupt-Driven IoT Programs [J]. IEEE INTERNET OF THINGS JOURNAL, 2019, 6 (05): : 8945 - 8957
- [45] DESIGNING WITH MICROPROCESSORS .9. MORE ON INTERRUPT-DRIVEN CIRCUITS [J]. WIRELESS WORLD, 1981, 87 (1546): : 77 - 80
- [46] An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software [J]. PROCEEDINGS OF THE 32ND ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2023, 2023, : 1345 - 1356
- [47] Numerical Static Analysis of Interrupt-Driven Programs via Sequentialization [J]. 2015 PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT), 2015, : 55 - 64
- [48] DESIGNING WITH MICROPROCESSORS .10. CONCLUDING INTERRUPT-DRIVEN CIRCUITS [J]. WIRELESS WORLD, 1981, 87 (1547): : 65 - 67
- [49] MICROPROCESSOR-BASED VARIABLE-BIAS DIFFERENTIAL RELAY FOR GENERATOR PROTECTION [J]. JOURNAL OF MICROCOMPUTER APPLICATIONS, 1987, 10 (01): : 63 - 69