Formal Methods for Industrial Critical Systems
Author : Anne E. Haxthausen
Publisher : Springer Nature
Page : 267 pages
File Size : 32,82 MB
Release :
Category :
ISBN : 3031681509
Real Time and Such
Author : Susanne Graf
Publisher : Springer Nature
Page : 175 pages
File Size : 22,9 MB
Release :
Category :
ISBN : 3031737512
Book Description
Handbook of Real-Time Computing
Author : Yu-Chu Tian
Publisher : Springer Nature
Page : 1511 pages
File Size : 34,6 MB
Release : 2022-08-08
Category : Technology & Engineering
ISBN : 9812872515
Book Description
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
The Application of Formal Methods
Author : Simon Foster
Publisher : Springer Nature
Page : 388 pages
File Size : 49,86 MB
Release :
Category :
ISBN : 3031671147
Book Description
Intelligent Computing
Author : Kohei Arai
Publisher : Springer Nature
Page : 1492 pages
File Size : 17,69 MB
Release : 2023-10-02
Category : Technology & Engineering
ISBN : 3031377176
Book Description
This book is a collection of insightful and unique state-of the-art papers presented at the Computing Conference which took place in London on June 22–23, 2023. A total of 539 papers were received out of which 193 were selected for presenting after double-blind peer-review. The book covers a wide range of scientific topics including IoT, Artificial Intelligence, Computing, Data Science, Networking, Data security and Privacy, etc. The conference was successful in reaping the advantages of both online and offline modes. The goal of this conference is to give a platform to researchers with fundamental contributions and to be a premier venue for academic and industry practitioners to share new ideas and development experiences. We hope that readers find this book interesting and valuable. We also expect that the conference and its publications will be a trigger for further related research and technology improvements in this important subject.
Approximate Computing Techniques
Author : Alberto Bosio
Publisher : Springer Nature
Page : 541 pages
File Size : 19,12 MB
Release : 2022-06-10
Category : Technology & Engineering
ISBN : 303094705X
Book Description
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.
Wireless Algorithms, Systems, and Applications
Author : Lei Wang
Publisher : Springer Nature
Page : 677 pages
File Size : 12,22 MB
Release : 2022-11-17
Category : Technology & Engineering
ISBN : 3031192141
Book Description
The three-volume set constitutes the proceedings of the 17th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2022, which was held during October 28-30, 2022. The conference took place in Dalian, China.The 95 full and 62 short papers presented in these proceedings were carefully reviewed and selected from 265 submissions. The contributions in algorithms, systems; and applications of internet of things;information processing and data management;radar and sonar networks
Cloud Computing, Big Data & Emerging Topics
Author : Enzo Rucci
Publisher : Springer Nature
Page : 146 pages
File Size : 41,35 MB
Release : 2022-08-04
Category : Computers
ISBN : 3031145992
Book Description
This book constitutes the revised selected papers of the 10th International Conference on Cloud Computing, Big Data & Emerging Topics, JCC-BD&ET 2022, held in La Plata, Argentina*, in June-July 2022. The 9 full papers were carefully reviewed and selected from a total of 23 submissions. The papers are organized in topical sections on: Parallel and Distributed Computing; Machine and Deep Learning; Cloud and High-Performance Computing, Machine and Deep Learning, and Virtual Reality.
Tests and Proofs
Author : Virgile Prevosto
Publisher : Springer Nature
Page : 202 pages
File Size : 47,92 MB
Release : 2023-07-19
Category : Philosophy
ISBN : 3031388283
Book Description
This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July 2023. The 8 full papers together with 2 short papers included in this volume were carefully reviewed and selected from 14 submissions. They were organized in topical sections on Low-level Code Verification, Formal Models, Model-based test generation, and Abstraction and Refinement.
Fundamentals of 6G Communications and Networking
Author : Xingqin Lin
Publisher : Springer Nature
Page : 754 pages
File Size : 42,37 MB
Release : 2024-01-12
Category : Technology & Engineering
ISBN : 3031379209
Book Description
This book begins with a historical overview of the evolution of mobile technologies and addresses two key questions: why do we need 6G? and what will 6G be? The remaining chapters of this book are organized into three parts: Part I covers the foundation of an end-to-end 6G system by presenting 6G vision, driving forces, key performance indicators, and societal requirements on digital inclusion, sustainability, and intelligence. Part II presents key radio technology components for the 6G communications to deliver extreme performance, including new radio access technologies at high frequencies, joint communications and sensing, AI-driven air interface, among others. Part III describes key enablers for intelligent 6G networking, including network disaggregation, edge computing, data-driven management and orchestration, network security and trustworthiness, among others. This book is relevant to researchers, professionals, and academics working in 5G/6G and beyond.
