Embedded computing systems: applications, optimization, and advanced design
"This book brings together theoretical and technical concepts of intelligent embedded control systems and their use in hardware and software architectures by highlighting formal modeling, execution models, and optimal implementations"--Provided by publisher
Gespeichert in:
| Weitere Verfasser: | , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Hershey PA
Information Science Reference
[2013]
|
| Schriftenreihe: | Premier reference source
|
| Schlagworte: | |
| Online-Zugang: | DE-706 DE-1049 DE-898 DE-1050 DE-83 URL des Erstveröffentlichers |
| Zusammenfassung: | "This book brings together theoretical and technical concepts of intelligent embedded control systems and their use in hardware and software architectures by highlighting formal modeling, execution models, and optimal implementations"--Provided by publisher |
| Beschreibung: | Includes bibliographical references |
| Beschreibung: | 1 Online-Ressource (xxv, 532 Seiten) |
| ISBN: | 9781466639232 9781466639249 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV044287877 | ||
| 003 | DE-604 | ||
| 005 | 20170907 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170427s2013 |||| o||u| ||||||eng d | ||
| 020 | |a 9781466639232 |9 978-1-4666-3923-2 | ||
| 020 | |a 9781466639249 |c print & perpetual access |9 978-1-4666-3924-9 | ||
| 024 | 7 | |a 10.4018/978-1-4666-3922-5 |2 doi | |
| 035 | |a (OCoLC)992461434 | ||
| 035 | |a (DE-599)BVBBV044287877 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-1049 |a DE-898 |a DE-1050 |a DE-83 | ||
| 084 | |a ST 153 |0 (DE-625)143597: |2 rvk | ||
| 245 | 1 | 0 | |a Embedded computing systems |b applications, optimization, and advanced design |c Mohamed Khalgui (Xidian University, China), Olfa Mosbahi (University of Carthage, Tunisia), Antonio Valentini (O3neida Europe, Belgium) |
| 264 | 1 | |a Hershey PA |b Information Science Reference |c [2013] | |
| 264 | 4 | |c © 2013 | |
| 300 | |a 1 Online-Ressource (xxv, 532 Seiten) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Premier reference source | |
| 500 | |a Includes bibliographical references | ||
| 505 | 8 | |a Modeling and scheduling of crude oil operations in refinery: a hybrid timed Petri net approach / NaiQi Wu ... [et al.] -- Formal reliability analysis of embedded computing systems / Osman Hasan, Sofi ene Tahar -- Liveness, deadlock-freeness, and siphons / Kamel Barkaoui -- Model-based functional safety analysis and architecture optimisation / David Parker, Martin Walker, Yiannis Papadopoulos -- Expressing and validating OCL constraints using graphs / Najet Zoubeir, Adel Khalfallah, Samir Ben Ahmed -- A UML-compliant approach for intelligent reconfiguration of embedded control systems / Amen Ben Hadj Ali ... [et al.] -- Development of automated systems using proved B patterns / Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li -- Emerging real-time methodologies / Giorgio C. Buttazzo -- Merging and splitting Petri net models within distributed embedded controller design / Luis Gomes ... [et al.] -- Safety reconfiguration of embedded control systems / Atef Gharbi ... [et al.] -- | |
| 505 | 8 | |a - Task scheduling under uncertain timing constraints in real-time embedded systems / Pranab K. Muhuri, K. K. Shukla -- New optimal solutions for real-time reconfigurable periodic asynchronous OS tasks with minimizations of response times / Hamza Gharsellaoui ... [et al.] -- Task migration in embedded systems: design and performance / Abderrazak Jemai, Kamel Smiri, Habib Smei -- Wireless IEEE 802.11-based networking approaches for industrial networked systems / Ricardo Moraes, Francisco Vasques -- Hardware/software implementation for wireless sensor network applications / Mohamed Wassim Jmal ... [et al.] -- Hybrid FlexRay/CAN automotive networks / Rodrigo Lange, R omulo Silva de Oliveira -- Emerging technologies for industrial wireless sensor networks / Ivanovitch Silva, Luiz Affonso Guedes, Paulo Portugal -- Numerical simulation of distributed dynamic systems using hybrid tools of intelligent computing / Fethi H. Bellamine, Aymen Gdouda -- | |
| 505 | 8 | |a - Multi-core embedded systems / Ricardo Chessini Bose ... [et al.] -- Securing embedded computing systems through elliptic curve cryptography / Elisavet Konstantinou ... [et al.] -- Security and cryptographic engineering in embedded systems / Apostolos P. Fournaris, Paris Kitsos, Nicolas Sklavos -- Flash-based storage in embedded systems / Pierre Olivier, Jalil Boukhobza, Eric Senn -- EAST-ADL: an architecture description language for automotive software-intensive systems / Hans Blom ... [et al.] | |
| 520 | |a "This book brings together theoretical and technical concepts of intelligent embedded control systems and their use in hardware and software architectures by highlighting formal modeling, execution models, and optimal implementations"--Provided by publisher | ||
| 650 | 4 | |a Embedded computer systems | |
| 650 | 0 | 7 | |a Eingebettetes System |0 (DE-588)4396978-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Eingebettetes System |0 (DE-588)4396978-1 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Khalgui, Mohamed |4 edt | |
| 700 | 1 | |a Mosbahi, Olfa |4 edt | |
| 700 | 1 | |a Valentini, Antonio |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-1-4666-3922-5 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 1-4666-3922-9 |
| 856 | 4 | 0 | |u http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-3922-5 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 912 | |a ZDB-98-IGB |a ZDB-1-IGE | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-029692054 | |
| 966 | e | |u http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-3922-5 |l DE-706 |p ZDB-98-IGB |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.4018/978-1-4666-3922-5 |l DE-1049 |p ZDB-1-IGE |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.4018/978-1-4666-3922-5 |l DE-898 |p ZDB-1-IGE |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.4018/978-1-4666-3922-5 |l DE-1050 |p ZDB-1-IGE |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.4018/978-1-4666-3922-5 |l DE-83 |p ZDB-98-IGB |q TUB_EBS_IGB |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1808138440285356032 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Khalgui, Mohamed Mosbahi, Olfa Valentini, Antonio |
| author2_role | edt edt edt |
| author2_variant | m k mk o m om a v av |
| author_facet | Khalgui, Mohamed Mosbahi, Olfa Valentini, Antonio |
| building | Verbundindex |
| bvnumber | BV044287877 |
| classification_rvk | ST 153 |
| collection | ZDB-98-IGB ZDB-1-IGE |
| contents | Modeling and scheduling of crude oil operations in refinery: a hybrid timed Petri net approach / NaiQi Wu ... [et al.] -- Formal reliability analysis of embedded computing systems / Osman Hasan, Sofi ene Tahar -- Liveness, deadlock-freeness, and siphons / Kamel Barkaoui -- Model-based functional safety analysis and architecture optimisation / David Parker, Martin Walker, Yiannis Papadopoulos -- Expressing and validating OCL constraints using graphs / Najet Zoubeir, Adel Khalfallah, Samir Ben Ahmed -- A UML-compliant approach for intelligent reconfiguration of embedded control systems / Amen Ben Hadj Ali ... [et al.] -- Development of automated systems using proved B patterns / Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li -- Emerging real-time methodologies / Giorgio C. Buttazzo -- Merging and splitting Petri net models within distributed embedded controller design / Luis Gomes ... [et al.] -- Safety reconfiguration of embedded control systems / Atef Gharbi ... [et al.] -- - Task scheduling under uncertain timing constraints in real-time embedded systems / Pranab K. Muhuri, K. K. Shukla -- New optimal solutions for real-time reconfigurable periodic asynchronous OS tasks with minimizations of response times / Hamza Gharsellaoui ... [et al.] -- Task migration in embedded systems: design and performance / Abderrazak Jemai, Kamel Smiri, Habib Smei -- Wireless IEEE 802.11-based networking approaches for industrial networked systems / Ricardo Moraes, Francisco Vasques -- Hardware/software implementation for wireless sensor network applications / Mohamed Wassim Jmal ... [et al.] -- Hybrid FlexRay/CAN automotive networks / Rodrigo Lange, R omulo Silva de Oliveira -- Emerging technologies for industrial wireless sensor networks / Ivanovitch Silva, Luiz Affonso Guedes, Paulo Portugal -- Numerical simulation of distributed dynamic systems using hybrid tools of intelligent computing / Fethi H. Bellamine, Aymen Gdouda -- - Multi-core embedded systems / Ricardo Chessini Bose ... [et al.] -- Securing embedded computing systems through elliptic curve cryptography / Elisavet Konstantinou ... [et al.] -- Security and cryptographic engineering in embedded systems / Apostolos P. Fournaris, Paris Kitsos, Nicolas Sklavos -- Flash-based storage in embedded systems / Pierre Olivier, Jalil Boukhobza, Eric Senn -- EAST-ADL: an architecture description language for automotive software-intensive systems / Hans Blom ... [et al.] |
| ctrlnum | (OCoLC)992461434 (DE-599)BVBBV044287877 |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nmm a2200000zc 4500</leader><controlfield tag="001">BV044287877</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170907</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170427s2013 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781466639232</subfield><subfield code="9">978-1-4666-3923-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781466639249</subfield><subfield code="c">print & perpetual access</subfield><subfield code="9">978-1-4666-3924-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.4018/978-1-4666-3922-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)992461434</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044287877</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-1049</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 153</subfield><subfield code="0">(DE-625)143597:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Embedded computing systems</subfield><subfield code="b">applications, optimization, and advanced design</subfield><subfield code="c">Mohamed Khalgui (Xidian University, China), Olfa Mosbahi (University of Carthage, Tunisia), Antonio Valentini (O3neida Europe, Belgium)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Hershey PA</subfield><subfield code="b">Information Science Reference</subfield><subfield code="c">[2013]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xxv, 532 Seiten)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Premier reference source</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Modeling and scheduling of crude oil operations in refinery: a hybrid timed Petri net approach / NaiQi Wu ... [et al.] -- Formal reliability analysis of embedded computing systems / Osman Hasan, Sofi ene Tahar -- Liveness, deadlock-freeness, and siphons / Kamel Barkaoui -- Model-based functional safety analysis and architecture optimisation / David Parker, Martin Walker, Yiannis Papadopoulos -- Expressing and validating OCL constraints using graphs / Najet Zoubeir, Adel Khalfallah, Samir Ben Ahmed -- A UML-compliant approach for intelligent reconfiguration of embedded control systems / Amen Ben Hadj Ali ... [et al.] -- Development of automated systems using proved B patterns / Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li -- Emerging real-time methodologies / Giorgio C. Buttazzo -- Merging and splitting Petri net models within distributed embedded controller design / Luis Gomes ... [et al.] -- Safety reconfiguration of embedded control systems / Atef Gharbi ... [et al.] --</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a"> - Task scheduling under uncertain timing constraints in real-time embedded systems / Pranab K. Muhuri, K. K. Shukla -- New optimal solutions for real-time reconfigurable periodic asynchronous OS tasks with minimizations of response times / Hamza Gharsellaoui ... [et al.] -- Task migration in embedded systems: design and performance / Abderrazak Jemai, Kamel Smiri, Habib Smei -- Wireless IEEE 802.11-based networking approaches for industrial networked systems / Ricardo Moraes, Francisco Vasques -- Hardware/software implementation for wireless sensor network applications / Mohamed Wassim Jmal ... [et al.] -- Hybrid FlexRay/CAN automotive networks / Rodrigo Lange, R omulo Silva de Oliveira -- Emerging technologies for industrial wireless sensor networks / Ivanovitch Silva, Luiz Affonso Guedes, Paulo Portugal -- Numerical simulation of distributed dynamic systems using hybrid tools of intelligent computing / Fethi H. Bellamine, Aymen Gdouda --</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a"> - Multi-core embedded systems / Ricardo Chessini Bose ... [et al.] -- Securing embedded computing systems through elliptic curve cryptography / Elisavet Konstantinou ... [et al.] -- Security and cryptographic engineering in embedded systems / Apostolos P. Fournaris, Paris Kitsos, Nicolas Sklavos -- Flash-based storage in embedded systems / Pierre Olivier, Jalil Boukhobza, Eric Senn -- EAST-ADL: an architecture description language for automotive software-intensive systems / Hans Blom ... [et al.]</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">"This book brings together theoretical and technical concepts of intelligent embedded control systems and their use in hardware and software architectures by highlighting formal modeling, execution models, and optimal implementations"--Provided by publisher</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Embedded computer systems</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Khalgui, Mohamed</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mosbahi, Olfa</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Valentini, Antonio</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-1-4666-3922-5</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">1-4666-3922-9</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-3922-5</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-98-IGB</subfield><subfield code="a">ZDB-1-IGE</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029692054</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-3922-5</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-98-IGB</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4018/978-1-4666-3922-5</subfield><subfield code="l">DE-1049</subfield><subfield code="p">ZDB-1-IGE</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4018/978-1-4666-3922-5</subfield><subfield code="l">DE-898</subfield><subfield code="p">ZDB-1-IGE</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4018/978-1-4666-3922-5</subfield><subfield code="l">DE-1050</subfield><subfield code="p">ZDB-1-IGE</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4018/978-1-4666-3922-5</subfield><subfield code="l">DE-83</subfield><subfield code="p">ZDB-98-IGB</subfield><subfield code="q">TUB_EBS_IGB</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV044287877 |
| illustrated | Not Illustrated |
| indexdate | 2024-08-23T01:06:30Z |
| institution | BVB |
| isbn | 9781466639232 9781466639249 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029692054 |
| oclc_num | 992461434 |
| open_access_boolean | |
| owner | DE-706 DE-1049 DE-898 DE-BY-UBR DE-1050 DE-83 |
| owner_facet | DE-706 DE-1049 DE-898 DE-BY-UBR DE-1050 DE-83 |
| physical | 1 Online-Ressource (xxv, 532 Seiten) |
| psigel | ZDB-98-IGB ZDB-1-IGE ZDB-98-IGB TUB_EBS_IGB |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Information Science Reference |
| record_format | marc |
| series2 | Premier reference source |
| spelling | Embedded computing systems applications, optimization, and advanced design Mohamed Khalgui (Xidian University, China), Olfa Mosbahi (University of Carthage, Tunisia), Antonio Valentini (O3neida Europe, Belgium) Hershey PA Information Science Reference [2013] © 2013 1 Online-Ressource (xxv, 532 Seiten) txt rdacontent c rdamedia cr rdacarrier Premier reference source Includes bibliographical references Modeling and scheduling of crude oil operations in refinery: a hybrid timed Petri net approach / NaiQi Wu ... [et al.] -- Formal reliability analysis of embedded computing systems / Osman Hasan, Sofi ene Tahar -- Liveness, deadlock-freeness, and siphons / Kamel Barkaoui -- Model-based functional safety analysis and architecture optimisation / David Parker, Martin Walker, Yiannis Papadopoulos -- Expressing and validating OCL constraints using graphs / Najet Zoubeir, Adel Khalfallah, Samir Ben Ahmed -- A UML-compliant approach for intelligent reconfiguration of embedded control systems / Amen Ben Hadj Ali ... [et al.] -- Development of automated systems using proved B patterns / Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li -- Emerging real-time methodologies / Giorgio C. Buttazzo -- Merging and splitting Petri net models within distributed embedded controller design / Luis Gomes ... [et al.] -- Safety reconfiguration of embedded control systems / Atef Gharbi ... [et al.] -- - Task scheduling under uncertain timing constraints in real-time embedded systems / Pranab K. Muhuri, K. K. Shukla -- New optimal solutions for real-time reconfigurable periodic asynchronous OS tasks with minimizations of response times / Hamza Gharsellaoui ... [et al.] -- Task migration in embedded systems: design and performance / Abderrazak Jemai, Kamel Smiri, Habib Smei -- Wireless IEEE 802.11-based networking approaches for industrial networked systems / Ricardo Moraes, Francisco Vasques -- Hardware/software implementation for wireless sensor network applications / Mohamed Wassim Jmal ... [et al.] -- Hybrid FlexRay/CAN automotive networks / Rodrigo Lange, R omulo Silva de Oliveira -- Emerging technologies for industrial wireless sensor networks / Ivanovitch Silva, Luiz Affonso Guedes, Paulo Portugal -- Numerical simulation of distributed dynamic systems using hybrid tools of intelligent computing / Fethi H. Bellamine, Aymen Gdouda -- - Multi-core embedded systems / Ricardo Chessini Bose ... [et al.] -- Securing embedded computing systems through elliptic curve cryptography / Elisavet Konstantinou ... [et al.] -- Security and cryptographic engineering in embedded systems / Apostolos P. Fournaris, Paris Kitsos, Nicolas Sklavos -- Flash-based storage in embedded systems / Pierre Olivier, Jalil Boukhobza, Eric Senn -- EAST-ADL: an architecture description language for automotive software-intensive systems / Hans Blom ... [et al.] "This book brings together theoretical and technical concepts of intelligent embedded control systems and their use in hardware and software architectures by highlighting formal modeling, execution models, and optimal implementations"--Provided by publisher Embedded computer systems Eingebettetes System (DE-588)4396978-1 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Eingebettetes System (DE-588)4396978-1 s 1\p DE-604 Khalgui, Mohamed edt Mosbahi, Olfa edt Valentini, Antonio edt Erscheint auch als Druck-Ausgabe 978-1-4666-3922-5 Erscheint auch als Druck-Ausgabe 1-4666-3922-9 http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-3922-5 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Embedded computing systems applications, optimization, and advanced design Modeling and scheduling of crude oil operations in refinery: a hybrid timed Petri net approach / NaiQi Wu ... [et al.] -- Formal reliability analysis of embedded computing systems / Osman Hasan, Sofi ene Tahar -- Liveness, deadlock-freeness, and siphons / Kamel Barkaoui -- Model-based functional safety analysis and architecture optimisation / David Parker, Martin Walker, Yiannis Papadopoulos -- Expressing and validating OCL constraints using graphs / Najet Zoubeir, Adel Khalfallah, Samir Ben Ahmed -- A UML-compliant approach for intelligent reconfiguration of embedded control systems / Amen Ben Hadj Ali ... [et al.] -- Development of automated systems using proved B patterns / Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li -- Emerging real-time methodologies / Giorgio C. Buttazzo -- Merging and splitting Petri net models within distributed embedded controller design / Luis Gomes ... [et al.] -- Safety reconfiguration of embedded control systems / Atef Gharbi ... [et al.] -- - Task scheduling under uncertain timing constraints in real-time embedded systems / Pranab K. Muhuri, K. K. Shukla -- New optimal solutions for real-time reconfigurable periodic asynchronous OS tasks with minimizations of response times / Hamza Gharsellaoui ... [et al.] -- Task migration in embedded systems: design and performance / Abderrazak Jemai, Kamel Smiri, Habib Smei -- Wireless IEEE 802.11-based networking approaches for industrial networked systems / Ricardo Moraes, Francisco Vasques -- Hardware/software implementation for wireless sensor network applications / Mohamed Wassim Jmal ... [et al.] -- Hybrid FlexRay/CAN automotive networks / Rodrigo Lange, R omulo Silva de Oliveira -- Emerging technologies for industrial wireless sensor networks / Ivanovitch Silva, Luiz Affonso Guedes, Paulo Portugal -- Numerical simulation of distributed dynamic systems using hybrid tools of intelligent computing / Fethi H. Bellamine, Aymen Gdouda -- - Multi-core embedded systems / Ricardo Chessini Bose ... [et al.] -- Securing embedded computing systems through elliptic curve cryptography / Elisavet Konstantinou ... [et al.] -- Security and cryptographic engineering in embedded systems / Apostolos P. Fournaris, Paris Kitsos, Nicolas Sklavos -- Flash-based storage in embedded systems / Pierre Olivier, Jalil Boukhobza, Eric Senn -- EAST-ADL: an architecture description language for automotive software-intensive systems / Hans Blom ... [et al.] Embedded computer systems Eingebettetes System (DE-588)4396978-1 gnd |
| subject_GND | (DE-588)4396978-1 (DE-588)4143413-4 |
| title | Embedded computing systems applications, optimization, and advanced design |
| title_auth | Embedded computing systems applications, optimization, and advanced design |
| title_exact_search | Embedded computing systems applications, optimization, and advanced design |
| title_full | Embedded computing systems applications, optimization, and advanced design Mohamed Khalgui (Xidian University, China), Olfa Mosbahi (University of Carthage, Tunisia), Antonio Valentini (O3neida Europe, Belgium) |
| title_fullStr | Embedded computing systems applications, optimization, and advanced design Mohamed Khalgui (Xidian University, China), Olfa Mosbahi (University of Carthage, Tunisia), Antonio Valentini (O3neida Europe, Belgium) |
| title_full_unstemmed | Embedded computing systems applications, optimization, and advanced design Mohamed Khalgui (Xidian University, China), Olfa Mosbahi (University of Carthage, Tunisia), Antonio Valentini (O3neida Europe, Belgium) |
| title_short | Embedded computing systems |
| title_sort | embedded computing systems applications optimization and advanced design |
| title_sub | applications, optimization, and advanced design |
| topic | Embedded computer systems Eingebettetes System (DE-588)4396978-1 gnd |
| topic_facet | Embedded computer systems Eingebettetes System Aufsatzsammlung |
| url | http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-3922-5 |
| work_keys_str_mv | AT khalguimohamed embeddedcomputingsystemsapplicationsoptimizationandadvanceddesign AT mosbahiolfa embeddedcomputingsystemsapplicationsoptimizationandadvanceddesign AT valentiniantonio embeddedcomputingsystemsapplicationsoptimizationandadvanceddesign |