共 50 条
- [2] Correspondence Article: Counterexample for suspension-aware schedulability analysis of EDF scheduling Real-Time Systems, 2020, 56 : 490 - 493
- [4] Reduction-based schedulability analysis of distributed systems with cycles in the task graph Real-Time Systems, 2010, 46 : 121 - 151
- [6] Flow-based Mode Changes: Towards Virtual Uniprocessor Models for Efficient Reduction-based Schedulability Analysis of Distributed Systems 2009 30TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2009, : 281 - 290
- [7] Deferrable scheduling for temporal consistency: Schedulability analysis and overhead reduction 12TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2006, : 117 - 124
- [8] Delay Composition Algebra: A Reduction-based Schedulability Algebra for Distributed Real-Time Systems RTSS: 2008 REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2008, : 259 - 269
- [9] Reduction-Based Formal Analysis of BGP Instances TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2012, 2012, 7214 : 283 - 298