Control Flow and Data Flow: Concepts of Distributed Programming, F.L. Bauer; Manfred Broy; E.W. Dijkstra; C.A.R. Ho
Автор: Christian Cachin; Rachid Guerraoui; Lu?s Rodrigues Название: Introduction to Reliable and Secure Distributed Programming ISBN: 3642423272 ISBN-13(EAN): 9783642423277 Издательство: Springer Рейтинг: Цена: 7965.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Failures may range from crashes to adversarial attacks by malicious processes.Cachin, Guerraoui, and Rodrigues present an introductory description of fundamental distributed programming abstractions together with algorithms to implement them in distributed systems, where processes are subject to crashes and malicious attacks.
Автор: Buhr Название: Understanding Control Flow ISBN: 3319257013 ISBN-13(EAN): 9783319257013 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The control-flow issues presented in this textbook are extremely relevant in modern computer languages and programming styles. In addition to the basic control-flow mechanisms, virtually all new computer languages provide some form of exceptional control flow to support robust programming introduced in this textbook. Also, concurrency capabilities are appearing with increasing frequency in both new and old programming languages, and are covered in this book. Understanding Control Flow: With Concurrent Programming Using ?C++ starts with looping, and works through each of the basic control-flow concepts, examining why each is fundamental and where it is useful. Time is spent on each concept according to its level of difficulty. Examples and exercises are also provided in this textbook. New programming methodologies are requiring new forms of control flow, and new programming languages are supporting these methodologies with new control structures, such as the concurrency constructs discussed in this textbook. Most computers now contain multi-threading and multi-cores, while multiple processors and distributed systems are ubiquitous — all of which require advanced programming methodologies to take full advantage of the available parallelism summarized in this textbook. Advance forms of control flow are becoming basic programming skills needed by all programmers, not just graduate students working in the operating systems or database disciplines. This textbook is designed for advanced-level students studying computer science and engineering. Professionals and researchers working in this field, specifically programming and software engineering, will find this book useful as a reference.
Автор: Matja? Colnaric; Domen Verber Название: Distributed Embedded Control Systems ISBN: 1849967156 ISBN-13(EAN): 9781849967150 Издательство: Springer Рейтинг: Цена: 19589.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Basic issues about real-time systems and their properties, especially safety, are examined first. Then, system and hardware architectures are dealt with, along with programming issues, embodying desired properties, basic language subsets, object orientation and language support for hardware and software specifications.
Автор: Sukhendu Kanrar; Nabendu Chaki; Samiran Chattopadh Название: Concurrency Control in Distributed System Using Mutual Exclusion ISBN: 9811055580 ISBN-13(EAN): 9789811055584 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book presents various state-of-the-art approaches for process synchronization in a distributed environment. The range of algorithms discussed in the book starts from token based mutual exclusion algorithms that work on tree based topology. Then there are interesting solutions for more flexible logical topology like a directed graph, with or without cycle. In a completely different approach, one of the chapters presents two recent voting-based DME algorithms. All DME algorithms presented in the book aim to ensure fairness in terms of first come first serve (FCFS) order among equal priority processes. At the same time, the solutions consider the priority of the requesting processes and allocate resource for the earliest request when no such request from a higher priority process is pending.
Автор: Arben ?ela; Mongi Ben Gaid; Xu-Guang Li; Silviu-Iu Название: Optimal Design of Distributed Control and Embedded Systems ISBN: 3319376632 ISBN-13(EAN): 9783319376639 Издательство: Springer Рейтинг: Цена: 15672.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this book the authors present a co-design approach which subsumes the synthesis of the optimal control laws and the generation of an optimal schedule of control signals on real-time networks based on a thorough analysis of the induced time-delay system.
Автор: Arben ?ela; Mongi Ben Gaid; Xu-Guang Li; Silviu-Iu Название: Optimal Design of Distributed Control and Embedded Systems ISBN: 331902728X ISBN-13(EAN): 9783319027289 Издательство: Springer Рейтинг: Цена: 22359.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this book the authors present a co-design approach which subsumes the synthesis of the optimal control laws and the generation of an optimal schedule of control signals on real-time networks based on a thorough analysis of the induced time-delay system.
Автор: Herbert Freeman; G.G. Pieroni Название: Computer Architectures for Spatially Distributed Data ISBN: 3642821529 ISBN-13(EAN): 9783642821523 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proceedings of the NATO Advanced Study Institute on Computer Architectures for Spatially Distributed Data Held at Cetraro (Cosenza), Italy, 6 - 17 June 1983
Автор: Klaus-Peter Fischer-Hellmann; Rainer Bischoff Название: Information Flow Based Security Control Beyond RBAC ISBN: 3834826170 ISBN-13(EAN): 9783834826176 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Role-based access control (RBAC) is a widely used technology to control information flows as well as control flows within and between applications in compliance with restrictions implied by security policies, in particular, to prevent disclosure of information or access to resources beyond restrictions defined by those security policies.
Автор: Bessiere Название: Data Mining and Constraint Programming ISBN: 3319501364 ISBN-13(EAN): 9783319501369 Издательство: Springer Рейтинг: Цена: 8106.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: It would not only allow one to use data mining techniques in constraint programming to identify and update constraints and optimization criteria, but also to employ constraints and criteria in data mining and machine learning in order to discover models compatible with prior knowledge.
Описание: This book serves as a practical guide for practicing engineers who need to design embedded systems for high-speed data acquisition and control systems. The discussion of hardware focuses on microcontroller design (ARM microcontrollers and FPGAs), techniques of embedded design, high speed data acquisition (DAQ) and control systems.
Описание: This book focuses on recent research in modern optimization and its implications in control and data analysis. This book is a collection of papers from the conference “Optimization and Its Applications in Control and Data Science” dedicated to Professor Boris T. Polyak, which was held in Moscow, Russia on May 13-15, 2015.This book reflects developments in theory and applications rooted by Professor Polyak’s fundamental contributions to constrained and unconstrained optimization, differentiable and nonsmooth functions, control theory and approximation. Each paper focuses on techniques for solving complex optimization problems in different application areas and recent developments in optimization theory and methods. Open problems in optimization, game theory and control theory are included in this collection which will interest engineers and researchers working with efficient algorithms and software for solving optimization problems in market and data analysis. Theoreticians in operations research, applied mathematics, algorithm design, artificial intelligence, machine learning, and software engineering will find this book useful and graduate students will find the state-of-the-art research valuable.
Описание: This book serves as a practical guide for practicing engineers who need to design embedded systems for high-speed data acquisition and control systems. The discussion of hardware focuses on microcontroller design (ARM microcontrollers and FPGAs), techniques of embedded design, high speed data acquisition (DAQ) and control systems.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
