共 50 条
- [21] Model checking scheduler of linux kernel Harbin Gongye Daxue Xuebao/Journal of Harbin Institute of Technology, 2009, 41 (SUPPL. 1): : 148 - 155
- [25] Address Space Isolation in the Linux Kernel SYSTOR '19: PROCEEDINGS OF THE 12TH ACM INTERNATIONAL SYSTEMS AND STORAGE CONFERENCE, 2019, : 194 - 194
- [26] A performance comparison of Linux and a lightweight kernel IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING, PROCEEDINGS, 2003, : 251 - 258
- [27] On the Scalability of Linux Kernel Maintainers' Work ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2017, : 27 - 37
- [28] Asymmetric Software Structures in the Linux Kernel 36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE COMPANION 2014), 2014, : 620 - 621
- [30] Static deadlock detection in the Linux kernel RELIABLE SOFTWARE TECHNOLOGIES- ADA-EUROPE 2004, 2004, 3063 : 52 - 64