Euro-Par 2024: Parallel Processing

Euro-Par 2024: Parallel Processing PDF Author: Jesus Carretero
Publisher: Springer Nature
ISBN: 3031695771
Category :
Languages : en
Pages : 430

Get Book Here

Book Description

Euro-Par 2024: Parallel Processing

Euro-Par 2024: Parallel Processing PDF Author: Jesus Carretero
Publisher: Springer Nature
ISBN: 3031695771
Category :
Languages : en
Pages : 430

Get Book Here

Book Description


Formal Aspects of Component Software

Formal Aspects of Component Software PDF Author: Diego Marmsoler
Publisher: Springer Nature
ISBN: 3031712617
Category :
Languages : en
Pages : 157

Get Book Here

Book Description


Information Logistics for Organizational Empowerment and Effective Supply Chain Management

Information Logistics for Organizational Empowerment and Effective Supply Chain Management PDF Author: Nozari, Hamed
Publisher: IGI Global
ISBN:
Category : Business & Economics
Languages : en
Pages : 292

Get Book Here

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

Automated Technology for Verification and Analysis PDF Author: Étienne André
Publisher: Springer Nature
ISBN: 3031453298
Category : Computers
Languages : en
Pages : 453

Get Book Here

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.

Real-Time Database Systems

Real-Time Database Systems PDF Author: Pedro Mejia Alvarez
Publisher: Springer Nature
ISBN: 303144230X
Category : Computers
Languages : en
Pages : 126

Get Book Here

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.

System Innovation for a World in Transition

System Innovation for a World in Transition PDF Author: Artde Donald Kin-Tak Lam
Publisher: CRC Press
ISBN: 1003860931
Category : Technology & Engineering
Languages : en
Pages : 714

Get Book Here

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

Pervasive Computing Technologies for Healthcare PDF Author: Dario Salvi
Publisher: Springer Nature
ISBN: 3031597176
Category :
Languages : en
Pages : 525

Get Book Here

Book Description


Formal Aspects of Component Software

Formal Aspects of Component Software PDF Author: Javier Cámara
Publisher: Springer Nature
ISBN: 3031521838
Category : Mathematics
Languages : en
Pages : 243

Get Book Here

Book Description
This book constitutes the refereed proceedings of the 19th International Conference on Formal Aspects of Component Software, FACS 2023, which took place virtually during October 19-20, 2023. The 11 full papers included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: cloud computing, cyber-physical and critical systems, and the Internet of Things.

Quality-of-Service Aware Design and Management of Embedded Mixed-Criticality Systems

Quality-of-Service Aware Design and Management of Embedded Mixed-Criticality Systems PDF Author: Behnaz Ranjbar
Publisher: Springer Nature
ISBN: 3031389603
Category : Technology & Engineering
Languages : en
Pages : 205

Get Book Here

Book Description
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.

Role of Data-Intensive Distributed Computing Systems in Designing Data Solutions

Role of Data-Intensive Distributed Computing Systems in Designing Data Solutions PDF Author: Sarvesh Pandey
Publisher: Springer Nature
ISBN: 3031155424
Category : Technology & Engineering
Languages : en
Pages : 339

Get Book Here

Book Description
This book discusses the application of data systems and data-driven infrastructure in existing industrial systems in order to optimize workflow, utilize hidden potential, and make existing systems free from vulnerabilities. The book discusses application of data in the health sector, public transportation, the financial institutions, and in battling natural disasters, among others. Topics include real-time applications in the current big data perspective; improving security in IoT devices; data backup techniques for systems; artificial intelligence-based outlier prediction; machine learning in OpenFlow Network; and application of deep learning in blockchain enabled applications. This book is intended for a variety of readers from professional industries, organizations, and students.