Robert I. Davis
- A Survey of Probabilistic Timing Analysis Techniques for Real-Time Systems
2019/01/01 by Robert I. Davis, Davis, Robert I., Liliana Cucu‐Grosjean +1 · 3 citations
Computer Science · #Real-Time Systems Scheduling #Embedded Systems Design Techniques #Formal Methods in Verification
- A Survey of Probabilistic Schedulability Analysis Techniques for Real-Time Systems
2019/01/01 by Robert I. Davis, Davis, Robert I., Liliana Cucu‐Grosjean +1 · 2 citations
Computer Science · #Real-Time Systems Scheduling #Petri Nets in System Modeling #Embedded Systems Design Techniques
- A Comparison between Fixed Priority and EDF Scheduling accounting for Cache Related Pre-emption Delays
2014/01/01 by Will Lunniss, Lunniss, Will, Sebastian Altmeyer +3 · 1 citation
Computer Science · #Real-Time Systems Scheduling #Distributed systems and fault tolerance #Parallel Computing and Optimization Techniques
- Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised
2007/01/30 by Robert I. Davis, Alan Burns, Reinder J. Bril +1 · 1 citation
Computer Science · #Real-Time Systems Scheduling #Petri Nets in System Modeling #Embedded Systems Design Techniques