Modeling and Optimization of Parallel and Distributed Embedded Systems

References

1. [1] Marwedel, P. (2010) Embedded and Cyber-Physical Systems in a Nutshell, in Design Automation Conference (DAC) Knowledge Center Article. http://www.dac.com/front_end+topics.aspx?article=58&topic=1.
2. [2] Edwards, S., Lavagno, L., Lee, E., and Sangiovanni-Vincentelli, A. (1997) Design of Embedded Systems: Formal Models, Validation, and Synthesis. Proceedings of the IEEE, 85 (3), 366–390.
3. [3] Wolf, M. (2014) High-Performance Embedded Computing: Applications in Cyber-Physical Systems and Mobile Computing, Elsevier Morgan Kaufmann.
4. [4] Wang, S. and Riccardo, B. (2001) Reactive Speed Control in Temperature-Constrained Real-Time Systems, in Proceedings of Euromicro Conference on Real-Time Systems, Yokohama, Japan, pp. 239–244.
5. [5] Dally, W., Balfour, J., Black-Shaffer, D., Chen, J., Harting, R., Parikh, V., Park, J., and Sheffield, D. (2008) Efficient Embedded Computing. IEEE Computer, 41 (7), 27–32.
6. [6] Balfour, J. (2010) Efficient Embedded Computing. Ph.D. Thesis, EE Department, Stanford University.
7. [7] Gepner, P., Fraser, D., Kowalik, M., and Tylman, R. (2009) New Multi-Core Intel Xeon Processors Help Design Energy Efficient Solution for High Performance Computing, in Proceedings of IMCSIT, Mragowo, Poland.
8. [8] Crowley, P., Franklin, M., Buhler, J., and Chamberlain, R. (2006) Impact of CMP Design on High-Performance Embedded Computing, in Proceedings of HPEC Workshop, Lexington, Massachusetts.
9. [9] Lee, E. (2006) Cyber-Physical Systems—Are Computing Foundations Adequate? ...