444
Literaturverzeichnis
205. Hastie, T., Tibshirani, R., Friedman, R.: The Elements of Statistical Learning: Data Mining,
Inference, and Prediction. Springer (2008)
206. Hattori, T.: MPSoC approaches for low-power embedded SoC’s. https://mpsoc-forum.org/
archive/2007/slides/Hattori.pdf (2007)
207. Haubelt, C., Teich, J.: Digitale Hardware/Software-Systeme: Spezifikation und Verifikation.
eXamen.press. Springer Berlin Heidelberg (2010). URL https://books.google.de/books?id=
eNwfBAAAQBAJ
208. Haugen, O., Moller-Pedersen, B.: Introduction to UML and the modeling of embedded
systems. In: R. Zurawski (ed.): Embedded Systems Handbook, CRC Press (2006)
209. Hayes, J.: A unified switching theory with applications to VLSI design. Proceedings of the
IEEE, Vol.70 pp. 1140–1151 (1982)
210. Heemels, W., Johansson, K., Tabuada, P.: An introduction to event-triggered and self-triggered
control. In: Decision and Control (CDC), 2012 IEEE 51st Annual Conference on, pp. 3270–
3285 (2012). DOI 10.1109/CDC.2012.6425820
211. Henia, R., Hamann, A., Jersak, M., Racu, R., Richter, K., Ernst, R.: System level performance
analysis - the SymTA/S approach. IEEE Computers and Digital Techniques pp. 148–166
(2005)
212. Hennessy, J.L., Patterson, D.A.: Computer Architecture – A Quantitative Approach, 5 edn.
Morgan Kaufmann Publishers Inc. (2011)
213. Hennessy, J.L., Patterson, D.A.: Computer Organization – The Hardware/Software Interface.
Morgan Kaufmann Publishers Inc. (2013)
214. Henzinger, T., Sifakis, J.: The embedded systems design challenge. FM 2006: Formal Methods, Lecture Notes in Computer Science, Vol. 4085 pp. 1–15 (2006)
215. Herken, R.: The Universal Turing Machine: A half-century survey. Springer (1995)
216. Herrera, F., Fernández, V., Sánchez, P., Villar, E.: Embedded software generation from
SystemC for platform based design. In: [408] pp. 247–272 (2003)
217. Herrera, F., Posadas, H., Sánchez, P., Villar, E.: Systemic embedded software generation from
SystemC. Proceedings of Design, Automation and Test in Europe (DATE) pp. 10,142–10,149
(2003)
218. Hoare, C.: Communicating Sequential Processes. Prentice Hall International Series in Computer Science (1985)
219. Hofer, W., Lohmann, D., Scheler, F., Schröder-Preikschat, W.: Sloth: Threads as interrupts.
Proceedings of the Real-Time Systems Symposium (RTSS) pp. 2004–2013 (2009)
220. Hofmann, M., Jost, S.: Static prediction of heap space usage for first-order functional programs. In: Proceedings of the Symposium on Principles of Programming Languages (POPL),
pp. 185–197. ACM, New York, NY, USA (2003). DOI 10.1145/604131.604148
221. Holzkamp, O.: Memory-aware mapping strategies for heterogeneous MPSoC systems. Ph.D.
thesis, TU Dortmund (2017). URL https://eldorado.tu-dortmund.de/handle/2003/35958
222. Hopcroft, J., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and
Computation. Addison Wesley (2006)
223. Horn, W.: Some simple scheduling algorithms. Naval Research Logistics Quarterly, Vol. 21
pp. 177–185 (1974)
224. Huang, L., Xu, Q.: AgeSim: A simulation framework for evaluating the lifetime reliability
of processor-based SoCs. Proceedings of Design, Automation and Test in Europe (DATE)
(2010)
225. Huerlimann, D.: Opentrack home page. http://www.opentrack.ch (2020)
226. Hüls, T.: Energieoptimierung einer MPEG-Applikation. Master thesis, CS Dept., Univ.
Dortmund, https://ls12-www.cs.tu-dortmund.de/daes/en/research/publications/completedtheses.html (2002)
227. Hunt, V.D., Puglia, A., Puglia, M.: RFID: a guide to radio frequency identification. Wiley
(2007)
228. IBM: What’s new in Rational Rhapsody 7.5.1. http://www.ibm.com/developerworks/rational/
library/09/whatsnewinrationalrhapsody-7-5-1 (2009)
229. IBM: Rational DOORS. http://www-01.ibm.com/software/awdtools/doors/ (2016)
Literaturverzeichnis
205. Hastie, T., Tibshirani, R., Friedman, R.: The Elements of Statistical Learning: Data Mining,
Inference, and Prediction. Springer (2008)
206. Hattori, T.: MPSoC approaches for low-power embedded SoC’s. https://mpsoc-forum.org/
archive/2007/slides/Hattori.pdf (2007)
207. Haubelt, C., Teich, J.: Digitale Hardware/Software-Systeme: Spezifikation und Verifikation.
eXamen.press. Springer Berlin Heidelberg (2010). URL https://books.google.de/books?id=
eNwfBAAAQBAJ
208. Haugen, O., Moller-Pedersen, B.: Introduction to UML and the modeling of embedded
systems. In: R. Zurawski (ed.): Embedded Systems Handbook, CRC Press (2006)
209. Hayes, J.: A unified switching theory with applications to VLSI design. Proceedings of the
IEEE, Vol.70 pp. 1140–1151 (1982)
210. Heemels, W., Johansson, K., Tabuada, P.: An introduction to event-triggered and self-triggered
control. In: Decision and Control (CDC), 2012 IEEE 51st Annual Conference on, pp. 3270–
3285 (2012). DOI 10.1109/CDC.2012.6425820
211. Henia, R., Hamann, A., Jersak, M., Racu, R., Richter, K., Ernst, R.: System level performance
analysis - the SymTA/S approach. IEEE Computers and Digital Techniques pp. 148–166
(2005)
212. Hennessy, J.L., Patterson, D.A.: Computer Architecture – A Quantitative Approach, 5 edn.
Morgan Kaufmann Publishers Inc. (2011)
213. Hennessy, J.L., Patterson, D.A.: Computer Organization – The Hardware/Software Interface.
Morgan Kaufmann Publishers Inc. (2013)
214. Henzinger, T., Sifakis, J.: The embedded systems design challenge. FM 2006: Formal Methods, Lecture Notes in Computer Science, Vol. 4085 pp. 1–15 (2006)
215. Herken, R.: The Universal Turing Machine: A half-century survey. Springer (1995)
216. Herrera, F., Fernández, V., Sánchez, P., Villar, E.: Embedded software generation from
SystemC for platform based design. In: [408] pp. 247–272 (2003)
217. Herrera, F., Posadas, H., Sánchez, P., Villar, E.: Systemic embedded software generation from
SystemC. Proceedings of Design, Automation and Test in Europe (DATE) pp. 10,142–10,149
(2003)
218. Hoare, C.: Communicating Sequential Processes. Prentice Hall International Series in Computer Science (1985)
219. Hofer, W., Lohmann, D., Scheler, F., Schröder-Preikschat, W.: Sloth: Threads as interrupts.
Proceedings of the Real-Time Systems Symposium (RTSS) pp. 2004–2013 (2009)
220. Hofmann, M., Jost, S.: Static prediction of heap space usage for first-order functional programs. In: Proceedings of the Symposium on Principles of Programming Languages (POPL),
pp. 185–197. ACM, New York, NY, USA (2003). DOI 10.1145/604131.604148
221. Holzkamp, O.: Memory-aware mapping strategies for heterogeneous MPSoC systems. Ph.D.
thesis, TU Dortmund (2017). URL https://eldorado.tu-dortmund.de/handle/2003/35958
222. Hopcroft, J., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and
Computation. Addison Wesley (2006)
223. Horn, W.: Some simple scheduling algorithms. Naval Research Logistics Quarterly, Vol. 21
pp. 177–185 (1974)
224. Huang, L., Xu, Q.: AgeSim: A simulation framework for evaluating the lifetime reliability
of processor-based SoCs. Proceedings of Design, Automation and Test in Europe (DATE)
(2010)
225. Huerlimann, D.: Opentrack home page. http://www.opentrack.ch (2020)
226. Hüls, T.: Energieoptimierung einer MPEG-Applikation. Master thesis, CS Dept., Univ.
Dortmund, https://ls12-www.cs.tu-dortmund.de/daes/en/research/publications/completedtheses.html (2002)
227. Hunt, V.D., Puglia, A., Puglia, M.: RFID: a guide to radio frequency identification. Wiley
(2007)
228. IBM: What’s new in Rational Rhapsody 7.5.1. http://www.ibm.com/developerworks/rational/
library/09/whatsnewinrationalrhapsody-7-5-1 (2009)
229. IBM: Rational DOORS. http://www-01.ibm.com/software/awdtools/doors/ (2016)