Design Space Exploration and Resource Management of Multi/Many-Core Systems

Design Space Exploration and Resource Management of Multi/Many-Core Systems
Author: Amit Kumar Singh
Publisher: MDPI
Total Pages: 218
Release: 2021-05-10
Genre: Technology & Engineering
ISBN: 3036508767

The increasing demand of processing a higher number of applications and related data on computing platforms has resulted in reliance on multi-/many-core chips as they facilitate parallel processing. However, there is a desire for these platforms to be energy-efficient and reliable, and they need to perform secure computations for the interest of the whole community. This book provides perspectives on the aforementioned aspects from leading researchers in terms of state-of-the-art contributions and upcoming trends.

PROCEEDINGS OF THE 21ST CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2021

PROCEEDINGS OF THE 21ST CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2021
Author: Michael W. Whalen
Publisher: TU Wien Academic Press
Total Pages: 297
Release: 2021-10-14
Genre: Computers
ISBN: 3854480466

Our life is dominated by hardware: a USB stick, the processor in our laptops or the SIM card in our smart phone. But who or what makes sure that these systems work stably, safely and securely from the word go? The computer - with a little help from humans. The overall name for this is CAD (computer-aided design), and it’s become hard to imagine our modern industrial world without it. So how can we be sure that the hardware and computer systems we use are reliable? By using formal methods: these are techniques and tools to calculate whether a system description is in itself consistent or whether requirements have been developed and implemented correctly. Or to put it another way: they can be used to check the safety and security of hardware and software. Just how this works in real life was also of interest at the annual conference on "Formal Methods in Computer-Aided Design (FMCAD)". Under the direction of Ruzica Piskac and Michael Whalen, the 21st Conference in October 2021 addressed the results of the latest research in the field of formal methods. A volume of conference proceedings with over 30 articles covering a wide range of formal methods has now been published for this online conference: starting from the verification of hardware, parallel and distributed systems as well as neuronal networks, right through to machine learning and decision-making procedures. This volume provides a fascinating insight into revolutionary methods, technologies, theoretical results and tools for formal logic in computer systems and system developments.

Open-Source Electronics Platforms

Open-Source Electronics Platforms
Author: Trung Dung Ngo
Publisher: MDPI
Total Pages: 262
Release: 2019-05-20
Genre: Technology & Engineering
ISBN: 3038979724

Open-source electronics are becoming very popular, and are integrated with our daily educational and developmental activities. At present, the use open-source electronics for teaching science, technology, engineering, and mathematics (STEM) has become a global trend. Off-the-shelf embedded electronics such as Arduino- and Raspberry-compatible modules have been widely used for various applications, from do-it-yourself (DIY) to industrial projects. In addition to the growth of open-source software platforms, open-source electronics play an important role in narrowing the gap between prototyping and product development. Indeed, the technological and social impacts of open-source electronics in teaching, research, and innovation have been widely recognized.

Quantum Computer Systems

Quantum Computer Systems
Author: Yongshan Ding
Publisher: Springer Nature
Total Pages: 203
Release: 2022-05-31
Genre: Technology & Engineering
ISBN: 303101765X

This book targets computer scientists and engineers who are familiar with concepts in classical computer systems but are curious to learn the general architecture of quantum computing systems. It gives a concise presentation of this new paradigm of computing from a computer systems' point of view without assuming any background in quantum mechanics. As such, it is divided into two parts. The first part of the book provides a gentle overview on the fundamental principles of the quantum theory and their implications for computing. The second part is devoted to state-of-the-art research in designing practical quantum programs, building a scalable software systems stack, and controlling quantum hardware components. Most chapters end with a summary and an outlook for future directions. This book celebrates the remarkable progress that scientists across disciplines have made in the past decades and reveals what roles computer scientists and engineers can play to enable practical-scale quantum computing.

Intelligent Computing Techniques for Smart Energy Systems

Intelligent Computing Techniques for Smart Energy Systems
Author: Akhtar Kalam
Publisher: Springer Nature
Total Pages: 1011
Release: 2019-12-16
Genre: Technology & Engineering
ISBN: 9811502145

The book compiles the research works related to smart solutions concept in context to smart energy systems, maintaining electrical grid discipline and resiliency, computational collective intelligence consisted of interaction between smart devices, smart environments and smart interactions, as well as information technology support for such areas. It includes high-quality papers presented in the International Conference on Intelligent Computing Techniques for Smart Energy Systems organized by Manipal University Jaipur. This book will motivate scholars to work in these areas. The book also prophesies their approach to be used for the business and the humanitarian technology development as research proposal to various government organizations for funding approval.

