Optimizing path real-time logic for unified real-time system (Q1701817): Difference between revisions

@@ Property / DOI @@
-.1007/s00500-016-2178-y
@@ Property / DOI: 10.1007/s00500-016-2178-y / 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.1007/s00500-016-2178-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2375291968
@@ Property / OpenAlex ID: W2375291968 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Verification and Optimization of Real-Time Logic-Specified Systems
+Normal rank
@@ Property / cites work @@
+Weakly hard real-time systems
@@ Property / cites work: Weakly hard real-time systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3431056
@@ Property / cites work: Q3431056 / rank @@
+Normal rank
@@ Property / cites work @@
+A dynamic priority assignment technique for streams with (m, k)-firm deadlines
+Normal rank
@@ Property / cites work @@
+A Graph-Theoretic Approach for Timing Analysis and its Implementation
+Normal rank
@@ Property / cites work @@
+A Stackelberg game-theoretic approach to optimal real-time pricing for the smart grid
+Normal rank
@@ Property / cites work @@
+Triple Speed: Energy-Aware Real-Time Task Synchronization in Homogeneous Multi-Core Systems
+Normal rank
@@ Property / cites work @@
+A Weakly Hard Real-Time Schedule Algorithm Based on Cutting Down
+Normal rank
@@ Property / DOI @@
+.1007/S00500-016-2178-Y
@@ Property / DOI: 10.1007/S00500-016-2178-Y / rank @@
+Normal rank