454
Literaturverzeichnis
443. Pallister, J., Kerrison, S., Morse, J., Eder, K.: Data dependent energy modelling for worst case
energy consumption analysis. arXiv preprint arXiv:1505.03374 (2015)
444. Palumbo, M.: The ERTMS/ETCS signalling system – an overview on the Standard European Interoperable signalling and train control system. http://www.railwaysignalling.eu/wpcontent/uploads/2016/09/ERTMS_ETCS_signalling_system_revF.pdf (2016)
445. Pan, S., Hu, Y., Li, X.: IVF: Characterizing the vulnerability of microprocessor structures to
intermittent faults. Proceedings of Design, Automation and Test in Europe (DATE) (2010)
446. Pappas, G.J.: Science of Cyber-Physical Systems-Bridging CS and Control. http://cps-vo.
org/node/5876 (2012)
447. Parker, K.P.: The Boundary Scan Handbook. Kluwer Academic Publishers (1992)
448. Patterson, D.: Domain-Specific Architectures for Deep Neural Networks. https://inst.eecs.
berkeley.edu//~cs152/sp19/lectures/L20-DSA.pdf (2019)
449. Paulin, P., Knight, J.: Force-directed scheduling in automatic data path synthesis. Proceedings
of the Design Automation Conference (DAC) (1987)
450. Petri, C.A.: Kommunikation mit Automaten. Schriften des Rheinisch-Westfälischen Institutes
für instrumentelle Mathematik an der Universität Bonn (1962)
451. Peukert, W.: Über die Abhängigkeit der Kapacität von der Entladestromstärcke bei Bleiakkumulatoren. Elektrotechnische Zeitschrift 20 (1897)
452. Piao, X., Han, S., Kim, H., Park, M., Cho, Y., Cho, S.: Predictability of earliest deadline zero
laxity algorithm for multiprocessor real-time systems. Ninth IEEE International Symposium
on Object and Component-Oriented Real-Time Distributed Computing (ISORC’06) pp. 6
pp.– (2006). DOI 10.1109/ISORC.2006.64
453. Piatkowski, N.: Exponential families on resource-constrained systems. Ph.D. thesis, TU
Dortmund University, Dortmund (2018). URL https://eldorado.tu-dortmund.de/handle/2003/
36877
454. Piatkowski, N., Lee, S., Morik, K.: Integer undirected graphical models for resourceconstrained systems. Neurocomputing 173(1), 9–23 (2016). URL http://www.sciencedirect.
com/science/article/pii/S0925231215010449
455. Pinedo, M.L.: Scheduling – Theory, Algorithms, and Systems, 5th edn. Springer (2016)
456. Pohl, K., Böckle, G., van der Linden, F.: Software Product Line Engineering. Springer,
ISBN-10: 3540289011 (2005)
457. Popovici, K., Rousseau, F., Jerraya, A.A., Wolf, M.: Embedded Software Design and Programming of Multiprocessor System-on-Chip. Springer (2010)
458. Potop-Butucaru, D., de Simone, R., Talpin, J.P.: The synchronous hypothesis and synchronous
languages. In: R. Zurawski (ed.): Embedded Systems Handbook, CRC Press (2006)
459. Press, D.: Guidelines for Failure Mode and Effects Analysis for Automotive, Aerospace and
General Manufacturing Industries. CRC Press (2003)
460. Ptolemaeus, C. (ed.): System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org
(2014). URL http://ptolemy.org/books/Systems
461. Puaut, I.: Multi-core real-time scheduling. http://www.irisa.fr/alf/downloads/puaut/STR/
STRmulticore.pdf (2012-2013)
462. Puaut, I.: Real-time systems – slides of a master course. https://team.inria.fr/pacap/members/
isabelle-puaut/#teaching (2017-2018)
463. Pyka, R., Faßbach, C., Verma, M., Falk, H., Marwedel, P.: Operating system integrated
energy aware scratchpad allocation strategies for multi-process applications. Proceedings of
the International Workshop on Software and Compilers for Embedded Systems (SCOPES)
pp. 41–50 (2007)
464. Radetzki, M. (ed.): Languages for Embedded Systems and their Applications. Springer (2009)
465. Rajkumar, R.: Real-time synchronization protocols for shared memory multiprocessors. Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS)
pp. 116–123 (1990)
466. Rajkumar, R., Sha, L., Lehoczky, J.: Real-time synchronization protocols for multiprocessors.
Proceedings of the Real-Time Systems Symposium (RTSS) pp. 259–269 (1988)
467. Rao, R., Vrudhula, S., Rakhmatov, D.: Battery modeling for energy-aware system design.
IEEE Computer pp. 77–87 (2003)
Précédent

- 470/485

Suivant