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
RTSS 2016
Title | RTSS 2016 PDF eBook |
Author | |
Publisher | |
Pages | |
Release | 2016 |
Genre | |
ISBN | 9781509053032 |
2016 IEEE Real-Time Systems Symposium
Title | 2016 IEEE Real-Time Systems Symposium PDF eBook |
Author | |
Publisher | |
Pages | |
Release | 2016 |
Genre | Real-time data processing |
ISBN |
Annotation RTSS covers all aspects of real time systems design, analysis, implementation, evaluation, and experiences.
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
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.
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 |
NASA Formal Methods
Title | NASA Formal Methods PDF eBook |
Author | Jyotirmoy V. Deshmukh |
Publisher | Springer Nature |
Pages | 848 |
Release | 2022-05-19 |
Genre | Computers |
ISBN | 3031067738 |
This book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasadena, USA, during May 24-27, 2022. The 33 full and 6 short papers presented in this volume were carefully reviewed and selected from 118submissions. The volume also contains 6 invited papers. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice. The focus on topics such as interactive and automated theorem proving; SMT and SAT solving; model checking; use of machine learning and probabilistic reasoning in formal methods; formal methods and graphical modeling languages such as SysML or UML; usability of formal method tools and application in industry, etc.