Literaturverzeichnis
455
468. Reisig, W.: Petri nets. Springer (1985)
469. Riccobene, E., Scandurra, P., Rosti, A., Bocchio, S.: A UML ™ 2.0 profile for SystemC: toward
high-level SoC design. In: Proceedings of the International Conference on Embedded Software (EMSOFT), pp. 138–141 (2005). DOI http://doi.acm.org/10.1145/1086228.1086254
470. Ritchie, D.M., Thompson, K.: The UNIX Time-sharing System. Commun. ACM 17(7), 365–
375 (1974). DOI 10.1145/361011.361061. URL http://doi.acm.org/10.1145/361011.361061
471. Rixner, S., Dally, W.J., Khailany, B.J., Mattson, P.J., Kapasi, U.J.: Register organization for
media processing. 6th High-Performance Computer Architecture (HPCA-6) pp. 375–386
(2000)
472. Roitzsch, M.: Kurs Betriebsysteme und Sicherheit, Vorlesung 3. https://os.inf.tu-dresden.de/
Studium/Bs/WS2019/V03-Prozesse.pdf (2019)
473. Rosenblum, M., Ousterhout, J.K.: The design and implementation of a log-structured file
system. ACM Trans. Comput. Syst. 10(1), 26–52 (1992). DOI 10.1145/146941.146943.
URL http://doi.acm.org/10.1145/146941.146943
474. RTCA: DO-178B, Software Considerations in Airborne Systems and Equipment Certification.
RTCA Inc. (1992)
475. Ruggiero, M., Benini, L.: Mapping task graphs to the CELL BE processor. http://www.artistembedded.org/docs/Events/2008/Map2MPSoC/Map2mpsoc-08-ruggiero.pdf (2008)
476. Sangiovanni-Vincentelli, A.: The context for platform-based design. IEEE Design & Test of
Computers p. 120 (2002)
477. Sangiovanni-Vincentelli, A., Zeng, H., Natale, M.D., Marwedel, P. (eds.): Embedded Systems
Development – From Functional Methods to Implementations. Springer (2013). ISBN 9781-4616-3878-6
478. Sarajlic, E., Yamahata, C., Cordero, M., Fujita, H.: Three-phase electrostatic rotary stepper
micromotor with a flexural pivot bearing. Journal of Microelectromechanical Systems pp. 38
– 349 (2010)
479. Schmitz, M., Al-Hashimi, B., Eles, P.: Energy-efficient mapping and scheduling for DVS
enabled distributed embedded systems. Proceedings of Design, Automation and Test in
Europe (DATE) pp. 514–521 (2002)
480. Schneider, K.: The synchronous programming language Quartz. Tech. rep., Internal Report 375, Department of Computer Science, University of Kaiserslautern, Kaiserslautern,
Germany (2009)
481. Science X: IMEC reports breakthrough power efficiency and performance of coarse-grain processor. https://phys.org/news/2005-11-imec-breakthrough-power-efficiency-coarse-grain.
html (2005)
482. SDL Forum Society: List of commercial tools. http://www.sdl-forum.org/Tools/Commercial.
htm (2016)
483. SDL Forum Society: Home page. http://www.sdl-forum.org (2019)
484. SGI: OpenGL software development kit. https://www.opengl.org/sdk/libs/ (2016)
485. Sha, L., Rajkumar, R., Lehoczky, J.: Priority inheritance protocols: An approach to real-time
synchronisation. IEEE Trans. on Computers pp. 1175–1185 (1990)
486. Shi, C., Brodersen, R.: An automated floating-point to fixed-point conversion methodology.
Int. Conf. on Audio Speed and Signal Processing (ICASSP) pp. 529–532 (2003)
487. Siciliano, B., Oussama, O.: Handbook of Robotics. Springer (2016)
488. Siemens: SIMATIC STEP 7 Programming Software. http://www.automation.siemens.com/
simatic/industriesoftware/html_76/products/step7.htm (2016)
489. Sifakis, J.: A notion of expressiveness for component-based design.
Workshop on Foundations and Applications of Component-based Design, ES-Week,
http://www.artist-embedded.org/docs/Events/2008/Components/SLIDES/12-JosephSifakisWFCD-ArtistDesign-Oct192008.pdf (2008)
490. Simunic, T., Benini, L., Acquaviva, A., Glynn, P., De Micheli, G.: Energy efficient design of
portable wireless devices. Intern. Symp. on Low Power Electronics and Design (ISLPED)
pp. 49–54 (2000)
455
468. Reisig, W.: Petri nets. Springer (1985)
469. Riccobene, E., Scandurra, P., Rosti, A., Bocchio, S.: A UML ™ 2.0 profile for SystemC: toward
high-level SoC design. In: Proceedings of the International Conference on Embedded Software (EMSOFT), pp. 138–141 (2005). DOI http://doi.acm.org/10.1145/1086228.1086254
470. Ritchie, D.M., Thompson, K.: The UNIX Time-sharing System. Commun. ACM 17(7), 365–
375 (1974). DOI 10.1145/361011.361061. URL http://doi.acm.org/10.1145/361011.361061
471. Rixner, S., Dally, W.J., Khailany, B.J., Mattson, P.J., Kapasi, U.J.: Register organization for
media processing. 6th High-Performance Computer Architecture (HPCA-6) pp. 375–386
(2000)
472. Roitzsch, M.: Kurs Betriebsysteme und Sicherheit, Vorlesung 3. https://os.inf.tu-dresden.de/
Studium/Bs/WS2019/V03-Prozesse.pdf (2019)
473. Rosenblum, M., Ousterhout, J.K.: The design and implementation of a log-structured file
system. ACM Trans. Comput. Syst. 10(1), 26–52 (1992). DOI 10.1145/146941.146943.
URL http://doi.acm.org/10.1145/146941.146943
474. RTCA: DO-178B, Software Considerations in Airborne Systems and Equipment Certification.
RTCA Inc. (1992)
475. Ruggiero, M., Benini, L.: Mapping task graphs to the CELL BE processor. http://www.artistembedded.org/docs/Events/2008/Map2MPSoC/Map2mpsoc-08-ruggiero.pdf (2008)
476. Sangiovanni-Vincentelli, A.: The context for platform-based design. IEEE Design & Test of
Computers p. 120 (2002)
477. Sangiovanni-Vincentelli, A., Zeng, H., Natale, M.D., Marwedel, P. (eds.): Embedded Systems
Development – From Functional Methods to Implementations. Springer (2013). ISBN 9781-4616-3878-6
478. Sarajlic, E., Yamahata, C., Cordero, M., Fujita, H.: Three-phase electrostatic rotary stepper
micromotor with a flexural pivot bearing. Journal of Microelectromechanical Systems pp. 38
– 349 (2010)
479. Schmitz, M., Al-Hashimi, B., Eles, P.: Energy-efficient mapping and scheduling for DVS
enabled distributed embedded systems. Proceedings of Design, Automation and Test in
Europe (DATE) pp. 514–521 (2002)
480. Schneider, K.: The synchronous programming language Quartz. Tech. rep., Internal Report 375, Department of Computer Science, University of Kaiserslautern, Kaiserslautern,
Germany (2009)
481. Science X: IMEC reports breakthrough power efficiency and performance of coarse-grain processor. https://phys.org/news/2005-11-imec-breakthrough-power-efficiency-coarse-grain.
html (2005)
482. SDL Forum Society: List of commercial tools. http://www.sdl-forum.org/Tools/Commercial.
htm (2016)
483. SDL Forum Society: Home page. http://www.sdl-forum.org (2019)
484. SGI: OpenGL software development kit. https://www.opengl.org/sdk/libs/ (2016)
485. Sha, L., Rajkumar, R., Lehoczky, J.: Priority inheritance protocols: An approach to real-time
synchronisation. IEEE Trans. on Computers pp. 1175–1185 (1990)
486. Shi, C., Brodersen, R.: An automated floating-point to fixed-point conversion methodology.
Int. Conf. on Audio Speed and Signal Processing (ICASSP) pp. 529–532 (2003)
487. Siciliano, B., Oussama, O.: Handbook of Robotics. Springer (2016)
488. Siemens: SIMATIC STEP 7 Programming Software. http://www.automation.siemens.com/
simatic/industriesoftware/html_76/products/step7.htm (2016)
489. Sifakis, J.: A notion of expressiveness for component-based design.
Workshop on Foundations and Applications of Component-based Design, ES-Week,
http://www.artist-embedded.org/docs/Events/2008/Components/SLIDES/12-JosephSifakisWFCD-ArtistDesign-Oct192008.pdf (2008)
490. Simunic, T., Benini, L., Acquaviva, A., Glynn, P., De Micheli, G.: Energy efficient design of
portable wireless devices. Intern. Symp. on Low Power Electronics and Design (ISLPED)
pp. 49–54 (2000)