eldorado.tu-dortmund.de/collections/7afd7c3d-68ca-4d0d-98ee-1856635d1245
Entwurfsautomatisierung für Eingebettete Systeme
more
Loading...
Item
Thread carefully: preventing starvation in the ROS 2 multithreaded executor
( 2024-11-06 ) Teper, Harun ; Kuhse, Daniel ; Günzel, Mario ; Brüggen, Georg von der ; Howar, Falk ; Chen [...] model checking.
Show more
Loading...
Item
End-to-end latency of cause-effect chains: a tutorial
( 2024-12-10 ) Günzel, Mario ; Teper, Harun ; Brüggen, Georg von der ; Chen, Jian-Jia
Show more
In many [...] latencies.
Show more
Loading...
Item
Property-based timing analysis of distributed real-time systems
( 2024 ) Günzel, Mario ; Chen, Jian-Jia ; Baruah, Sanjoy
Show more
For real-time systems, timing requirements …