Reconfigurable Computing

Reconfigurable Computing
Author: Joao Cardoso
Publisher: Springer Science & Business Media
Total Pages: 308
Release: 2011-08-17
Genre: Technology & Engineering
ISBN: 1461400619

As the complexity of modern embedded systems increases, it becomes less practical to design monolithic processing platforms. As a result, reconfigurable computing is being adopted widely for more flexible design. Reconfigurable Computers offer the spatial parallelism and fine-grained customizability of application-specific circuits with the postfabrication programmability of software. To make the most of this unique combination of performance and flexibility, designers need to be aware of both hardware and software issues. FPGA users must think not only about the gates needed to perform a computation but also about the software flow that supports the design process. The goal of this book is to help designers become comfortable with these issues, and thus be able to exploit the vast opportunities possible with reconfigurable logic.

Springer Handbook of Automation

Springer Handbook of Automation
Author: Shimon Y. Nof
Publisher: Springer Nature
Total Pages: 1533
Release: 2023-06-16
Genre: Technology & Engineering
ISBN: 3030967298

This handbook incorporates new developments in automation. It also presents a widespread and well-structured conglomeration of new emerging application areas, such as medical systems and health, transportation, security and maintenance, service, construction and retail as well as production or logistics. The handbook is not only an ideal resource for automation experts but also for people new to this expanding field.

Networks on Chip

Networks on Chip
Author: Axel Jantsch
Publisher: Springer Science & Business Media
Total Pages: 304
Release: 2007-05-08
Genre: Computers
ISBN: 0306487276

As the number of processor cores and IP blocks integrated on a single chip is steadily growing, a systematic approach to design the communication infrastructure becomes necessary. Different variants of packed switched on-chip networks have been proposed by several groups during the past two years. This book summarizes the state of the art of these efforts and discusses the major issues from the physical integration to architecture to operating systems and application interfaces. It also provides a guideline and vision about the direction this field is moving to. Moreover, the book outlines the consequences of adopting design platforms based on packet switched network. The consequences may in fact be far reaching because many of the topics of distributed systems, distributed real-time systems, fault tolerant systems, parallel computer architecture, parallel programming as well as traditional system-on-chip issues will appear relevant but within the constraints of a single chip VLSI implementation.

High-Level Synthesis

High-Level Synthesis
Author: Philippe Coussy
Publisher: Springer Science & Business Media
Total Pages: 307
Release: 2008-08-01
Genre: Technology & Engineering
ISBN: 1402085885

This book presents an excellent collection of contributions addressing different aspects of high-level synthesis from both industry and academia. It includes an overview of available EDA tool solutions and their applicability to design problems.

The Future of Nursing 2020-2030

The Future of Nursing 2020-2030
Author: National Academies of Sciences Engineering and Medicine
Publisher:
Total Pages:
Release: 2021-09-30
Genre:
ISBN: 9780309685061

The decade ahead will test the nation's nearly 4 million nurses in new and complex ways. Nurses live and work at the intersection of health, education, and communities. Nurses work in a wide array of settings and practice at a range of professional levels. They are often the first and most frequent line of contact with people of all backgrounds and experiences seeking care and they represent the largest of the health care professions. A nation cannot fully thrive until everyone - no matter who they are, where they live, or how much money they make - can live their healthiest possible life, and helping people live their healthiest life is and has always been the essential role of nurses. Nurses have a critical role to play in achieving the goal of health equity, but they need robust education, supportive work environments, and autonomy. Accordingly, at the request of the Robert Wood Johnson Foundation, on behalf of the National Academy of Medicine, an ad hoc committee under the auspices of the National Academies of Sciences, Engineering, and Medicine conducted a study aimed at envisioning and charting a path forward for the nursing profession to help reduce inequities in people's ability to achieve their full health potential. The ultimate goal is the achievement of health equity in the United States built on strengthened nursing capacity and expertise. By leveraging these attributes, nursing will help to create and contribute comprehensively to equitable public health and health care systems that are designed to work for everyone. The Future of Nursing 2020-2030: Charting a Path to Achieve Health Equity explores how nurses can work to reduce health disparities and promote equity, while keeping costs at bay, utilizing technology, and maintaining patient and family-focused care into 2030. This work builds on the foundation set out by The Future of Nursing: Leading Change, Advancing Health (2011) report.