Literaturverzeichnis
447
277. Jones, N.D.: An introduction to partial evaluation. ACM Comput. Surv. 28(3), 480–503
(1996). DOI http://doi.acm.org/10.1145/243439.243447
278. Jouppi, N., Young, C., Patil, N., Patterson, D.: A Domain-Specific Architecture for Deep
Neural Networks. Commun. ACM pp. 50–59 (2018). DOI 10.1145/3154484
279. Kahn, G.: The semantics of a simple language for parallel programming. Proc. of the Int.
Federation for Information Processing (IFIP) pp. 471–475 (1974)
280. Kamal, R.: Embedded systems: architecture, programming and design. Tata McGraw-Hill
(2003)
281. Kang, S., Dean, A.G.: Leveraging Both Data Cache and Scratchpad Memory Through Synergetic Data Allocation. In: Proceedings of the Real Time and Embedded Technology and
Applications Symposium (RTAS), pp. 119–128. IEEE Computer Society, Washington, DC,
USA (2012). DOI 10.1109/RTAS.2012.22
282. Kannan, A., Shrivastava, A., Pabalkar, A., Lee, J.E.: A Software Solution for Dynamic Stack
Management on Scratch Pad Memory. In: Proceedings of the Asia and South Pacific Design
Automation Conference (ASPDAC), pp. 612–617 (2009)
283. Karp, R.M., Miller, R.E.: Properties of a model for parallel computations: Determinancy,
termination, queueing. SIAM Journal of Applied Mathematics 14, 1390–1411 (1966)
284. Keding, H., Willems, M., Coors, M., Meyr, H.: FRIDGE: A fixed-point design and simulation
environment. Design, Automation and Test in Europe (DATE) pp. 429–435 (1998)
285. Keim, M., Drechsler, R., Becker, B., Martin, M., Molitor, P.: Polynomial formal verification
of multipliers. Formal Methods in System Design 22, 39–58 (2003)
286. Keinert, J., Streubühr, M., Schlichter, T., Falk, J., Gladigau, J., Haubelt, C., Teich, J., Meredith,
M.: SystemCodesigner – an automatic ESL synthesis approach by design space exploration
and behavioral synthesis for streaming applications. ACM Transactions on Design Automation of Electronic Systems 14, 1–23 (2009)
287. Kelter, T., Marwedel, P.: Parallelism analysis: Precise WCET values for complex multi-core
systems. Sci. Comput. Program. 133, 175–193 (2017). DOI 10.1016/j.scico.2016.01.007.
URL http://dx.doi.org/10.1016/j.scico.2016.01.007
288. Kempe, M.: Ada 95 reference manual, ISO/IEC standard 8652:1995. (HTML-version),
http://www.adahome.com/rm95/ (1995)
289. Kempe Software Capital Enterprises (KSCE): Ada home: The web site for Ada. http://www.
adahome.com (2021)
290. Kernighan, B.W., Ritchie, D.M.: The C Programming Language. Prentice Hall (1988)
291. Kerrison, S., Eder, K.: Energy modeling of software for a hardware multithreaded embedded
microprocessor. ACM Trans. Embed. Comput. Syst. 14(3), 56:1–56:25 (2015). DOI 10.1145/
2700104. URL http://doi.acm.org/10.1145/2700104
292. Khorramabadi, H.: ADC Converters – Pipelined ADCs. UC Berkeley, EECS 247, Lecture
22, http://www-inst.eecs.berkeley.edu/~ee247/fa05/lectures/L22_f05.pdf (2005)
293. Khorramabadi, H.: Oversampled ADCs. UC Berkeley, EECS 247, Lecture 23, http://wwwinst.eecs.berkeley.edu/~ee247/fa05/lectures/L22_f05.pdf (2009)
294. Kienhuis, B., Rijjpkema, E., Deprettere, E.: Compaan: Deriving process networks from
Matlab for embedded signal processing architectures. Proceedings of the International Symposium on Hardware-Software Codesign (CODES) pp. 29–40 (2000)
295. Kim, J., Lee, S., Shin, H.: Effective task scheduling for embedded systems using iterative
cluster slack optimization. Circuits and Systems 4, 479–488 (2013)
296. Klaiber, A.: The technology behind Crusoe ™ processors. http://web.archive.org/web/
20010602205826/www.transmeta.com/crusoe/download/pdf/crusoetechwp.pdf (2000)
297. Kleidermacher, D., Kleidermacher, M.: Embedded Systems Security – Practical Methods for
Safe and Secure Software and Systems Development. Newnes (2012)
298. Klumpp, M., Clausen, U., ten Hompel, M.: Logistics Research and the Logistics World of
2050, pp. 1–6. Springer Berlin Heidelberg, Berlin, Heidelberg (2013). DOI 10.1007/978-3642-32838-1_1. URL http://dx.doi.org/10.1007/978-3-642-32838-1_1
299. Ko, M., Koo, I.: An overview of interactive video on demand system. http://www.ece.ubc.ca/
~irenek/techpaps/vod/vod.html (1996)
447
277. Jones, N.D.: An introduction to partial evaluation. ACM Comput. Surv. 28(3), 480–503
(1996). DOI http://doi.acm.org/10.1145/243439.243447
278. Jouppi, N., Young, C., Patil, N., Patterson, D.: A Domain-Specific Architecture for Deep
Neural Networks. Commun. ACM pp. 50–59 (2018). DOI 10.1145/3154484
279. Kahn, G.: The semantics of a simple language for parallel programming. Proc. of the Int.
Federation for Information Processing (IFIP) pp. 471–475 (1974)
280. Kamal, R.: Embedded systems: architecture, programming and design. Tata McGraw-Hill
(2003)
281. Kang, S., Dean, A.G.: Leveraging Both Data Cache and Scratchpad Memory Through Synergetic Data Allocation. In: Proceedings of the Real Time and Embedded Technology and
Applications Symposium (RTAS), pp. 119–128. IEEE Computer Society, Washington, DC,
USA (2012). DOI 10.1109/RTAS.2012.22
282. Kannan, A., Shrivastava, A., Pabalkar, A., Lee, J.E.: A Software Solution for Dynamic Stack
Management on Scratch Pad Memory. In: Proceedings of the Asia and South Pacific Design
Automation Conference (ASPDAC), pp. 612–617 (2009)
283. Karp, R.M., Miller, R.E.: Properties of a model for parallel computations: Determinancy,
termination, queueing. SIAM Journal of Applied Mathematics 14, 1390–1411 (1966)
284. Keding, H., Willems, M., Coors, M., Meyr, H.: FRIDGE: A fixed-point design and simulation
environment. Design, Automation and Test in Europe (DATE) pp. 429–435 (1998)
285. Keim, M., Drechsler, R., Becker, B., Martin, M., Molitor, P.: Polynomial formal verification
of multipliers. Formal Methods in System Design 22, 39–58 (2003)
286. Keinert, J., Streubühr, M., Schlichter, T., Falk, J., Gladigau, J., Haubelt, C., Teich, J., Meredith,
M.: SystemCodesigner – an automatic ESL synthesis approach by design space exploration
and behavioral synthesis for streaming applications. ACM Transactions on Design Automation of Electronic Systems 14, 1–23 (2009)
287. Kelter, T., Marwedel, P.: Parallelism analysis: Precise WCET values for complex multi-core
systems. Sci. Comput. Program. 133, 175–193 (2017). DOI 10.1016/j.scico.2016.01.007.
URL http://dx.doi.org/10.1016/j.scico.2016.01.007
288. Kempe, M.: Ada 95 reference manual, ISO/IEC standard 8652:1995. (HTML-version),
http://www.adahome.com/rm95/ (1995)
289. Kempe Software Capital Enterprises (KSCE): Ada home: The web site for Ada. http://www.
adahome.com (2021)
290. Kernighan, B.W., Ritchie, D.M.: The C Programming Language. Prentice Hall (1988)
291. Kerrison, S., Eder, K.: Energy modeling of software for a hardware multithreaded embedded
microprocessor. ACM Trans. Embed. Comput. Syst. 14(3), 56:1–56:25 (2015). DOI 10.1145/
2700104. URL http://doi.acm.org/10.1145/2700104
292. Khorramabadi, H.: ADC Converters – Pipelined ADCs. UC Berkeley, EECS 247, Lecture
22, http://www-inst.eecs.berkeley.edu/~ee247/fa05/lectures/L22_f05.pdf (2005)
293. Khorramabadi, H.: Oversampled ADCs. UC Berkeley, EECS 247, Lecture 23, http://wwwinst.eecs.berkeley.edu/~ee247/fa05/lectures/L22_f05.pdf (2009)
294. Kienhuis, B., Rijjpkema, E., Deprettere, E.: Compaan: Deriving process networks from
Matlab for embedded signal processing architectures. Proceedings of the International Symposium on Hardware-Software Codesign (CODES) pp. 29–40 (2000)
295. Kim, J., Lee, S., Shin, H.: Effective task scheduling for embedded systems using iterative
cluster slack optimization. Circuits and Systems 4, 479–488 (2013)
296. Klaiber, A.: The technology behind Crusoe ™ processors. http://web.archive.org/web/
20010602205826/www.transmeta.com/crusoe/download/pdf/crusoetechwp.pdf (2000)
297. Kleidermacher, D., Kleidermacher, M.: Embedded Systems Security – Practical Methods for
Safe and Secure Software and Systems Development. Newnes (2012)
298. Klumpp, M., Clausen, U., ten Hompel, M.: Logistics Research and the Logistics World of
2050, pp. 1–6. Springer Berlin Heidelberg, Berlin, Heidelberg (2013). DOI 10.1007/978-3642-32838-1_1. URL http://dx.doi.org/10.1007/978-3-642-32838-1_1
299. Ko, M., Koo, I.: An overview of interactive video on demand system. http://www.ece.ubc.ca/
~irenek/techpaps/vod/vod.html (1996)