共 50 条
- [1] Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude [J]. 2008 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-8, 2008, : 3774 - +
- [2] Dependable resource sharing for compositional real-time systems [J]. 2011 IEEE 17TH INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA 2011), VOL 1, 2011, : 153 - 163
- [3] Task Scheduling Algorithms and Resource Access Protocols in Real Time Systems [J]. 2019 INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND DATA PROCESSING (IDAP 2019), 2019,
- [4] A task graph model for design and implementation of real-time systems [J]. SECOND IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS: HELD JOINTLY WITH 6TH CSESAW, 4TH IEEE RTAW, AND SES'96, 1996, : 432 - 441
- [6] The Generalized Graph Real-Time Task Model [J]. 2022 IEEE 20TH INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING, EUC, 2022, : 120 - 127
- [7] Supporting lock-based multiprocessor resource sharing protocols in real-time programming languages [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2013, 25 (16): : 2227 - 2251
- [9] Protocol-Transparent Resource Sharing in Hierarchically Scheduled Real-Time Systems [J]. 2010 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2010,
- [10] On the Design and Implementation of Real-Time Resource Access Protocols [J]. 2020 X BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEMS ENGINEERING (SBESC), 2020,