Автор: Chenzhong Xu; Francis C.M. Lau Название: Load Balancing in Parallel Computers ISBN: 079239819X ISBN-13(EAN): 9780792398196 Издательство: Springer Рейтинг: Цена: 22558.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Describes the software technique of load balancing in distributed memory message-passing parallel computers. This book presents mathematical analyses and practical implementations. It focuses on nearest-neighbor load balancing methods in which every processor at every step is restricted to balancing its workload with its direct neighbours only.
Автор: Andrea Bondavalli, Francesco Brancati Название: Certifications of Critical Systems: The CECRIS Experience ISBN: 8793519567 ISBN-13(EAN): 9788793519565 Издательство: Taylor&Francis Рейтинг: Цена: 12554.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Documents the main insights on Cost Effective Verification and Validation processes that were gained during work in the European Research Project CECRIS (Certification of Critical Systems). The objective of the research was to tackle the challenges of certification by focusing on those aspects that turn out to be more difficult/important for current and future critical systems industry: the effective use of methodologies, processes and tools.
Автор: Leando Soares Indrusiak, Piotr Dziurzanski, Amit Kumar Singh Название: Dynamic Resource Allocation in Embedded, High-Performance and Cloud Computing ISBN: 8793519087 ISBN-13(EAN): 9788793519084 Издательство: Taylor&Francis Рейтинг: Цена: 11023.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Covers dynamic resource allocation heuristics for many core systems. It addresses different types of systems, aiming to harmonise the approaches to dynamic allocation across the complete spectrum between systems with little flexibility and strict real-time guarantees all the way to highly dynamic systems with soft performance requirements.
Автор: Malkhi Dahlia Название: Concurrency: The Works of Leslie Lamport ISBN: 1450372708 ISBN-13(EAN): 9781450372701 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 12860.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Gabor Kecskemeti Название: Applying Integration Techniques and Methods in Distributed Systems ISBN: 1522582959 ISBN-13(EAN): 9781522582953 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 35897.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Distributed systems intertwine with our everyday lives. The benefits and current shortcomings of the underpinning technologies are experienced by a wide range of people and their smart devices. With the rise of large-scale IoT and similar distributed systems, cloud bursting technologies, and partial outsourcing solutions, private entities are encouraged to increase their efficiency and offer unparalleled availability and reliability to their users. Applying Integration Techniques and Methods in Distributed Systems is a critical scholarly publication that defines the current state of distributed systems, determines further goals, and presents architectures and service frameworks to achieve highly integrated distributed systems and presents solutions to integration and efficient management challenges faced by current and future distributed systems. Highlighting topics such as multimedia, programming languages, and smart environments, this book is ideal for system administrators, integrators, designers, developers, researchers, and academicians.
Автор: 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.
Автор: de Giovanni Pietro Название: Blockchain Technology Applications in Businesses and Organizations ISBN: 179988015X ISBN-13(EAN): 9781799880158 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 28413.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Reveals the advantages that blockchain entails for firms by creating transparent and digital transactions, resolves conflicts and exceptions, and provides incentive-based mechanisms and smart contracts. This book seeks to create a clear understanding of blockchain`s applications such that business leaders can see and evaluate its real advantages.
Описание: Considering systems built on top of an asynchronous read/write shared memory prone to process crashes, this monograph presents the fundamental notions that are universal constructions, consensus numbers, distributed recursivity, power of the BG simulation, and what can be done when one has to cope with process anonymity and/or memory anonymity.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
