LEADER 01138nam a2200277 i 4500 001 991003189659707536 008 040729r20021992nyua b 001 0 eng 020 $a0486421457 035 $ab13037651-39ule_inst 040 $aDip.to Matematica$beng 082 0 $a519.24$221 084 $aAMS 60K35 084 $aLC QA273.6.L54 100 1 $aLindvall, Torgny$0488535 245 10$aLectures on the coupling method /$cTorgny Lindvall 260 $aMineola, N. Y. :$bDover Publ.,$c2002 300 $axii, 257 p. :$bill. ;$c22 cm 500 $a"This Dover edition ... is a corrected and unabridged republication of the work originally published in 1992 by John Wiley & Sons, Inc., New York": T. p. verso 504 $aIncludes bibliographical references (p. 241-253) and index 650 0$aProbability measures 907 $a.b13037651$b21-09-06$c29-07-04 912 $a991003189659707536 945 $aLE013 60K LIN11 (2002)$g1$i2013000147888$lle013$op$pE23.50$q-$rl$s- $t0$u3$v0$w3$x0$y.i13834411$z06-09-04 996 $aLectures on the coupling method$9287437 997 $aUNISALENTO 998 $ale013$b29-07-04$cm$da $e-$feng$gnyu$h0$i0 LEADER 03791nam 22006255 450 001 9910416118903321 005 20251113183644.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(oapen)https://directory.doabooks.org/handle/20.500.12854/31312 035 $a(ODN)ODN0010066378 035 $a(oapen)doab31312 035 $a(EXLCZ)994100000011363596 100 $a20200730d2021 u| 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 /$fedited by Jian-Jia Chen 205 $a1st ed. 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 $aCooperating objects (Computer systems) 606 $aElectronics 606 $aElectronic Circuits and Systems 606 $aCyber-Physical Systems 606 $aElectronics and Microelectronics, Instrumentation 615 0$aElectronic circuits. 615 0$aCooperating objects (Computer systems) 615 0$aElectronics. 615 14$aElectronic Circuits and Systems. 615 24$aCyber-Physical Systems. 615 24$aElectronics and Microelectronics, Instrumentation. 676 $a621.3815 686 $aTEC007000$aTEC008000$aTEC008010$2bisacsh 700 $aChen$b Jian-Jia$4edt$01780160 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$94303783 997 $aUNINA