Exact Schedulability Analysis for Static-Priority Global Multiprocessor Scheduling Using Model-Checking

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-75664-4_26
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Schedulability Analysis and Priority Assignment for Global Job-Level Fixed-Priority Multiprocessor Scheduling

2012English

Schedulability Analysis of Global Scheduling Algorithms on Multiprocessor Platforms

IEEE Transactions on Parallel and Distributed Systems
HardwareComputational TheorySignal ProcessingArchitectureMathematics
2009English

Schedulability Analysis on Generalized Quantum-Based Fixed Priority Scheduling

IEICE Transactions on Information and Systems
Electronic EngineeringPattern RecognitionHardwareComputer VisionElectricalArchitectureArtificial IntelligenceSoftware
2009English

Efficient Exact Schedulability Tests for Fixed Priority Real-Time Systems

IEEE Transactions on Computers
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceSoftware
2008English

Portioned Static-Priority Scheduling on Multiprocessors

2008 IEEE International Symposium on Parallel and Distributed Processing
2008English

Schedulability Tests for Tasks With Variable Rate-Dependent Behaviour Under Fixed Priority Scheduling

2014English

Commentary To: An Exact Schedulability Test for Fixed-Priority Preemptive Mixed-Criticality Real-Time Systems

Real-Time Systems
ControlSystems EngineeringOptimizationElectronic EngineeringComputer NetworksSimulationCommunicationsComputer Science ApplicationsElectricalModeling
2020English

Suspension-Aware Analysis for Hard Real-Time Multiprocessor Scheduling

2013English

DP-FAIR: A Simple Model for Understanding Optimal Multiprocessor Scheduling

2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy