Combined task- and network-level scheduling for distributed time-triggered systems (Q258438): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+M20
@@ Property / Mathematics Subject Classification ID: 68M20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+M14
@@ Property / Mathematics Subject Classification ID: 68M14 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6553208
@@ Property / zbMATH DE Number: 6553208 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+time-triggered systems
@@ Property / zbMATH Keywords: time-triggered systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+scheduling
@@ Property / zbMATH Keywords: scheduling / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+SMT
@@ Property / zbMATH Keywords: SMT / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+MIP
@@ Property / zbMATH Keywords: MIP / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+mixed-criticality
@@ Property / zbMATH Keywords: mixed-criticality / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+distributed systems
@@ Property / zbMATH Keywords: distributed systems / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sparrow Scheduler
@@ Property / describes a project that uses: Sparrow Scheduler / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Gurobi
@@ Property / describes a project that uses: Gurobi / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GLPK
@@ Property / describes a project that uses: GLPK / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Yices
@@ Property / describes a project that uses: Yices / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AIMMS
@@ Property / describes a project that uses: AIMMS / 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/s11241-015-9244-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2226559569
@@ Property / OpenAlex ID: W2226559569 / rank @@
+Normal rank
@@ Property / cites work @@
+Schedulability-driven communication synthesis for time triggered embedded systems
+Normal rank
@@ Property / cites work @@
+Optimal design of virtual links in AFDX networks
@@ Property / cites work: Optimal design of virtual links in AFDX networks / rank @@
+Normal rank
@@ Property / cites work @@
+Strictly periodic scheduling in IMA-based architectures
+Normal rank
@@ Property / cites work @@
+Satisfiability Modulo Theories: An Appetizer
@@ Property / cites work: Satisfiability Modulo Theories: An Appetizer / rank @@
+Normal rank
@@ Property / cites work @@
+Q3506045
@@ Property / cites work: Q3506045 / rank @@
+Normal rank
@@ Property / cites work @@
+Feasibility analysis of real-time periodic tasks with offsets
+Normal rank
@@ Property / cites work @@
+Q4371835
@@ Property / cites work: Q4371835 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4821818
@@ Property / cites work: Q4821818 / 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 @@
+Theoretical aspects of distributed computing in sensor networks.
+Normal rank
@@ Property / cites work @@
+Q4208561
@@ Property / cites work: Q4208561 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:258438