Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm (Q2251369): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11241-012-9172-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2036749964
@@ Property / OpenAlex ID: W2036749964 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472231
@@ Property / cites work: Q4472231 / rank @@
+Normal rank
@@ Property / cites work @@
+Brute-Force Determination of Multiprocessor Schedulability for Sets of Sporadic Hard-Deadline Tasks
+Normal rank
@@ Property / cites work @@
+Feasibility analysis of sporadic real-time multiprocessor task systems
+Normal rank
@@ Property / cites work @@
+Antichains: A New Algorithm for Checking Universality of Finite Automata
+Normal rank
@@ Property / cites work @@
+Antichain Algorithms for Finite Automata
@@ Property / cites work: Antichain Algorithms for Finite Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Task automata: Schedulability, decidability and undecidability
+Normal rank
@@ Property / cites work @@
+An Antichain Algorithm for LTL Realizability
@@ Property / cites work: An Antichain Algorithm for LTL Realizability / rank @@
+Normal rank
@@ Property / cites work @@
+Priority-driven scheduling of periodic task systems on multiprocessors
+Normal rank
@@ Property / cites work @@
+Q4252730
@@ Property / cites work: Q4252730 / rank @@
+Normal rank
@@ Property / cites work @@
+Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
+Normal rank
@@ Property / cites work @@
+Q3392273
@@ Property / cites work: Q3392273 / rank @@
+Normal rank