The aim of this handbook is to summarize the recent rapidly developed real-time computing technologies, from theories to applications. This handbook benefits the readers as a full and quick technical reference with a high-level historic review of technology, detailed technical descriptions and the latest practical applications. In general, the handbook is divided into three main parts (subjected to be modified): theory, design, and application covering different but not limited to the following topics: - Real-time operating systems - Real-time scheduling - Timing analysis - Programming languages and run-time systems - Middleware systems - Design and analysis tools - Real-time aspects of wireless sensor networks - Energy aware real-time methods

This book is dedicated to Real-time Systems of broad applications, such as autonavigation (Kalman Filtering), real-time reconfiguration of distributed networks, real-time bilateral teleoperation control system over imperfect networks, and uniform interfaces for resource-sharing components in hierarchically scheduled real-time systems. In addition to that, wireless technology and its usage in implementing intelligent systems open a wide spectrum of real-time systems and offer great potential for improving people's life: for example, wireless sensor networks used in subways, reduced energy consumption in public buildings, improved security through public surveillance, and high efficiency through industrial automation. Furthermore, electric utilities and multi-core CPU architecture, the driving force of modern life, are part of subjects benefited from the topics covered in this book.

This book provides a comprehensive overview of both theoretical and pragmatic aspects of resource-allocation and scheduling in multiprocessor and multicore hard-real-time systems. The authors derive new, abstract models of real-time tasks that capture accurately the salient features of real application systems that are to be implemented on multiprocessor platforms, and identify rules for mapping application systems onto the most appropriate models. New run-time multiprocessor scheduling algorithms are presented, which are demonstrably better than those currently used, both in terms of run-time efficiency and tractability of off-line analysis. Readers will benefit from a new design and analysis framework for multiprocessor real-time systems, which will translate into a significantly enhanced ability to provide formally verified, safety-critical real-time systems at a significantly lower cost.

This book serves as a single-source reference to the latest advances in Approximate Computing (AxC), a promising technique for increasing performance or reducing the cost and power consumption of a computing system. The authors discuss the different AxC design and validation techniques, and their integration. They also describe real AxC applications, spanning from mobile to high performance computing and also safety-critical applications.

This book focuses on scheduling algorithms for parallel applications on heterogeneous distributed systems, and addresses key scheduling requirements – high performance, low energy consumption, real time, and high reliability – from the perspectives of both theory and engineering practice. Further, it examines two typical application cases in automotive cyber-physical systems and cloud systems in detail, and discusses scheduling challenges in connection with resource costs, reliability and low energy. The book offers a comprehensive and systematic treatment of high-performance, low energy consumption, and high reliability issues on heterogeneous distributed systems, making it a particularly valuable resource for researchers, engineers and graduate students in the fields of computer science and engineering, information science and engineering, and automotive engineering, etc. The wealth of motivational examples with figures and tables make it easy to understand.

Vital signs, such as heart rate and respiration rate, are useful to health monitoring because they can provide important physiological insights for medical diagnosis and well-being management. Most traditional methods for measuring vital signs require a person to wear biomedical devices, such as a capnometer, a pulse oximeter, or an electrocardiogram sensor. These contact-based technologies are inconvenient, cumbersome, and uncomfortable to use. There is a compelling need for technologies that enable contact-free, easily deployable, and long-term monitoring of vital signs for healthcare. Contactless Vital Signs Monitoring presents a systematic and in-depth review on the principles, methodologies, and opportunities of using different wavelengths of an electromagnetic spectrum to measure vital signs from the human face and body contactlessly. The volume brings together pioneering researchers active in the field to report the latest progress made, in an intensive and structured way. It also presents various healthcare applications using camera and radio frequency-based monitoring, from clinical care to home care, to sport training and automotive, such as patient/neonatal monitoring in intensive care units, general wards, emergency department triage, MR/CT cardiac and respiratory gating, sleep centers, baby/elderly care, fitness cardio training, driver monitoring in automotive settings, and more. This book will be an important educational source for biomedical researchers, AI healthcare researchers, computer vision researchers, wireless-sensing researchers, doctors/clinicians, physicians/psychologists, and medical equipment manufacturers. - Includes various contactless vital signs monitoring techniques, such as optical-based, radar-based, WiFi-based, RFID-based, and acoustic-based methods. - Presents a thorough introduction to the measurement principles, methodologies, healthcare applications, hardware set-ups, and systems for contactless measurement of vital signs using camera or RF sensors. - Presents the opportunities for the fusion of camera and RF sensors for contactless vital signs monitoring and healthcare.

This volume contains the post-conference proceedings of the 10th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2015, held in Telč, Czech Republic, in October 2015. The 10 thoroughly revised full papers were carefully selected out of 25 submissions and are presented together with 3 invited papers. The topics covered include: security and safety, bioinformatics, recommender systems, high-performance and cloud computing, and non-traditional computational models (quantum computing, etc.).ioinformatics, recommender="" systems,="" high-performance="" and="" cloud="" computing,="" non-traditional="" computational="" models="" (quantum="" etc.).

This two-volume set constitutes the refereed post-conference proceedings of the 12th International Conference on Simulation Tools and Techniques, SIMUTools 2020, held in Guiyang, China, in August 2020. Due to COVID-19 pandemic the conference was held virtually. The 125 revised full papers were carefully selected from 354 submissions. The papers focus on simulation methods, simulation techniques, simulation software, simulation performance, modeling formalisms, simulation verification and widely used frameworks.