共 50 条
- [32] Real-time calculus for scheduling hard real-time systems ISCAS 2000: IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS - PROCEEDINGS, VOL IV: EMERGING TECHNOLOGIES FOR THE 21ST CENTURY, 2000, : 101 - 104
- [33] Implementing and using execution time clocks in ada hard real-time applications RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE, 1998, 1411 : 90 - 101
- [34] A DECOMPOSITION APPROACH TO NONPREEMPTIVE SCHEDULING IN HARD REAL-TIME SYSTEMS REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1989, : 240 - 248
- [35] A Hybrid DVS Scheduling Approach for Hard Real-Time Systems 2009 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2009), VOLS 1-9, 2009, : 2848 - 2853
- [36] Real-Time Technology and Applications - Proceedings: Message from the program chair Real-Time Technology and Applications - Proceedings, 2010,
- [37] A Scalable Approach for the Description of Dependencies in Hard Real-Time Systems LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, 2010, 6416 : 397 - 411
- [39] Real-Time Synthesis is Hard! FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, FORMATS 2016, 2016, 9884 : 105 - 120
- [40] A switched Ethernet protocol for hard real-time embedded system applications AINA 2005: 19TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOL 2, 2005, : 41 - 44