Advanced Design and Implementation of Virtual Machine, Li
Автор: Anca Molnos; Christian Fabre Название: Model-Implementation Fidelity in Cyber Physical System Design ISBN: 3319473069 ISBN-13(EAN): 9783319473062 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book puts in focus various techniques for checking modeling fidelity of Cyber Physical Systems (CPS), with respect to the physical world they represent. The authors' present modeling and analysis techniques representing different communities, from very different angles, discuss their possible interactions, and discuss the commonalities and differences between their practices. Coverage includes model driven development, resource-driven development, statistical analysis, proofs of simulator implementation, compiler construction, power/temperature modeling of digital devices, high-level performance analysis, and code/device certification. Several industrial contexts are covered, including modeling of computing and communication, proof architectures models and statistical based validation techniques.
Автор: Sebastian Maneth Название: Implementation and Application of Automata ISBN: 3642029787 ISBN-13(EAN): 9783642029783 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 14th International Conference CIAA 2009 Sydney Australia July 1417 2009 Proceedings. .
Описание: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
