A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets (Q488240): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+M20
@@ Property / Mathematics Subject Classification ID: 68M20 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6390327
@@ Property / zbMATH DE Number: 6390327 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+multicore systems
@@ Property / zbMATH Keywords: multicore systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+worst-case response time analysis
@@ Property / zbMATH Keywords: worst-case response time analysis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+resource contention
@@ Property / zbMATH Keywords: resource contention / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+real-time simulation
@@ Property / zbMATH Keywords: real-time simulation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+timed model checking
@@ Property / zbMATH Keywords: timed model checking / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+real-time performance analysis
@@ Property / zbMATH Keywords: real-time performance analysis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+predictable execution model
@@ Property / zbMATH Keywords: predictable execution model / rank @@
+Normal rank

Revision as of 21:04, 30 June 2023