LEADER 03479nam  22005655  450 
001 9910416118903321
005 20221007200208.0
010   $a3-030-47487-9
024 7 $a10.1007/978-3-030-47487-4
035   $a(CKB)4100000011363596
035   $a(DE-He213)978-3-030-47487-4
035   $a(MiAaPQ)EBC6274704
035   $a(Au-PeEL)EBL6274704
035   $a(OCoLC)1182516503
035   $a(EXLCZ)994100000011363596
100   $a20200730d2021      uy             0
101 0 $aeng
135   $aurnn#---mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 12$aA journey of embedded and cyber-physical systems $eessays dedicated to Peter Marwedel on the occasion of his 70th birthday /$feditor, Jian-Jia Chen
205   $a1st edition 2021.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021.
215   $a1 online resource (XV, 176 p. 118 illus., 54 illus. in color.)
311 1 $a3-030-47486-0 
327   $aChapter 1. Peter Marwedel and the Department of Computer Science of the TU Dortmund University -- Chapter 2. Testing Implementation Soundness of a WCET Analysis Tool. Chapter 3. The Dynamic Random Access Memory Challenge in Embedded Computing Systems -- Chapter 4. On the Formalism and Properties of Timing Analyses in Real-Time Embedded Systems -- Chapter 5. ASSISTECH: An Accidental Journey into Assistive Technology -- Chapter 6. Reflecting on Self-aware Systems-on-Chip -- Chapter 7. Pushing the Limits of Parallel Discrete Event Simulation for SystemC -- Chapter 8. Impact of Negative Capacitance Transistor (NCFET) on Many-Core Systems -- Chapter 9. Run-Time Enforcement of Non-functional Program Properties on MPSoCs -- Chapter 10. Compilation for Real-Time Systems a Decade After Predator.
330   $aThis Open Access book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical systems. The contributions in the book summarize the content of invited lectures given at the workshop ?Embedded Systems? held at the Technical University Dortmund in early July 2019 in honor of Professor Marwedel's seventieth birthday. Provides a comprehensive view from leading researchers with respect to the past, present, and future of the design of embedded and cyber-physical systems; Discusses challenges and (potential) solutions from theoreticians and practitioners on modeling, design, analysis, and optimization for embedded and cyber-physical systems; Includes coverage of model verification, communication, software runtime systems, operating systems and real-time computing.
606   $aElectronic circuits
606   $aComputer engineering
606   $aInternet of things
606   $aEmbedded computer systems
606   $aMicroelectronics
606   $aCooperating objects (Computer systems)
615  0$aElectronic circuits.
615  0$aComputer engineering.
615  0$aInternet of things.
615  0$aEmbedded computer systems.
615  0$aMicroelectronics.
615  0$aCooperating objects (Computer systems).
676   $a621.3815
702   $aChen$b Jian-Jia$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMarwedel$b Peter$f1949-
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910416118903321
996   $aA Journey of Embedded and Cyber-Physical Systems$91907208
997   $aUNINA