Автор: 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.
Автор: Chan, Tony F. Jianhong, Shen Название: Image processing and analysis ISBN: 089871589X ISBN-13(EAN): 9780898715897 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 12540.00 р. Наличие на складе: Нет в наличии.
Описание: This book develops the mathematical foundation of modern image processing and low-level computer vision, bridging contemporary mathematics with state-of-the-art methodologies in modern image processing, whilst organizing contemporary literature into a coherent and logical structure. The authors have integrated the diversity of modern image processing approaches by revealing the few common threads that connect them to Fourier and spectral analysis, the machinery that image processing has been traditionally built on. The text is systematic and well organized: the geometric, functional, and atomic structures of images are investigated, before moving to a rigorous development and analysis of several image processors. The book is comprehensive and integrative, covering the four most powerful classes of mathematical tools in contemporary image analysis and processing while exploring their intrinsic connections and integration. The material is balanced in theory and computation, following a solid theoretical analysis of model building and performance with computational implementation and numerical examples.
Автор: Joost-Pieter Katoen; Perdita Stevens Название: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 3540434194 ISBN-13(EAN): 9783540434191 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems held in France in 2002. The 29 full papers cover real-time and probabilistic systems, scheduling, software verification, infinite-state systems and more.
Автор: Giorgio Levi Название: Static Analysis ISBN: 3540650148 ISBN-13(EAN): 9783540650140 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text constitutes the proceedings of the 5th International Symposium on Static Analysis held in September 1998. The papers presented are organized into topical sections on data flow analysis, logic programming, concurrency, abstract domains, partial evaluation, type inference and optimization.
Автор: 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.
Автор: 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.
Описание: The subject of this book is the synthesis of synchronous hardware. The purpose is to provide a firm mathematical foundation for the so-called space-time mapping methods for hardware synthesis that have been proposed during the last few years. Thus the treatment is fairly mathematical. In a space-time mapping method, an algorithm is described as a set of atomic events, with possible data dependencies between them. The task is to find a mapping, assigning a space-time coordinate to each event, so that causality is not violated and the solution is "good". Previous work in the area, if it provided any formalism at all, has relied mainly on uniform recurrence equations, extensions thereof, or on purely graph-theoretic formulations. In this project algebra is used instead and the close connection with single-assignment languages is stressed. Thus it is possible to generalize previous work and to give simple characterizations of the type of algorithms that can be implemented with space-time mappings. The results presented can be applied to hardware construction and compiler techniques for parallel computers.
Описание: Small changes in the performance of the memory hierarchy cause large changes in overall system performance. The strong growth of ruse machines, whose performance is more tightly coupled to the memory hierarchy, has created increasing demand for high performance memory systems.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
