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.

Saved in:
Bibliographic Details
Other Authors: Khalgui, Mohamed., Mosbahi, Olfa, 1976-, Valentini, Antonio, 1960-
Format: eBook
Language: English
Published: Hershey, Pa. : IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA), ©2013.
Subjects:
Embedded computer systems.
elektronické knihy
electronic books
ISBN: 9781466639232
1466639237
9781621989356
1621989356
9781466639225
9781466639249
Physical Description: 1 online resource (online resource (470 pages))

Cover

Table of contents

LEADER 04813cam a2200433Ma 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 

Similar Items