共 50 条
- [41] A Event-B-Based Approach for Schedulability Analysis For Real-Time Scheduling Algorithms through Deadlock Detection ENGINEERING OF COMPLEX COMPUTER SYSTEMS, ICECCS 2024, 2025, 14784 : 223 - 244
- [45] An improved formalization analysis approach to determine schedulability of global multiprocessor scheduling based on symbolic safety analysis and statistical model checking in smartphone systems CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2019, 22 (02): : S2543 - S2554
- [46] Schedulability and Scheduling Analysis of Dual-Arm Cluster Tools with Wafer Revisiting and Residency Time Constraints Based on a Novel Schedule IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2015, 45 (03): : 472 - 484
- [47] Neighborhood Rough Set Reduction-Based Gene Selection and Prioritization for Gene Expression Profile Analysis and Molecular Cancer Classification JOURNAL OF BIOMEDICINE AND BIOTECHNOLOGY, 2010,
- [49] Modeling and performance analysis of grid task scheduling based on composition and reduction of Petri nets GCC 2005: FIFTH INTERNATIONAL CONFERENCE ON GRID AND COOPERATIVE COMPUTING, PROCEEDINGS, 2006, : 331 - +