Transactions on High-Performance Embedded Architectures and Compilers V, Per Stenstr?m; Cristina Silvano; Koen Bertels; Mic

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

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

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

Автор: Boleslaw K. Szymanski; Balaram Sinharoy
Название: Languages, Compilers and Run-Time Systems for Scalable Computers
ISBN: 1461359791 ISBN-13(EAN): 9781461359791
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Language, Compilers and Run-time Systems for Scalable Computers contains 20 articles based on presentations given at the third workshop of the same title, and 13 extended abstracts from the poster session.

Автор: Per Stenstr?m; David Whalley
Название: Transactions on High-Performance Embedded Architectures and Compilers II
ISBN: 3642009034 ISBN-13(EAN): 9783642009037
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains 15 papers that were selected out of 31 submissions. This title also contains extended versions of the top five papers from the 2nd International Conference on High-Performance Embedded Architectures and Compilers (HiPEAC 2007) held in Ghent, Belgium, in January 2007.

Автор: Andr? Seznec; Joel Emer; Michael O`Boyle; Margaret
Название: High Performance Embedded Architectures and Compilers
ISBN: 3540929894 ISBN-13(EAN): 9783540929895
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the Fourth International Conference on High Performance Embedded Architectures and Compilers, HiPEAC 2009, held in Paphos, Cyprus, in January 2009. This title includes papers that are organized in topical sections on dynamic translation and optimization, and low level scheduling.

Автор: Luca Benini; Mahmut Kandemir; J. Ramanujam
Название: Compilers and Operating Systems for Low Power
ISBN: 146134879X ISBN-13(EAN): 9781461348795
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Compilers and Operating Systems for Low Power focuses on both application-level compiler directed energy optimization and low-power operating systems.

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

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

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

Автор: Utpal Banerjee
Название: Loop Transformations for Restructuring Compilers
ISBN: 1475783507 ISBN-13(EAN): 9781475783506
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Many loop transformations have been designed over the years, and several of them can be found in any parallelizing compiler currently in use in industry or at a university research facility. Loop Transformations for Restructuring Compilers: The Foundations provides a rigorous theory of loop transformations.

Автор: Constantine D. Polychronopoulos
Название: Parallel Programming and Compilers
ISBN: 1461284163 ISBN-13(EAN): 9781461284161
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: So far, we have seen only the tip of the iceberg called "parallel machines and parallel programming". Instead of trying to develop parallel programming methodologies and paradigms, we often focus on more advanced topics assuming that the reader has an adequate background in parallel processing.