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

@@ 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