Formal Verification of Hybrid Systems (Page 273) Relating Average and Discounted Costs for Quantitative Analysis of Timed Systems (Page 165)

[1]  Soontae Kim,et al.  Dynamic scheduling algorithm and its schedulability analysis for certifiable dual-criticality systems , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

[2]  Edward A. Lee,et al.  Time-predictable and composable architectures for dependable embedded systems , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

[3]  Manfred Broy,et al.  Cross-layer analysis, testing and verification of automotive control software , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

[4]  Peter Marwedel,et al.  A synergetic approach to accurate analysis of cache-related preemption delay , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

[5]  James H. Anderson,et al.  Real-time resource-sharing under clustered scheduling: mutex, reader-writer, and k-exclusion locks , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

[6]  Tei-Wei Kuo,et al.  Task synchronization and allocation for many-core real-time systems , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

[7]  Jianhua Li,et al.  ExLRU: A unified write buffer cache management for flash memory , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).