Languages and Compilers for Parallel Computing, Jos? Nelson Amaral

Автор: Eduard Ayguad?; Gerald Baumgartner; J. Ramanujam;
Название: Languages and Compilers for Parallel Computing
ISBN: 3540693297 ISBN-13(EAN): 9783540693291
Издательство: Springer
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Guang R. Gao; Lori Pollock; John Cavazos; Xiaoming
Название: Languages and Compilers for Parallel Computing
ISBN: 3642133738 ISBN-13(EAN): 9783642133732
Издательство: Springer
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Vikram Adve; Mar?a Jes?s Garzar?n; Paul Petersen
Название: Languages and Compilers for Parallel Computing
ISBN: 3540852603 ISBN-13(EAN): 9783540852605
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed post-conference proceedings of the 20th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2007, held in Urbana, IL, USA, in October 2007. This work is organized in topical sections on reliability, languages, parallel compiler technology, libraries and general compiler techniques.

Автор: Yale N. Patt; Pierfrancesco Foglia; Evelyn Duester
Название: High Performance Embedded Architectures and Compilers
ISBN: 3642115144 ISBN-13(EAN): 9783642115141
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 5th International Conference on High Performance Embedded Architectures and Compilers, HiPEAC 2010, held in Pisa, Italy, in January 2010. The 23 revised full papers presented together with the abstracts of 2 invited keynote addresses were carefully reviewed and selected from 94 submissions.

Автор: Appel
Название: Program Logics for Certified Compilers
ISBN: 110704801X ISBN-13(EAN): 9781107048010
Издательство: Cambridge Academ
Рейтинг:
Цена: 13147.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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

Автор: Per Stenstr?m; Mike O`Boyle; Francois Bodin; Marce
Название: Transactions on High-Performance Embedded Architectures and Compilers I
ISBN: 3540715274 ISBN-13(EAN): 9783540715276
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Features a perspective on the evolution of computers. This book also includes a part containing the some of the best papers of the 2005 International Conference on High-Performance Embedded Architectures and Compilers (HiPEAC 2005), a part consisting of papers devoted to the topic of optimizing compilers.