Abstract Computing Machines, Werner Kluge

Автор: Michael Butler; Klaus-Dieter Schewe; Atif Mashkoor
Название: Abstract State Machines, Alloy, B, TLA, VDM, and Z
ISBN: 3319335995 ISBN-13(EAN): 9783319335995
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This bookconstitutes the refereed proceedings of the 5th International Conference on AbstractState Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, inMay 2016. They record the latest researchdevelopments in state-based formal methods Abstract State Machines, Alloy, B,Circus, Event-B, TLS+, VDM and Z.

Автор: Hager
Название: Introduction to High Performance Computing for Scientists and Engineers
ISBN: 143981192X ISBN-13(EAN): 9781439811924
Издательство: Taylor&Francis
Рейтинг:
Цена: 12095.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Written by HPC experts, this book provides a solid introduction to current mainstream computer architecture, dominant parallel programming models, and useful optimization strategies for scientific HPC. It facilitates an intuitive understanding of performance limitations without relying on heavy computer science knowledge.

Автор: Martin Wirsing; Jean-Pierre Banatre; Matthias H?lz
Название: Software-Intensive Systems and New Computing Paradigms
ISBN: 3540894365 ISBN-13(EAN): 9783540894360
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents an overview of the research missions in engineering software-intensive systems. This book consists of 15 papers and is structured in three major parts: ensemble engineering, theory and formal methods, and novel computing paradigms. It covers a spectrum of relevant topics ranging from methods, languages and tools for ensemble engineering.

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

Автор: Egon B?rger; Michael Butler; Jonathan P. Bowen; Pa
Название: Abstract State Machines, B and Z
ISBN: 3540876022 ISBN-13(EAN): 9783540876021
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. This title organizes the contributions in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network workshop.

Автор: Kasahara Hironori
Название: Languages and Compilers for Parallel Computing
ISBN: 3642376576 ISBN-13(EAN): 9783642376573
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Invited Talk.- Just in Time Load Balancing.- Workshop Papers.- AlphaZ: A System for Design Space Exploration in the Polyhedral Model.- Compiler Optimizations: Machine Learning versus O3.- The STAPL Parallel Graph Library.- Set and Relation Manipulation for the Sparse Polyhedral Framework.- Parallel Clustered Low-Rank Approximation of Graphs and Its Application to Link Prediction.- OmpSs-OpenCL Programming Model for Heterogeneous Systems.- Compiler Optimizations for Industrial Unstructured Mesh CFD Applications on GPUs.- UCIFF: Unified Cluster Assignment Instruction Scheduling and Fast Frequency Selection for Heterogeneous Clustered VLIW Cores.- A Study on the Impact of Compiler Optimizations on High-Level Synthesis.- FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction.- Task Parallelism and Data Distribution: An Overview of Explicit Parallel Programming Languages.- A Fast Parallel Graph Partitioner for Shared-Memory Inspector/Executor Strategies.- A Software-Based Method-Level Speculation Framework for the Java Platform.- Ant: A Debugging Framework for MPI Parallel Programs.- Compiler Automatic Discovery of OmpSs Task Dependencies.- Beyond Do Loops: Data Transfer Generation with Convex Array Regions.- Workshop Posters.- Finish Accumulators: An Efficient Reduction Construct for Dynamic Task Parallelism.- FlashbackSTM: Improving STM Performance by Remembering the Past.- Kaira: Generating Parallel Libraries and Their Usage with Octave.- Language and Architecture Independent Software Thread-Level Speculation.- Abstractions for Defining Semi-Regular Grids Orthogonally from Stencils.

Автор: Varela Carlos A
Название: Programming Distributed Computing Systems
ISBN: 0262018985 ISBN-13(EAN): 9780262018982
Издательство: MIT Press
Рейтинг:
Цена: 5775.00 р.
Наличие на складе: Нет в наличии.

Описание: An introduction to fundamental theories of concurrent computation and associated programming languages for developing distributed and mobile computing systems.