|
|
|
|
| LEADER |
04653nam a2200493 a 4500 |
| 001 |
30334 |
| 003 |
IGIG |
| 005 |
20130619111927.0 |
| 006 |
m e d |
| 007 |
cr bn||||m|||a |
| 008 |
130607s2013 pau fob 000 0 eng d |
| 010 |
# |
# |
|z 2012051534
|
| 020 |
# |
# |
|a 9781466639232 (ebook)
|
| 020 |
# |
# |
|z 9781466639225 (hardcover)
|
| 020 |
# |
# |
|z 9781466639249 (print & perpetual access)
|
| 024 |
7 |
# |
|a 10.4018/978-1-4666-3922-5
|2 doi
|
| 035 |
# |
# |
|a (CaBNVSL)gtp00556089
|
| 035 |
# |
# |
|a (OCoLC)849540095
|
| 040 |
# |
# |
|a CaBNVSL
|c CaBNVSL
|d CaBNVSL
|
| 050 |
# |
4 |
|a TK7895.E42
|b E564 2013e
|
| 082 |
0 |
4 |
|a 006.2/2
|2 23
|
| 245 |
0 |
0 |
|a Embedded computing systems
|b applications, optimization, and advanced design /
|c Mohamed Khalgui, Olfa Mosbahi and Antonio Valentini, editors.
|h [electronic resource] :
|
| 260 |
# |
# |
|a Hershey, Pa. :
|b IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA),
|c c2013.
|
| 300 |
# |
# |
|a electronic texts (470 p.) :
|b digital files.
|
| 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 ... [et al.] -- 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 ... [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ô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 ... [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.].
|
| 506 |
# |
# |
|a Restricted to subscribers or individual electronic text purchasers.
|
| 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.
|
| 530 |
# |
# |
|a Also available in print.
|
| 538 |
# |
# |
|a Mode of access: World Wide Web.
|
| 588 |
# |
# |
|a Description based on title screen (IGI Global, viewed June 7, 2003).
|
| 650 |
# |
0 |
|a Embedded computer systems.
|
| 653 |
# |
# |
|a Execution models
|
| 653 |
# |
# |
|a Hardware architectures
|
| 653 |
# |
# |
|a Industrial networks
|
| 653 |
# |
# |
|a Modeling & verification
|
| 653 |
# |
# |
|a Software engineering
|
| 700 |
1 |
# |
|a Khalgui, Mohamed.
|
| 700 |
1 |
# |
|a Mosbahi, Olfa,
|d 1976-
|
| 700 |
1 |
# |
|a Valentini, Antonio,
|d 1960-
|
| 710 |
2 |
# |
|a IGI Global.
|
| 776 |
0 |
# |
|c (Original)
|w (DLC)2012051534
|
| 776 |
0 |
8 |
|i Print version:
|w (DLC) 2012051534
|z 9781466639225
|z 1466639229
|
| 856 |
4 |
0 |
|u https://ezaccess.library.uitm.edu.my/login?url=http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-3922-5
|z View fulltext via EzAccess
|