Автор: Li Название: Advanced Design and Implementation of Virtual Machine ISBN: 146658260X ISBN-13(EAN): 9781466582606 Издательство: Taylor&Francis Рейтинг: Цена: 16078.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Along with the increasingly important runtime engines pervasive in our daily-life computing, there is a strong demand from the software community for a solid presentation on the design and implementation of modern virtual machines, including the Java virtual machine, JavaScript engine and Android execution engine. The community expects to see not only formal algorithm description, but also pragmatic code snippets; to understand not only research topics, but also engineering solutions. This book meets these demands by providing a unique description that combines high level design with low level implementations and academic advanced topics with commercial solutions. This book takes a holistic approach to the design of VM architecture, with contents organized into a consistent framework, introducing topics and algorithms in an easily understood step by step process. It focuses on the critical aspects of VM design, which are often overlooked in other works, such as runtime helpers, stack unwinding and native interface. The algorithms are fully illustrated in figures and implemented in easy to digest code snippets, making the abstract concepts tangible and programmable for system software developers.
Описание: Covers the proceedings of the 15th European PVM/MPI Users` Group Meeting held in Dublin, Ireland, in September 2008. This book contains topical sections on applications, collective operations, library internals, message passing for multi-core and mutlithreaded architectures, MPI datatypes, MPI I/O, and synchronisation issues.
Автор: 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.
Автор: 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.
Автор: Wagar Hasan Название: Optimization of SQL Queries for Parallel Machines ISBN: 3540620656 ISBN-13(EAN): 9783540620655 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Parallel execution of SQL queries against large databases offers a solution to the problem of reducing query response. This book addresses the related optimization problem: given an SQL query, find the plan that delivers the result in minimal time.
Автор: Werner Kluge Название: Abstract Computing Machines ISBN: 3642059384 ISBN-13(EAN): 9783642059384 Издательство: Springer Рейтинг: Цена: 11173.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
Описание: Discover the essential building blocks of the most common forms of deep belief networks. At each step this book provides intuitive motivation, a summary of the most important equations relevant to the topic, and concludes with highly commented code for threaded computation on modern CPUs as well as massive parallel processing on computers with CUDA-capable video display cards. The first of three in a series on C++ and CUDA C deep learning and belief nets, Deep Belief Nets in C++ and CUDA C: Volume 1 shows you how the structure of these elegant models is much closer to that of human brains than traditional neural networks; they have a thought process that is capable of learning abstract concepts built from simpler primitives. As such, you'll see that a typical deep belief net can learn to recognize complex patterns by optimizing millions of parameters, yet this model can still be resistant to overfitting. All the routines and algorithms presented in the book are available in the code download, which also contains some libraries of related routines. What You Will Learn
Employ deep learning using C++ and CUDA C
Work with supervised feedforward networks
Implement restricted Boltzmann machines
Use generative samplings
Discover why these are important
Who This Book Is For Those who have at least a basic knowledge of neural networks and some prior programming experience, although some C++ and CUDA C is recommended.
Автор: Butler Название: Abstract State Machines, Alloy, B, TLA, VDM, and Z ISBN: 3319912704 ISBN-13(EAN): 9783319912707 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.
Автор: Kecheng Liu Название: Virtual, Distributed and Flexible Organisations ISBN: 9048166039 ISBN-13(EAN): 9789048166039 Издательство: Springer Рейтинг: Цена: 23058.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Organisational Semiotics offers an effective approach to analysing organisations and modelling organisational behaviour.
Автор: Peter B. Andersen; Lars Qvortrup Название: Virtual Applications ISBN: 1849968918 ISBN-13(EAN): 9781849968911 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Peter B. Andersen; Lars Qvortrup Название: Virtual Applications ISBN: 1852336587 ISBN-13(EAN): 9781852336585 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book brings the reader to the frontier of multimedia applications.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
