WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model (Q2464934): Difference between revisions

@@ Property / describes a project that uses @@
+TIMES
@@ Property / describes a project that uses: TIMES / rank @@
+Normal rank
@@ 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.1016/j.tcs.2007.03.054
+Normal rank
@@ Property / OpenAlex ID @@
+W1971395575
@@ Property / OpenAlex ID: W1971395575 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417893
@@ Property / cites work: Q4417893 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038702
@@ Property / cites work: Q4038702 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4289659
@@ Property / cites work: Q4289659 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4948010
@@ Property / cites work: Q4948010 / rank @@
+Normal rank
@@ Property / cites work @@
+Scheduling periodic tasks on uniform multiprocessors
+Normal rank
@@ Property / cites work @@
+New upper bounds for generalized intersection searching problems
+Normal rank
@@ Property / cites work @@
+A complete axiomatization of finite-state ACSR processes
+Normal rank
@@ Property / cites work @@
+Minimal schedulability interval for real-time systems of periodic tasks with offsets
+Normal rank
@@ Property / cites work @@
+Q4132170
@@ Property / cites work: Q4132170 / rank @@
+Normal rank
@@ Property / cites work @@
+Scheduling hard sporadic tasks with regular languages and generating functions.
+Normal rank
@@ Property / cites work @@
+Optimization and Approximation in Deterministic Sequencing and Scheduling: a Survey
+Normal rank
@@ Property / cites work @@
+Off-line computation of real-time schedules using Petri nets
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Discrete Geometry for Computer Imagery
@@ Property / cites work: Discrete Geometry for Computer Imagery / rank @@
+Normal rank
@@ Property / cites work @@
+A note on preemptive scheduling of periodic, real-time tasks
+Normal rank
@@ Property / cites work @@
+Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
+Normal rank
@@ Property / cites work @@
+Periodic oscillations of coefficients of power series that satisfy functional equations
+Normal rank
@@ Property / cites work @@
+Q5643915
@@ Property / cites work: Q5643915 / rank @@
+Normal rank
@@ Property / cites work @@
+Priority inheritance protocols: an approach to real-time synchronization
+Normal rank
@@ Property / cites work @@
+Q3221371
@@ Property / cites work: Q3221371 / rank @@
+Normal rank