Edge Computing and Capability-Oriented Architecture, Bai Haishi, Scholl Boris
Автор: Nederpelt Название: Type Theory and Formal Proof ISBN: 110703650X ISBN-13(EAN): 9781107036505 Издательство: Cambridge Academ Рейтинг: Цена: 70740.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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) Рейтинг: Цена: 51790.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
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.
Автор: Appel Название: Program Logics for Certified Compilers ISBN: 110704801X ISBN-13(EAN): 9781107048010 Издательство: Cambridge Academ Рейтинг: Цена: 87650.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Maya Dimitrova, Hiroaki Wagatsuma Название: Cyber-Physical Systems for Social Applications ISBN: 152257879X ISBN-13(EAN): 9781522578796 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 258720.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 60550.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Название: Advanced distributed measuring systems - exhibits of applications ISBN: 8792329721 ISBN-13(EAN): 9788792329721 Издательство: Taylor&Francis Рейтинг: Цена: 99010.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Sreeram Praveen Kumar Название: Azure Serverless Computing Cookbook - Third Edition: Build and monitor Azure applications hosted on serverless architecture using Azure functions ISBN: 1800206607 ISBN-13(EAN): 9781800206601 Издательство: Неизвестно Рейтинг: Цена: 67430.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Malkhi Dahlia Название: Concurrency: The Works of Leslie Lamport ISBN: 1450372708 ISBN-13(EAN): 9781450372701 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 85730.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book is a celebration of Leslie Lamport's work on concurrency, interwoven in four-and-a-half decades of an evolving industry: from the introduction of the first personal computer to an era when parallel and distributed multiprocessors are abundant.His works lay formal foundations for concurrent computations executed by interconnected computers. Some of the algorithms have become standard engineering practice for fault tolerant distributed computing – distributed systems that continue to function correctly despite failures of individual components. He also developed a substantial body of work on the formal specification and verification of concurrent systems, and has contributed to the development of automated tools applying these methods.Part I consists of technical chapters of the book and a biography. The technical chapters of this book present a retrospective on Lamport's original ideas from experts in the field. Through this lens, it portrays their long-lasting impact. The chapters cover timeless notions Lamport introduced: the Bakery algorithm, atomic shared registers and sequential consistency; causality and logical time; Byzantine Agreement; state machine replication and Paxos; temporal logic of actions (TLA). The professional biography tells of Lamport's career, providing the context in which his work arose and broke new grounds, and discusses LaTeX – perhaps Lamport's most influential contribution outside the field of concurrency. This chapter gives a voice to the people behind the achievements, notably Lamport himself, and additionally the colleagues around him, who inspired, collaborated, and helped him drive worldwide impact. Part II consists of a selection of Leslie Lamport's most influential papers.This book touches on a lifetime of contributions by Leslie Lamport to the field of concurrency and on the extensive influence he had on people working in the field. It will be of value to historians of science, and to researchers and students who work in the area of concurrency and who are interested to read about the work of one of the most influential researchers in this field.
Автор: Mohamed Zahran Название: Heterogeneous Computing: Hardware and Software Perspectives ISBN: 1450362338 ISBN-13(EAN): 9781450362337 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 34490.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Brinkmann Andrй, Karl Wolfgang, Lankes Stefan Название: Architecture of Computing Systems - Arcs 2020: 33rd International Conference, Aachen, Germany, May 25-28, 2020, Proceedings ISBN: 303052793X ISBN-13(EAN): 9783030527938 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book discusses various aspects of cloud computing, in which trust and fault-tolerance models are included in a multilayered, cloud architecture.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
