A Concurrent Pascal Compiler for Minicomputers, A. C. Hartmann

Автор: Ryszard Janicki; Peter E. Lauer
Название: Specification and Analysis of Concurrent Systems
ISBN: 3642773397 ISBN-13(EAN): 9783642773396
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Concurrent systems abound in human experience but theirfully adequate conceptualization as yet eludes our most ablethinkers. The COSY (ConcurrentSystem) notation and theorywas developed in the last decade as one of a number ofmathematical approaches for conceptualizing and analyzingconcurrent and reactive systems.

Автор: Michel Raynal
Название: Concurrent Programming: Algorithms, Principles, and Foundations
ISBN: 3642446159 ISBN-13(EAN): 9783642446153
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Raynal
Название: Concurrent Programming: Algorithms, Principles, and Foundations
ISBN: 3642320260 ISBN-13(EAN): 9783642320262
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Gyungho Lee; Pen-Chung Yew
Название: Interaction Between Compilers and Computer Architectures
ISBN: 1441948961 ISBN-13(EAN): 9781441948960
Издательство: Springer
Рейтинг:
Цена: 18161.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Xipeng Shen; Frank Mueller; James Tuck
Название: Languages and Compilers for Parallel Computing
ISBN: 3319297775 ISBN-13(EAN): 9783319297774
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Thisbook constitutes the thoroughly refereed post-conference proceedings of the 28thInternational Workshop on Languages and Compilers for Parallel Computing, LCPC2015, held in Raleigh, NC, USA, in September 2015. The19 revised full papers were carefully reviewed and selected from 44 submissions.

Автор: Chen Ding; John Criswell; Peng Wu
Название: Languages and Compilers for Parallel Computing
ISBN: 3319527088 ISBN-13(EAN): 9783319527086
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2016, held in Rochester, NY, USA, in September 2016. The 20 revised full papers presented together with 4 short papers were carefully reviewed.

Автор: Dieter Hammer
Название: Compiler Compilers
ISBN: 3540536698 ISBN-13(EAN): 9783540536697
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents the proceedings of a workshop on compiler compilers. This work includes papers covering a wide spectrum ranging from overviews of new compiler compilers for generating quality compilers to special problems of code generation and optimization.

Автор: Patrice Godefroid
Название: Partial-Order Methods for the Verification of Concurrent Systems
ISBN: 3540607617 ISBN-13(EAN): 9783540607618
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This monograph is a revised version of the author`s PhD thesis, submitted to the University of Liege, Belgium, with Pierre Wolper as thesis advisor. The general pattern of this work is to turn logical and semantic ideas into exploitable algorithms.

Автор: G. Kahn
Название: Semantics of Concurrent Computation
ISBN: 354009511X ISBN-13(EAN): 9783540095118
Издательство: Springer
Рейтинг:
Цена: 4191.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.

Автор: Ernst G. Ulrich; Vishwani D. Agrawal; Jack H. Arab
Название: Concurrent and Comparative Discrete Event Simulation
ISBN: 1461361818 ISBN-13(EAN): 9781461361817
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Concurrent simulation is over twenty years old. Yet, it is remarkable that no book published so far presents a correct and sufficiently detailed treatment of concurrent simulation. The discussion of multi-domain concurrent simulation--- recent work of Karen Panetta Lentz and Ernst Ulrich---is fascinat- ing.

Автор: Mads Tofte
Название: Compiler Generators
ISBN: 3642648576 ISBN-13(EAN): 9783642648571
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The OrIgIn of this monograph is a course entitled "Semantics- directed Compiler Generation" which Professor Neil D. this led to a specification of a compiler generator which was bootstrapped on itself resulting in a machine-generated compiler generator.