An Evaluation of SMT-Based Schedule Synthesis for Time-Triggered Multi-hop Networks

By Wilfried Steiner. IEEE Real-Time Systems Symposium, 2010

316 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/8faace4a2a5018b624c1c75b215a96e6a46edbfa

Citations in the corpus

• Scheduling Real-Time Communication in IEEE 802.1Qbv Time Sensitive Networks (2016, unknown): “We model the network, similar to [8] and [33], as a directed graph G ( , L ), where the nodes (switches and end-systems) are the set of graph vertices ( ) and the links between nodes are represented through the graph edges ( ✓ V ⇥ V ). and v A full-duplex physical link between nodes v a 2 V b 2 V…”