Edge Computing and Capability-Oriented Architecture, Bai Haishi, Scholl Boris
Автор: Nederpelt Название: Type Theory and Formal Proof ISBN: 110703650X ISBN-13(EAN): 9781107036505 Издательство: Cambridge Academ Рейтинг: Цена: 10611.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in the art of formalizing mathematics on the basis of type theory. It is suitable for a broad audience, ranging from undergraduate students to researchers.
Автор: Berekovic Название: Architecture of Computing Systems – ARCS 2018 ISBN: 3319776096 ISBN-13(EAN): 9783319776095 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 31st International Conference on Architecture of Computing Systems, ARCS 2018, held in Braunschweig, Germany, in April 2018.The 23 full papers presented in this volume were carefully reviewed and selected from 53 submissions.
Автор: Zahran Mohamed Название: Heterogeneous Computing: Hardware and Software Perspectives ISBN: 1450360971 ISBN-13(EAN): 9781450360975 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 7769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
If you look around you will find that all computer systems, from your portable devices to the strongest supercomputers, are heterogeneous in nature.
The most obvious heterogeneity is the existence of computing nodes of different capabilities (e.g. multicore, GPUs, FPGAs, ...). But there are also other heterogeneity factors that exist in computing systems, like the memory system components, interconnection, etc. The main reason for these different types of heterogeneity is to have good performance with power efficiency.
Heterogeneous computing results in both challenges and opportunities. This book discusses both. It shows that we need to deal with these challenges at all levels of the computing stack: from algorithms all the way to process technology. We discuss the topic of heterogeneous computing from different angles: hardware challenges, current hardware state-of-the-art, software issues, how to make the best use of the current heterogeneous systems, and what lies ahead.
The aim of this book is to introduce the big picture of heterogeneous computing. Whether you are a hardware designer or a software developer, you need to know how the pieces of the puzzle fit together. The main goal is to bring researchers and engineers to the forefront of the research frontier in the new era that started a few years ago and is expected to continue for decades. We believe that academics, researchers, practitioners, and students will benefit from this book and will be prepared to tackle the big wave of heterogeneous computing that is here to stay.
Автор: Maya Dimitrova, Hiroaki Wagatsuma Название: Cyber-Physical Systems for Social Applications ISBN: 152257879X ISBN-13(EAN): 9781522578796 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 38808.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Present day sophisticated, adaptive, and autonomous (to a certain degree) robotic technology is a radically new stimulus for the cognitive system of the human learner from the earliest to the oldest age. It deserves extensive, thorough, and systematic research based on novel frameworks for analysis, modelling, synthesis, and implementation of CPSs for social applications. Cyber-Physical Systems for Social Applications is a critical scholarly book that examines the latest empirical findings for designing cyber-physical systems for social applications and aims at forwarding the symbolic human-robot perspective in areas that include education, social communication, entertainment, and artistic performance. Highlighting topics such as evolinguistics, human-robot interaction, and neuroinformatics, this book is ideally designed for social network developers, cognitive scientists, education science experts, evolutionary linguists, researchers, and academicians.
Автор: Martin Schoeberl; Christian Hochberger; Sascha Uhr Название: Architecture of Computing Systems – ARCS 2019 ISBN: 3030186555 ISBN-13(EAN): 9783030186555 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 32nd International Conference on Architecture of Computing Systems, ARCS 2019, held in Copenhagen, Denmark, in May 2019. The 24 full papers presented in this volume were carefully reviewed and selected from 40 submissions.
Описание: With the pace at which the cloud technology is progressing, developers can find it difficult to understand the different technical methods available to solve a business problem. This book will help you to understand how to develop native serverless applications in the native way and integrate them with other related services.
Описание: Recent years have witnessed the rise of analysis of real-world massive and complex phenomena in graphs; to efficiently solve these large-scale graph problems, it is necessary to exploit high performance computing (HPC), which accelerates the innovation process for discovery and invention of new products and procedures in network science. Creativity in Load-Balance Schemes for Multi/Many-Core Heterogeneous Graph Computing: Emerging Research and Opportunities is a critical scholarly resource that examines trends, challenges, and collaborative processes in emerging fields within complex network analysis. Featuring coverage on a broad range of topics such as high-performance computing, big data, network science, and accelerated network traversal, this book is geared towards data analysts, researchers, students in information communication technology (ICT), program developers, and academics.
Автор: Mohamed Zahran Название: Heterogeneous Computing: Hardware and Software Perspectives ISBN: 1450362338 ISBN-13(EAN): 9781450362337 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 5173.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: If you look around you will find that all computer systems, from your portable devices to the strongest supercomputers, are heterogeneous in nature.The most obvious heterogeneity is the existence of computing nodes of different capabilities (e.g. multicore, GPUs, FPGAs, …). But there are also other heterogeneity factors that exist in computing systems, like the memory system components, interconnection, etc. The main reason for these different types of heterogeneity is to have good performance with power efficiency.Heterogeneous computing results in both challenges and opportunities. This book discusses both. It shows that we need to deal with these challenges at all levels of the computing stack: from algorithms all the way to process technology. We discuss the topic of heterogeneous computing from different angles: hardware challenges, current hardware state-of-the-art, software issues, how to make the best use of the current heterogeneous systems, and what lies ahead.The aim of this book is to introduce the big picture of heterogeneous computing. Whether you are a hardware designer or a software developer, you need to know how the pieces of the puzzle fit together. The main goal is to bring researchers and engineers to the forefront of the research frontier in the new era that started a few years ago and is expected to continue for decades. We believe that academics, researchers, practitioners, and students will benefit from this book and will be prepared to tackle the big wave of heterogeneous computing that is here to stay.
Описание: This book constitutes the proceedings of the 33rd International Conference on Architecture of Computing Systems, ARCS 2020, held in Aachen, Germany, in May 2020.*The 12 full papers in this volume were carefully reviewed and selected from 33 submissions.
Автор: Gupta Punit, Gupta Pradeep Kumar Название: Trust & Fault in Multi Layered Cloud Computing Architecture ISBN: 3030373185 ISBN-13(EAN): 9783030373184 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book discusses various aspects of cloud computing, in which trust and fault-tolerance models are included in a multilayered, cloud architecture.
Автор: Appel Название: Program Logics for Certified Compilers ISBN: 110704801X ISBN-13(EAN): 9781107048010 Издательство: Cambridge Academ Рейтинг: Цена: 13147.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book covers practical and theoretical separation logic suitable for graduate students. On the practical side, it covers verification in Hoare and separation logics, simple case studies, and the Verifiable C program logic. On the theoretical side, it covers separation algebras, step-indexed models, indirection theory, tree-shares, and the semantic construction of Verifiable C.
Описание: Measuring systems are an essential part of all automated production systems. They can serve to ensure the quality of production, or they can be used to assure the reliability and safety in various areas. The same applies in principle for fields of telecommunication, energy production and distribution, health care, etc. Similarly, no serious scientific research in the field of natural and technical sciences can be performed without objective data about the investigated object, which is usually acquired using measuring system. Demands on the speed and accuracy of measurement increase in all areas in general. These are the grounds for publishing this book.
Advanced Distributed Measuring Systems: Exhibits of Application offers eight up-to-date examples of typical laboratory, industrial, and biomedical applications of advanced measuring and information systems, including virtual instrumentation. The book arose based on the most interesting papers from this area published at IDAACS 2011 conference. However, single chapters include not only system design solution in wider context but also relevant theoretical parts, achieved results, and possible future ways of design and development.
Technical topics discussed in the book include: - embedded applications; - small distributed systems; - automotive distributed system; - distributed monitoring systems based on wireless networks; - synchronization in large DAQ systems; - virtual instrumentation.
Advanced Distributed Measuring Systems: Exhibits of Application is ideal for personnel of firms dealing with control systems, automotive electronics, airspace instrumentation, health care technology, etc. as well as academic staff and postgraduate students in electrical, control, and computer engineering.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
