A journey of embedded and cyber-physical systems : : essays dedicated to Peter Marwedel on the occasion of his 70th birthday / / editor, Jian-Jia Chen.
This 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 Dort...
Saved in:
| HerausgeberIn: | |
|---|---|
| TeilnehmendeR: | |
| Place / Publishing House: | Cham : : Springer International Publishing :, Imprint: Springer,, 2021. |
| Year of Publication: | 2021 |
| Edition: | 1st edition 2021. |
| Language: | English |
| Physical Description: | 1 online resource (XV, 176 p. 118 illus., 54 illus. in color.) |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
993544235704498 |
|---|---|
| ctrlnum |
(CKB)4100000011363596 (DE-He213)978-3-030-47487-4 (MiAaPQ)EBC6274704 (Au-PeEL)EBL6274704 (OCoLC)1182516503 (oapen)https://directory.doabooks.org/handle/20.500.12854/31312 (EXLCZ)994100000011363596 |
| collection |
bib_alma |
| record_format |
marc |
| spelling |
Chen, Jian-Jia edt A journey of embedded and cyber-physical systems : essays dedicated to Peter Marwedel on the occasion of his 70th birthday / editor, Jian-Jia Chen. 1st edition 2021. Springer Nature 2021 Cham : Springer International Publishing : Imprint: Springer, 2021. 1 online resource (XV, 176 p. 118 illus., 54 illus. in color.) text txt rdacontent computer c rdamedia online resource cr rdacarrier Chapter 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. This 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. Description based on publisher supplied metadata and other sources. English Electronic circuits. Computer engineering. Internet of things. Embedded computer systems. Microelectronics. Cooperating objects (Computer systems). Circuits and Systems Cyber-physical systems, IoT Electronics and Microelectronics, Instrumentation Electronic Circuits and Systems Cyber-Physical Systems cyber-physical systems embedded systems model verification software runtime systems real-time computing open-access embedded systems Electronics: circuits & components Electrical engineering Cybernetics & systems theory Electronics engineering 3-030-47486-0 Chen, Jian-Jia. editor. edt http://id.loc.gov/vocabulary/relators/edt Marwedel, Peter, 1949- honoree |
| language |
English |
| format |
eBook |
| author2 |
Chen, Jian-Jia. Chen, Jian-Jia. Marwedel, Peter, 1949- |
| author_facet |
Chen, Jian-Jia. Chen, Jian-Jia. Marwedel, Peter, 1949- |
| author2_variant |
j j c jjc j j c jjc j j c jjc |
| author2_role |
HerausgeberIn HerausgeberIn TeilnehmendeR |
| author_sort |
Chen, Jian-Jia. |
| title |
A journey of embedded and cyber-physical systems : essays dedicated to Peter Marwedel on the occasion of his 70th birthday / |
| spellingShingle |
A journey of embedded and cyber-physical systems : essays dedicated to Peter Marwedel on the occasion of his 70th birthday / Chapter 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. |
| title_sub |
essays dedicated to Peter Marwedel on the occasion of his 70th birthday / |
| title_full |
A journey of embedded and cyber-physical systems : essays dedicated to Peter Marwedel on the occasion of his 70th birthday / editor, Jian-Jia Chen. |
| title_fullStr |
A journey of embedded and cyber-physical systems : essays dedicated to Peter Marwedel on the occasion of his 70th birthday / editor, Jian-Jia Chen. |
| title_full_unstemmed |
A journey of embedded and cyber-physical systems : essays dedicated to Peter Marwedel on the occasion of his 70th birthday / editor, Jian-Jia Chen. |
| title_auth |
A journey of embedded and cyber-physical systems : essays dedicated to Peter Marwedel on the occasion of his 70th birthday / |
| title_new |
A journey of embedded and cyber-physical systems : |
| title_sort |
a journey of embedded and cyber-physical systems : essays dedicated to peter marwedel on the occasion of his 70th birthday / |
| publisher |
Springer Nature Springer International Publishing : Imprint: Springer, |
| publishDate |
2021 |
| physical |
1 online resource (XV, 176 p. 118 illus., 54 illus. in color.) |
| edition |
1st edition 2021. |
| contents |
Chapter 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. |
| isbn |
3-030-47487-9 3-030-47486-0 |
| callnumber-first |
T - Technology |
| callnumber-subject |
TK - Electrical and Nuclear Engineering |
| callnumber-label |
TK7888 |
| callnumber-sort |
TK 47888.4 |
| illustrated |
Illustrated |
| dewey-hundreds |
600 - Technology |
| dewey-tens |
620 - Engineering |
| dewey-ones |
621 - Applied physics |
| dewey-full |
621.3815 |
| dewey-sort |
3621.3815 |
| dewey-raw |
621.3815 |
| dewey-search |
621.3815 |
| oclc_num |
1182516503 |
| work_keys_str_mv |
AT chenjianjia ajourneyofembeddedandcyberphysicalsystemsessaysdedicatedtopetermarwedelontheoccasionofhis70thbirthday AT marwedelpeter ajourneyofembeddedandcyberphysicalsystemsessaysdedicatedtopetermarwedelontheoccasionofhis70thbirthday AT chenjianjia journeyofembeddedandcyberphysicalsystemsessaysdedicatedtopetermarwedelontheoccasionofhis70thbirthday AT marwedelpeter journeyofembeddedandcyberphysicalsystemsessaysdedicatedtopetermarwedelontheoccasionofhis70thbirthday |
| status_str |
n |
| ids_txt_mv |
(CKB)4100000011363596 (DE-He213)978-3-030-47487-4 (MiAaPQ)EBC6274704 (Au-PeEL)EBL6274704 (OCoLC)1182516503 (oapen)https://directory.doabooks.org/handle/20.500.12854/31312 (EXLCZ)994100000011363596 |
| carrierType_str_mv |
cr |
| is_hierarchy_title |
A journey of embedded and cyber-physical systems : essays dedicated to Peter Marwedel on the occasion of his 70th birthday / |
| author2_original_writing_str_mv |
noLinkedField noLinkedField noLinkedField |
| _version_ |
1787548474692075520 |
| fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04173nam a22007215i 4500</leader><controlfield tag="001">993544235704498</controlfield><controlfield tag="005">20230621141344.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr#nn#---mamaa</controlfield><controlfield tag="008">200730s2021 sz a o 010 0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3-030-47487-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-030-47487-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)4100000011363596</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-He213)978-3-030-47487-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)EBC6274704</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL6274704</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1182516503</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(oapen)https://directory.doabooks.org/handle/20.500.12854/31312</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)994100000011363596</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">TK7888.4</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">TJFC</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">TEC008010</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">TJFC</subfield><subfield code="2">thema</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">621.3815</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Chen, Jian-Jia</subfield><subfield code="4">edt</subfield></datafield><datafield tag="245" ind1="1" ind2="2"><subfield code="a">A journey of embedded and cyber-physical systems :</subfield><subfield code="b">essays dedicated to Peter Marwedel on the occasion of his 70th birthday /</subfield><subfield code="c">editor, Jian-Jia Chen.</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st edition 2021.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="b">Springer Nature</subfield><subfield code="c">2021</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham :</subfield><subfield code="b">Springer International Publishing :</subfield><subfield code="b">Imprint: Springer,</subfield><subfield code="c">2021.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (XV, 176 p. 118 illus., 54 illus. in color.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Chapter 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.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This 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.</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Description based on publisher supplied metadata and other sources.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Electronic circuits.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer engineering.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Internet of things.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Embedded computer systems.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Microelectronics.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Cooperating objects (Computer systems).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Circuits and Systems</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Cyber-physical systems, IoT</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Electronics and Microelectronics, Instrumentation</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Electronic Circuits and Systems</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Cyber-Physical Systems</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">cyber-physical systems</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">embedded systems</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">model verification</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">software runtime systems</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">real-time computing</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">open-access embedded systems</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Electronics: circuits & components</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Electrical engineering</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Cybernetics & systems theory</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Electronics engineering</subfield></datafield><datafield tag="776" ind1="1" ind2=" "><subfield code="z">3-030-47486-0</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Chen, Jian-Jia.</subfield><subfield code="e">editor.</subfield><subfield code="4">edt</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Marwedel, Peter,</subfield><subfield code="d">1949-</subfield><subfield code="e">honoree</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">BOOK</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2023-06-25 15:17:21 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2020-08-08 22:15:31 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="i">DOAB Directory of Open Access Books</subfield><subfield code="P">DOAB Directory of Open Access Books</subfield><subfield code="x">https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&portfolio_pid=5337603240004498&Force_direct=true</subfield><subfield code="Z">5337603240004498</subfield><subfield code="b">Available</subfield><subfield code="8">5337603240004498</subfield></datafield></record></collection> |