Handbook of Real-Time Computing
Title | Handbook of Real-Time Computing PDF eBook |
Author | Yu-Chu Tian |
Publisher | Springer Nature |
Pages | 1511 |
Release | 2022-08-08 |
Genre | Technology & Engineering |
ISBN | 9812872515 |
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
Hard Real-Time Computing Systems
Title | Hard Real-Time Computing Systems PDF eBook |
Author | Giorgio Buttazzo |
Publisher | Springer Nature |
Pages | 500 |
Release | |
Genre | |
ISBN | 3031454103 |
RTSS 2016
Title | RTSS 2016 PDF eBook |
Author | |
Publisher | |
Pages | |
Release | 2016 |
Genre | |
ISBN | 9781509053032 |
A Journey of Embedded and Cyber-Physical Systems
Title | A Journey of Embedded and Cyber-Physical Systems PDF eBook |
Author | Jian-Jia Chen |
Publisher | Springer Nature |
Pages | 181 |
Release | 2020-07-30 |
Genre | Technology & Engineering |
ISBN | 3030474879 |
This Open Access book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical systems. The contributions in the book summarize the content of invited lectures given at the workshop “Embedded Systems” held at the Technical University Dortmund in early July 2019 in honor of Professor Marwedel's seventieth birthday. Provides a comprehensive view from leading researchers with respect to the past, present, and future of the design of embedded and cyber-physical systems; Discusses challenges and (potential) solutions from theoreticians and practitioners on modeling, design, analysis, and optimization for embedded and cyber-physical systems; Includes coverage of model verification, communication, software runtime systems, operating systems and real-time computing.
Quality-of-Service Aware Design and Management of Embedded Mixed-Criticality Systems
Title | Quality-of-Service Aware Design and Management of Embedded Mixed-Criticality Systems PDF eBook |
Author | Behnaz Ranjbar |
Publisher | Springer Nature |
Pages | 205 |
Release | 2023-10-28 |
Genre | Technology & Engineering |
ISBN | 3031389603 |
This book addresses the challenges associated with efficient Mixed-Criticality (MC) system design. We focus on application analysis through execution time analysis and task scheduling analysis in order to execute more low-criticality tasks in the system, i.e., improving the Quality-of-Service (QoS), while guaranteeing the correct execution of high-criticality tasks. Further, this book addresses the challenge of enhancing QoS using parallelism in multi-processor hardware platforms.
2016 IEEE Real Time Systems Symposium (RTSS)
Title | 2016 IEEE Real Time Systems Symposium (RTSS) PDF eBook |
Author | IEEE Staff |
Publisher | |
Pages | |
Release | 2016-11-29 |
Genre | |
ISBN | 9781509053049 |
RTSS covers all aspects of real time systems design, analysis, implementation, evaluation, and experiences
Theoretical Computer Science
Title | Theoretical Computer Science PDF eBook |
Author | Zhiping Cai |
Publisher | Springer Nature |
Pages | 258 |
Release | 2021-11-09 |
Genre | Computers |
ISBN | 9811674434 |
This book constitutes the thoroughly refereed proceedings of the 39th National Conference of Theoretical Computer Science, NCTCS 2021, held in Yinchuan, China, in July 2021. The 67 full papers were carefully reviewed and selected from 145 submissions, and 14 of them were selected for the volume. The papers present recent research in the areas of information hiding, data detection and recognition, system scheduling, time series prediction, and formal analysis.