Embedded computing systems : applications, optimization, and advanced design
Saved in:
| Other Authors | , , |
|---|---|
| Format | Electronic eBook |
| Language | English |
| Published |
Hershey, Pa. :
IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA),
©2013.
|
| Subjects | |
| Online Access | Full text |
| ISBN | 9781466639232 1466639237 9781621989356 1621989356 9781466639225 9781466639249 |
| Physical Description | 1 online resource (online resource (470 pages)) |
Cover
| LEADER | 00000cam a2200000Ma 4500 | ||
|---|---|---|---|
| 001 | kn-ocn849540095 | ||
| 003 | OCoLC | ||
| 005 | 20240717213016.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 130607s2013 pau fob 000 0 eng d | ||
| 040 | |a IGIGL |b eng |e pn |c IGIGL |d OCLCO |d OCLCQ |d OCLCA |d KNOVL |d OCLCF |d N$T |d OCLCQ |d KNOVL |d N$T |d OCLCQ |d EBLCP |d OCLCQ |d OL$ |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 020 | |a 9781466639232 |q (electronic bk.) | ||
| 020 | |a 1466639237 |q (electronic bk.) | ||
| 020 | |a 9781621989356 |q (electronic bk.) | ||
| 020 | |a 1621989356 |q (electronic bk.) | ||
| 020 | |z 9781466639225 |q (hardcover) | ||
| 020 | |z 9781466639249 |q (print & perpetual access) | ||
| 024 | 7 | |a 10.4018/978-1-4666-3922-5 |2 doi | |
| 035 | |a (OCoLC)849540095 |z (OCoLC)923161734 | ||
| 245 | 0 | 0 | |a Embedded computing systems : |b applications, optimization, and advanced design / |c Mohamed Khalgui, Olfa Mosbahi and Antonio Valentini, editors. |
| 260 | |a Hershey, Pa. : |b IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA), |c ©2013. | ||
| 300 | |a 1 online resource (online resource (470 pages)) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references. | ||
| 505 | 0 | |a Modeling and scheduling of crude oil operations in refinery: a hybrid timed Petri net approach / NaiQi Wu [and others] -- Formal reliability analysis of embedded computing systems / Osman Hasan, Sofiène 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 [and others] -- 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 [and others] -- Safety reconfiguration of embedded control systems / Atef Gharbi [and others] -- 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 [and others] -- 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 [and others] -- Hybrid FlexRay/CAN automotive networks / Rodrigo Lange, Rômulo 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 [and others] -- Securing embedded computing systems through elliptic curve cryptography / Elisavet Konstantinou [and others] -- 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 [and others]. | |
| 506 | |a Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty | ||
| 520 | 3 | |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. | |
| 590 | |a Knovel |b Knovel (All titles) | ||
| 650 | 0 | |a Embedded computer systems. | |
| 655 | 7 | |a elektronické knihy |7 fd186907 |2 czenas | |
| 655 | 9 | |a electronic books |2 eczenas | |
| 700 | 1 | |a Khalgui, Mohamed. | |
| 700 | 1 | |a Mosbahi, Olfa, |d 1976- |1 https://id.oclc.org/worldcat/entity/E39PCjxjf4YcBR668CwjcCWJQm | |
| 700 | 1 | |a Valentini, Antonio, |d 1960- |1 https://id.oclc.org/worldcat/entity/E39PCjr7dTj8KK9pCbpFqyfbcX | |
| 776 | 0 | 8 | |i Print version: |z 1466639229 |z 9781466639225 |w (DLC) 2012051534 |
| 856 | 4 | 0 | |u https://proxy.k.utb.cz/login?url=https://app.knovel.com/hotlink/toc/id:kpECSAOAD4/embedded-computing-systems?kpromoter=marc |y Full text |