Arrays, Functional Languages, and Parallel Systems, Lenore M. Restifo Mullin; Michael Jenkins; Gaetan
Автор: Jaime Moreno; Tom?s Lang Название: Matrix Computations on Systolic-Type Arrays ISBN: 1461366046 ISBN-13(EAN): 9781461366041 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Matrix Computations on Systolic-Type Arrays provides a framework which permits a good understanding of the features and limitations of processor arrays for matrix algorithms.
Описание: This book provides a starting point for the use of field programmable gate arrays in the design of embedded systems. It offers the industrial engineer and researcher a concise but self-contained round-up of the state-of-the-art in programmable logic devices.
Автор: 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.
Описание: This book analyzes the challenges in verifying Dynamically Reconfigurable Systems (DRS) with respect to the user design and the physical implementation of such systems. Two implementations of the simulation-only layer are included: Extended Re Channel is a System C library that can be used to check DRS designs at a high level;
The interplay between words, computability, algebra and arithmetic has now proved its relevance and fruitfulness. Indeed, the cross-fertilization between formal logic and finite automata (such as that initiated by J.R. Buchi) or between combinatorics on words and number theory has paved the way to recent dramatic developments, for example, the transcendence results for the real numbers having a "simple" binary expansion, by B. Adamczewski and Y. Bugeaud.
This book is at the heart of this interplay through a unified exposition. Objects are considered with a perspective that comes both from theoretical computer science and mathematics. Theoretical computer science offers here topics such as decision problems and recognizability issues, whereas mathematics offers concepts such as discrete dynamical systems.
The main goal is to give a quick access, for students and researchers in mathematics or computer science, to actual research topics at the intersection between automata and formal language theory, number theory and combinatorics on words.
The second of two volumes on this subject, this book covers regular languages, numeration systems, formal methods applied to decidability issues about infinite words and sets of numbers.
Автор: Lenore M. Restifo Mullin; Michael Jenkins; Gaetan Название: Arrays, Functional Languages, and Parallel Systems ISBN: 0792392132 ISBN-13(EAN): 9780792392132 Издательство: Springer Рейтинг: Цена: 26546.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: During a meeting in Toronto last winter, Mike Jenkins, Bob Bernecky and I were discussing how the two existing theories on arrays influenced or were in- fluenced by programming languages and systems.
Автор: LARI Название: Invasive Tightly Coupled Processor Arrays ISBN: 9811010579 ISBN-13(EAN): 9789811010576 Издательство: Springer Рейтинг: Цена: 16979.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book introduces new massively parallel computer (MPSoC) architectures called invasive tightly coupled processor arrays. It proposes strategies, architecture designs, and programming interfaces for invasive TCPAs that allow invading and subsequently executing loop programs with strict requirements or guarantees of non-functional execution qualities such as performance, power consumption, and reliability. For the first time, such a configurable processor array architecture consisting of locally interconnected VLIW processing elements can be claimed by programs, either in full or in part, using the principle of invasive computing. Invasive TCPAs provide unprecedented energy efficiency for the parallel execution of nested loop programs by avoiding any global memory access such as GPUs and may even support loops with complex dependencies such as loop-carried dependencies that are not amenable to parallel execution on GPUs. For this purpose, the book proposes different invasion strategies for claiming a desired number of processing elements (PEs) or region within a TCPA exclusively for an application according to performance requirements. It not only presents models for implementing invasion strategies in hardware, but also proposes two distinct design flavors for dedicated hardware components to support invasion control on TCPAs.
Автор: Eddy Odijk; Martin Rem; Jean-Claude Syre Название: PARLE `89 - Parallel Architectures and Languages Europe ISBN: 3540512853 ISBN-13(EAN): 9783540512851 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Eddy Odijk; Martin Rem; Jean-Claude Syre Название: PARLE `89 - Parallel Architectures and Languages Europe ISBN: 3540512845 ISBN-13(EAN): 9783540512844 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book analyzes the challenges in verifying Dynamically Reconfigurable Systems (DRS) with respect to the user design and the physical implementation of such systems. Two implementations of the simulation-only layer are included: Extended Re Channel is a System C library that can be used to check DRS designs at a high level;
Автор: Boleslaw K. Szymanski; Balaram Sinharoy Название: Languages, Compilers and Run-Time Systems for Scalable Computers ISBN: 1461359791 ISBN-13(EAN): 9781461359791 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Описание: Computer vision is one of the most complex and computationally intensive problem. Hence, not only are the comput- ing requirements for solving vision problems tremendous but they also demand computers that are efficient to solve problems exhibiting vastly dif- ferent characteristics.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
