High Performance Embedded Architectures and Compilers, Koen De Bosschere; David Kaeli; Per Stenstr?m; Dav

Автор: Per Stenstr?m; Michel Dubois; Manolis Katevenis; R
Название: High Performance Embedded Architectures and Compilers
ISBN: 3540775595 ISBN-13(EAN): 9783540775591
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Third International Conference HiPEAC 2008 Gteborg Sweden January 27-29 2008 Proceedings.

Автор: Jos? Nelson Amaral
Название: Languages and Compilers for Parallel Computing
ISBN: 3540897399 ISBN-13(EAN): 9783540897392
Издательство: Springer
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In 2008 the Workshop on Languages and Compilers for Parallel Computing left the USA to celebrate its 21st anninversary in Edmonton, Alberta, Canada. Following its long-established tradition, the workshop focused on topics at the frontierofresearchanddevelopmentinlanguages,optimizingcompilers,appli- tions, and programming models for high-performance computing. While LCPC continues to focus on parallel computing, the 2008 edition included the pres- tation of papers on program analysis that are precursors of high performance in parallel environments.

LCPC 2008 received 35 paper submissions. Eachpaper received at least three independent reviews, and then the papers and the referee comments were d- cussed during a Program Committee meeting. The PC decided to accept 18 papers as regular papers and 6 papers as short papers.

The short papers appear at the end of this volume. The LCPC 2008 program was fortunate to include two keynote talks. Keshav Pingali's talk titled "Amorphous Data Parallelism in Irregular Programs" - gued that irregular programs have data parallelism in the iterative processing of worklists.

Pingali described the Galois system developed at The University of Texas at Austin to exploit this kind of amorphous data parallelism. The second keynote talk, "Generic ParallelAlgorithms in Threading Building Bocks (TBB)," presented by Arch Robison from Intel Corporation addressed very practical aspects of using TBB, a production C++ library, for generic p- allel programming and contrasted TBB with the Standard Template Library (STL).

Автор: 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.

Автор: 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.

Автор: Andr? Seznec; Joel Emer; Michael O`Boyle; Margaret
Название: High Performance Embedded Architectures and Compilers
ISBN: 3540929894 ISBN-13(EAN): 9783540929895
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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

Автор: 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.

Автор: 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.