Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 0
Book Description
2023 IEEE 29th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).
Euro-Par 2024: Parallel Processing
Author: Jesus Carretero
Publisher: Springer Nature
ISBN: 3031695771
Category :
Languages : en
Pages : 430
Book Description
Publisher: Springer Nature
ISBN: 3031695771
Category :
Languages : en
Pages : 430
Book Description
Formal Aspects of Component Software
Author: Diego Marmsoler
Publisher: Springer Nature
ISBN: 3031712617
Category :
Languages : en
Pages : 157
Book Description
Publisher: Springer Nature
ISBN: 3031712617
Category :
Languages : en
Pages : 157
Book Description
High-Performance and Time-Predictable Embedded Computing
Author: Pinho, Luis Miguel
Publisher: River Publishers
ISBN: 8793609698
Category : Computers
Languages : en
Pages : 236
Book Description
Nowadays, the prevalence of computing systems in our lives is so ubiquitous that we live in a cyber-physical world dominated by computer systems, from pacemakers to cars and airplanes. These systems demand for more computational performance to process large amounts of data from multiple data sources with guaranteed processing times. Actuating outside of the required timing bounds may cause the failure of the system, being vital for systems like planes, cars, business monitoring, e-trading, etc. High-Performance and Time-Predictable Embedded Computing presents recent advances in software architecture and tools to support such complex systems, enabling the design of embedded computing devices which are able to deliver high-performance whilst guaranteeing the application required timing bounds. Technical topics discussed in the book include: Parallel embedded platformsProgramming modelsMapping and scheduling of parallel computationsTiming and schedulability analysisRuntimes and operating systems The work reflected in this book was done in the scope of the European project P‑SOCRATES, funded under the FP7 framework program of the European Commission. High-performance and time-predictable embedded computing is ideal for personnel in computer/communication/embedded industries as well as academic staff and master/research students in computer science, embedded systems, cyber-physical systems and internet-of-things.
Publisher: River Publishers
ISBN: 8793609698
Category : Computers
Languages : en
Pages : 236
Book Description
Nowadays, the prevalence of computing systems in our lives is so ubiquitous that we live in a cyber-physical world dominated by computer systems, from pacemakers to cars and airplanes. These systems demand for more computational performance to process large amounts of data from multiple data sources with guaranteed processing times. Actuating outside of the required timing bounds may cause the failure of the system, being vital for systems like planes, cars, business monitoring, e-trading, etc. High-Performance and Time-Predictable Embedded Computing presents recent advances in software architecture and tools to support such complex systems, enabling the design of embedded computing devices which are able to deliver high-performance whilst guaranteeing the application required timing bounds. Technical topics discussed in the book include: Parallel embedded platformsProgramming modelsMapping and scheduling of parallel computationsTiming and schedulability analysisRuntimes and operating systems The work reflected in this book was done in the scope of the European project P‑SOCRATES, funded under the FP7 framework program of the European Commission. High-performance and time-predictable embedded computing is ideal for personnel in computer/communication/embedded industries as well as academic staff and master/research students in computer science, embedded systems, cyber-physical systems and internet-of-things.
Information Logistics for Organizational Empowerment and Effective Supply Chain Management
Author: Nozari, Hamed
Publisher: IGI Global
ISBN:
Category : Business & Economics
Languages : en
Pages : 292
Book Description
Information Logistics for Organizational Empowerment and Effective Supply Chain Management delves into the profound impact of information technology on modern businesses and supply chains. As the world becomes increasingly reliant on the virtuous triangle of the Internet of Things (IoT), big data, and artificial intelligence (AI), industries face both challenges and opportunities. This book explores the multifaceted effects of information logistics on supply chain performance, considering various dimensions and key indicators. With a focus on empowering supply chains, the book uncovers procedures and tools that can enhance the intelligence, security, flexibility, agility, and efficiency of logistics systems. By understanding the interplay between traditional logistics and the information space, readers gain valuable insights into building seamless, intelligent supply chains for the contemporary world. Ideal for students, researchers, and graduates in industrial engineering, industrial management, economics, mathematics, and related fields, this book offers a comprehensive resource for understanding and implementing smart supply chain practices. Professionals working in diverse industries such as food, arbitration, agriculture, electronics, and more will find practical applications and solutions for improving logistics processes. Additionally, individuals with an interest in smart supply chains and the evolving landscape of information logistics will find this book a valuable reference.
Publisher: IGI Global
ISBN:
Category : Business & Economics
Languages : en
Pages : 292
Book Description
Information Logistics for Organizational Empowerment and Effective Supply Chain Management delves into the profound impact of information technology on modern businesses and supply chains. As the world becomes increasingly reliant on the virtuous triangle of the Internet of Things (IoT), big data, and artificial intelligence (AI), industries face both challenges and opportunities. This book explores the multifaceted effects of information logistics on supply chain performance, considering various dimensions and key indicators. With a focus on empowering supply chains, the book uncovers procedures and tools that can enhance the intelligence, security, flexibility, agility, and efficiency of logistics systems. By understanding the interplay between traditional logistics and the information space, readers gain valuable insights into building seamless, intelligent supply chains for the contemporary world. Ideal for students, researchers, and graduates in industrial engineering, industrial management, economics, mathematics, and related fields, this book offers a comprehensive resource for understanding and implementing smart supply chain practices. Professionals working in diverse industries such as food, arbitration, agriculture, electronics, and more will find practical applications and solutions for improving logistics processes. Additionally, individuals with an interest in smart supply chains and the evolving landscape of information logistics will find this book a valuable reference.
Automated Technology for Verification and Analysis
Author: Étienne André
Publisher: Springer Nature
ISBN: 3031453298
Category : Computers
Languages : en
Pages : 453
Book Description
This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware.
Publisher: Springer Nature
ISBN: 3031453298
Category : Computers
Languages : en
Pages : 453
Book Description
This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware.
System Innovation for a World in Transition
Author: Artde Donald Kin-Tak Lam
Publisher: CRC Press
ISBN: 1003860931
Category : Technology & Engineering
Languages : en
Pages : 714
Book Description
System Innovation for a World in Transition: Applied System Innovation IX, includes the contributions presented at the IEEE 9th International Conference on Applied System Innovation (ICASI 2023, Chiba, Japan, 21-25 April 2023). The conference received more than 600 submitted papers from 12 different countries, whereby roughly one quarter of these papers was selected to present at ICASI 2023. The book aims to provide an integrated communication platform for researchers from a wide range of topics including information technology, communication science, applied mathematics, computer science, advanced material science, and engineering. Hopefully, it will enhance interdisciplinary collaborations between science and engineering technologists in the fields of academics and related industries.
Publisher: CRC Press
ISBN: 1003860931
Category : Technology & Engineering
Languages : en
Pages : 714
Book Description
System Innovation for a World in Transition: Applied System Innovation IX, includes the contributions presented at the IEEE 9th International Conference on Applied System Innovation (ICASI 2023, Chiba, Japan, 21-25 April 2023). The conference received more than 600 submitted papers from 12 different countries, whereby roughly one quarter of these papers was selected to present at ICASI 2023. The book aims to provide an integrated communication platform for researchers from a wide range of topics including information technology, communication science, applied mathematics, computer science, advanced material science, and engineering. Hopefully, it will enhance interdisciplinary collaborations between science and engineering technologists in the fields of academics and related industries.
Pervasive Computing Technologies for Healthcare
Author: Dario Salvi
Publisher: Springer Nature
ISBN: 3031597176
Category :
Languages : en
Pages : 525
Book Description
Publisher: Springer Nature
ISBN: 3031597176
Category :
Languages : en
Pages : 525
Book Description
Real-Time Database Systems
Author: Pedro Mejia Alvarez
Publisher: Springer Nature
ISBN: 303144230X
Category : Computers
Languages : en
Pages : 126
Book Description
This book provides an overview of both experimental and commercial real-time database systems (RTDBs) and a systematic approach to understanding, designing, and implementing them. To this end, the book is composed of four chapters: Chapter 1 “An Overview of Real-Time Database Systems” delves into the realm of RTDBs and discusses the specific requirements, transaction models, and scheduling algorithms that set RTDBs apart from conventional DBMs. Chapter 2 on “Experimental Real-Time Databases” presents various experimental RTDBs developed in academia with their architectures, features, and implementations, while chapter 3 on “Commercial Real-Time Databases” does so for systems developed and offered by commercial vendors as products or services. Eventually, chapter 4 on “Applications of Real-Time Database Systems” showcases various applications of RTDBs across different domains. This book will help researchers, graduate students and advanced professionals to get an overview of the area and to understand the main challenges and systems available.
Publisher: Springer Nature
ISBN: 303144230X
Category : Computers
Languages : en
Pages : 126
Book Description
This book provides an overview of both experimental and commercial real-time database systems (RTDBs) and a systematic approach to understanding, designing, and implementing them. To this end, the book is composed of four chapters: Chapter 1 “An Overview of Real-Time Database Systems” delves into the realm of RTDBs and discusses the specific requirements, transaction models, and scheduling algorithms that set RTDBs apart from conventional DBMs. Chapter 2 on “Experimental Real-Time Databases” presents various experimental RTDBs developed in academia with their architectures, features, and implementations, while chapter 3 on “Commercial Real-Time Databases” does so for systems developed and offered by commercial vendors as products or services. Eventually, chapter 4 on “Applications of Real-Time Database Systems” showcases various applications of RTDBs across different domains. This book will help researchers, graduate students and advanced professionals to get an overview of the area and to understand the main challenges and systems available.
Handbook of Real-Time and Embedded Systems
Author: Insup Lee
Publisher: CRC Press
ISBN: 142001174X
Category : Computers
Languages : en
Pages : 798
Book Description
Real-time and embedded systems are essential to our lives, from controlling car engines and regulating traffic lights to monitoring plane takeoffs and landings to providing up-to-the-minute stock quotes. Bringing together researchers from both academia and industry, the Handbook of Real-Time and Embedded Systems provides comprehensive covera
Publisher: CRC Press
ISBN: 142001174X
Category : Computers
Languages : en
Pages : 798
Book Description
Real-time and embedded systems are essential to our lives, from controlling car engines and regulating traffic lights to monitoring plane takeoffs and landings to providing up-to-the-minute stock quotes. Bringing together researchers from both academia and industry, the Handbook of Real-Time and Embedded Systems provides comprehensive covera