Automated competitive analysis of real-time scheduling with graph games (Q1698779): Difference between revisions

@@ Property / cites work @@
+Resource reservation in dynamic real-time systems
@@ Property / cites work: Resource reservation in dynamic real-time systems / rank @@
+Normal rank
@@ Property / cites work @@
+Scheduler modeling based on the controller synthesis paradigm
+Normal rank
@@ Property / cites work @@
+On the competitiveness of on-line real-time task scheduling
+Normal rank
@@ Property / cites work @@
+$\text{D}^{\textit{over}}$: An Optimal On-Line Scheduling Algorithm for Overloaded Uniprocessor Real-Time Systems
+Normal rank
@@ Property / cites work @@
+Feasibility analysis of sporadic real-time multiprocessor task systems
+Normal rank
@@ Property / cites work @@
+Q4223058
@@ Property / cites work: Q4223058 / rank @@
+Normal rank
@@ Property / cites work @@
+Faster algorithms for mean-payoff games
@@ Property / cites work: Faster algorithms for mean-payoff games / rank @@
+Normal rank
@@ Property / cites work @@
+Automated analysis of real-time scheduling using graph games
+Normal rank
@@ Property / cites work @@
+Polynomial-time algorithms for energy games with special weight structures
+Normal rank
@@ Property / cites work @@
+A calculus for network delay. I. Network elements in isolation
+Normal rank
@@ Property / cites work @@
+Faster algorithms for quantitative verification in constant treewidth graphs
+Normal rank
@@ Property / cites work @@
+Competitive analysis of online real-time scheduling algorithms under hard energy constraint
+Normal rank
@@ Property / cites work @@
+Positional strategies for mean payoff games
@@ Property / cites work: Positional strategies for mean payoff games / rank @@
+Normal rank
@@ Property / cites work @@
+Q2934599
@@ Property / cites work: Q2934599 / rank @@
+Normal rank
@@ Property / cites work @@
+Succinct representations of graphs
@@ Property / cites work: Succinct representations of graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Online real-time preemptive scheduling of jobs with deadlines on multiple machines
+Normal rank
@@ Property / cites work @@
+Reducibility among Combinatorial Problems
@@ Property / cites work: Reducibility among Combinatorial Problems / rank @@
+Normal rank
@@ Property / cites work @@
+A characterization of the minimum cycle mean in a digraph
+Normal rank
@@ Property / cites work @@
+Q3050157
@@ Property / cites work: Q3050157 / rank @@
+Normal rank
@@ Property / cites work @@
+Scheduling without Payments
@@ Property / cites work: Scheduling without Payments / rank @@
+Normal rank
@@ Property / cites work @@
+A new algorithm for scheduling periodic, real-time tasks
+Normal rank
@@ Property / cites work @@
+A New Approach to Online Scheduling
@@ Property / cites work: A New Approach to Online Scheduling / rank @@
+Normal rank
@@ Property / cites work @@
+Borel determinacy
@@ Property / cites work: Borel determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic Game Theory
@@ Property / cites work: Algorithmic Game Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221403
@@ Property / cites work: Q3221403 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Games
@@ Property / cites work: Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of mean payoff games on graphs
@@ Property / cites work: The complexity of mean payoff games on graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of multi-mean-payoff and multi-energy games
+Normal rank