共 50 条
- [22] A practical and complete algorithm for testing real-time systems FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1998, 1486 : 251 - 261
- [23] Task Scheduling Algorithm for Heterogeneous Real-time Systems Based on Deadline Constraints PROCEEDINGS OF 2019 IEEE 9TH INTERNATIONAL CONFERENCE ON ELECTRONICS INFORMATION AND EMERGENCY COMMUNICATION (ICEIEC 2019), 2019, : 113 - 116
- [24] REAL-TIME HARDWARE IMPLEMENTATION OF MULTI-RESOLUTION IMAGE BLENDING 2013 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP), 2013, : 2741 - 2745
- [25] A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation COMPUTER AIDED VERIFICATION, CAV 2023, PT I, 2023, 13964 : 266 - 288
- [29] Adaptive concurrency control in safety critical real-time systems NEW TECHNOLOGIES FOR COMPUTER CONTROL 2001, 2002, : 147 - 152