The following pages link to (Q4473721):
Displaying 10 items.
- Giotto (Q20966) (← links)
- Verification of distributed systems with local-global predicates (Q432134) (← links)
- Energy-optimal batching periods for asynchronous multistage data processing on sensor nodes: foundations and an mPlatform case study (Q438186) (← links)
- Verifying distributed real-time properties of embedded systems via graph transformations and model checking (Q853626) (← links)
- Isolation scheduling on multicores: model and scheduling approaches (Q2364032) (← links)
- Shrinking timed automata (Q2637311) (← links)
- Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions (Q3506862) (← links)
- Analyzing Real-Time Event-Driven Programs (Q3648830) (← links)
- On Implementable Timed Automata (Q5041274) (← links)
- DMAC: Deadline-Miss-Aware Control (Q5089086) (← links)