Описание: This book explains synchronization and the implementation of concurrent objects, presenting synchronization algorithms while also introducing the theory that underlies the implementation of concurrent objects in the presence of asynchrony and process crashes.
Автор: Skalak, Susan Название: Implementing Concurrent Engineering in Small Companies ISBN: 0824707621 ISBN-13(EAN): 9780824707620 Издательство: Taylor&Francis Рейтинг: Цена: 23734.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Eric Y.T. Juan; Jeffrey J.P. Tsai Название: Compositional Verification of Concurrent and Real-Time Systems ISBN: 1461353491 ISBN-13(EAN): 9781461353492 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Many of the software systems support or supplant human control of safety-critical systems such as flight control systems, space shuttle control systems, aircraft avionics control systems, robotics, patient monitoring systems, nuclear power plant control systems, and so on.
Автор: Thomas Dave Название: Programming Elixir 1.6: Functional ISBN: 1680502999 ISBN-13(EAN): 9781680502992 Издательство: Wiley Рейтинг: Цена: 6098.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is the introduction to Elixir for experienced programmers, completely updated for Elixir 1.6 and beyond. Explore functional programming without the academic overtones (tell me about monads just one more time). Create concurrent applications, but get them right without all the locking and consistency headaches.
Автор: 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.
Автор: Michele Boreale; Flavio Corradini; Michele Loreti; Название: Models, Languages, and Tools for Concurrent and Distributed Programming ISBN: 3030214842 ISBN-13(EAN): 9783030214845 Издательство: Springer Рейтинг: Цена: 10340.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Festschrift volume contains 27 papers written by close collaborators and friends of Rocco De Nicola and was presented to Rocco on the 1st of July 2019 during a two-day symposium held in Lucca, Italy. The papers present many research ideas that have been influenced by Rocco`s work.
Автор: Liu Название: Petri Nets ISBN: 9811963088 ISBN-13(EAN): 9789811963087 Издательство: Springer Рейтинг: Цена: 23757.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides essential information on Petri net theory and Petri net-based model checking methods. As for the Petri net theory, it involves the interleaving semantics and concurrency semantics of elementary net systems, some important net structures (e.g., invariant, repetitive vector, siphon, and trap), some classical net subclasses with special structures (e.g., state machine, marked graph, free-choice net,asymmetric-choice net, normal net, and weakly persistent net), and some basic properties (e.g., reachability, liveness, deadlock, and soundness). It also involves four high-level Petri nets: knowledge-oriented Petri nets, Petri nets with insecure places, time Petri nets, and plain time Petri nets with priorities, focusing on different fields of application. As for the model checking methods, this book introduces readers to computation tree logic (CTL), computation tree logic of knowledge (CTLK), and timed computation tree logic (TCTL), as well as Petri net-based methods for checking them. The basic principle of the reduced ordered binary decision diagram (ROBDD) is employed to compress the state space used in these model checking procedures. The book also covers time-soundness for time Petri nets and secure bisimulation for Petri nets with insecure places, both of which are based on the bisimulation theory. As such, it offers an introduction to basic information on bisimulation theory.
Описание: This book explains synchronization and the implementation of concurrent objects, presenting synchronization algorithms while also introducing the theory that underlies the implementation of concurrent objects in the presence of asynchrony and process crashes.
Описание: 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.
Описание: This book, the first available on Crystal, shows you how to write applications that have the beauty and elegance of a modern language, combined with the power of types and modern concurrency tooling. Now you can write beautiful code that runs faster, scales better, and is a breeze to deploy.
Автор: Daniel D. Frey; Shuichi Fukuda; Georg Rock Название: Improving Complex Systems Today ISBN: 1447126904 ISBN-13(EAN): 9781447126904 Издательство: Springer Рейтинг: Цена: 43184.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: As the main theme of Improving Complex Systems Today implies, this book is intended to provide readers with a new perspective on concurrent engineering from the standpoint of systems engineering.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
