Автор: Xuanhua Shi; Hong An; Chao Wang; Mahmut Kandemir; Название: Network and Parallel Computing ISBN: 3319682091 ISBN-13(EAN): 9783319682099 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 14th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2017, held in Hefei, China, in October 2017.The 9 full papers and 10 short papers presented in this book were carefully reviewed and selected from 88 submissions.
Описание: Numerical programs often use parallel programming techniques such as OpenMP to compute the program`s output values as efficient as possible. In addition, derivative values of these output values with respect to certain input values play a crucial role.
Автор: 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.
Автор: Raimondas Ciegis; David Henty; Bo K?gstr?m; Julius Название: Parallel Scientific Computing and Optimization ISBN: 0387097066 ISBN-13(EAN): 9780387097060 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Introduces the developments in the construction, analysis, and implementation of parallel computing algorithms. This book includes construction and analysis of parallel algorithms for linear algebra and optimization problems. It covers different aspects of parallel architectures, including distributed memory computers with multicore processors.
Автор: Nadia Polikarpova and Steve Schneider Название: Integrated formal methods. ISBN: 3319668447 ISBN-13(EAN): 9783319668444 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions.
Автор: Gordan Jezic; Mario Kusek; Ignac Lovrek; Robert J. Название: Agent and Multi-Agent Systems: Technologies and Applications ISBN: 3319076493 ISBN-13(EAN): 9783319076492 Издательство: Springer Рейтинг: Цена: 28734.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Keynote Lectures.- Cognitive and Cooperative Multi-Agent Systems.- Knowledge Based Agent Systems.- Modeling and Logic Agents.- IS: Agent-based Modeling and Simulation.- IS: Learning Paradigms and Applications: Agentbased Approach.
Описание: This book aims to examine innovation in the fields of information technology, software engineering, industrial engineering, management engineering. Information System Security, Privacy, Quality Assurance, High-Performance Computing and Information System Management and Integration.
Описание: This volume contains two distinct, but related, approaches to the verification problem, both based on symbolic simulation. It describes new ideas that enable the use of formal methods, specifically symbolic simulation, in validating commercial hardware designs of remarkable complexity.
Автор: Kenneth Birman Название: Reliable Distributed Systems ISBN: 1441919503 ISBN-13(EAN): 9781441919502 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Explains fault tolerance in clear terms, with concrete examples drawn from real-world settings Highly practical focus aimed at building "mission-critical" networked applications that remain secure
Автор: Eric Y.T. Juan; Jeffrey J.P. Tsai Название: Compositional Verification of Concurrent and Real-Time Systems ISBN: 1461353491 ISBN-13(EAN): 9781461353492 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Many of the software systems support or supplant human control of safety-critical systems such as flight control systems, space shuttle control systems, aircraft avionics control systems, robotics, patient monitoring systems, nuclear power plant control systems, and so on.
Автор: Kagan Tumer; David Wolpert Название: Collectives and the Design of Complex Systems ISBN: 1461264723 ISBN-13(EAN): 9781461264729 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Many complex systems found in nature can be viewed as function optimizers. Given the difficulty of performing such high-dimensional op- timization with modern computers, there has been a lot of exploration of computa- tional algorithms that try to emulate those naturally-occurring function optimizers.
Автор: C.J. Koomen Название: The Design of Communicating Systems ISBN: 1461367980 ISBN-13(EAN): 9781461367987 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Examples of such communicating systems are: communication protocols, telephone exchange control systems, process control systems, highly modular systems, embedded software, interactive systems, and VLSI systems.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
