共 50 条
- [23] An open Ravenscar real-time kernel for GNAT RELIABLE SOFTWARE TECHNOLOGIES ADA-EUROPE 2000, 2000, 1845 : 5 - 15
- [24] Formal analysis of a real-time kernel specification FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1996, 1135 : 440 - 458
- [26] MEASURING AND ANALYZING REAL-TIME KERNEL PERFORMANCE MICROPROCESSING AND MICROPROGRAMMING, 1992, 35 (1-5): : 635 - 640
- [27] Enhancing the real-time capability of the Linux kernel FIFTH INTERNATIONAL CONFERENCE ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 1998, : 11 - 20
- [28] A hard real-time kernel for Motorola microcontrollers ITI 2001: PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY INTERFACES, 2001, : 75 - 80
- [29] On Benchmarking the Predictability of Real-Time Mechanisms in User and Kernel Spaces for Real-Time Embedded Linux COMPUTER APPLICATIONS FOR SECURITY, CONTROL AND SYSTEM ENGINEERING, 2012, 339 : 205 - 212
- [30] Time- and angle-triggered real-time kernel DESIGN, AUTOMATION & TEST IN EUROPE, 2013, : 1060 - 1062