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

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