Static Analysis, Jens Palsberg

Автор: Holt Alan
Название: Network Performance Analysis / Using the J Programming Language
ISBN: 1846288223 ISBN-13(EAN): 9781846288227
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The purpose of network performance analysis is to investigate how traffic-management mechanisms deployed in the network affect the allocation of resources amongst its users and the performance they experience. This book introduces concepts and principles of network performance analysis by example, using the J programming language.

Автор: Jens Palsberg; Zhendong Su
Название: Static Analysis
ISBN: 3642032362 ISBN-13(EAN): 9783642032363
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems.

Автор: Rival
Название: Static Analysis
ISBN: 3662534126 ISBN-13(EAN): 9783662534120
Издательство: Springer
Рейтинг:
Цена: 9224.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016. The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains; abstract interpretation; abstract testing; bug detection; data flow analysis; model checking; new applications; program transformation; program verification; security analysis; theoretical frameworks; and type checking.

Автор: Francesco Ranzato
Название: Static Analysis
ISBN: 331966705X ISBN-13(EAN): 9783319667058
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017.

Автор: Markus M?ller-Olm; Helmut Seidl
Название: Static Analysis
ISBN: 3319109359 ISBN-13(EAN): 9783319109350
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.

Автор: Manuel Hermenegildo; German Puebla
Название: Static Analysis
ISBN: 3540442359 ISBN-13(EAN): 9783540442356
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Compiled from the proceedings of the 9th International Static Analysis Symposium, this volume contains 32 revised full papers. They are organized by topic and include papers on theory, data structure analysis, type inference, analysis of numerical problems, implementation and data flow analysis.

Автор: Pascal van Hentenryck
Название: Static Analysis
ISBN: 3540634681 ISBN-13(EAN): 9783540634683
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These refereed proceedings of the fourth International Symposium on Static Analysis are organized in topical sections on procedural languages, logic programming, concurrency and termination.

Автор: Agostino Cortesi; Gilberto File
Название: Static Analysis
ISBN: 3540664599 ISBN-13(EAN): 9783540664598
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In the text, topics include sections on synchronization in Java programs, synchronous languages, abstract domains, concurrency, static single assignment and foundations.

Автор: Francesco Logozzo; Manuel F?hndrich
Название: Static Analysis
ISBN: 3642388558 ISBN-13(EAN): 9783642388552
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking.

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