Spectral Techniques in VLSI CAD, Mitchell Aaron Thornton; Rolf Drechsler; D. Michae
Автор: Thomas Herault; Yves Robert Название: Fault-Tolerance Techniques for High-Performance Computing ISBN: 3319355600 ISBN-13(EAN): 9783319355603 Издательство: Springer Рейтинг: Цена: 13275.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This timely text presents a comprehensive overview of fault tolerance techniques for high-performance computing (HPC).
Автор: Thomas Herault; Yves Robert Название: Fault-Tolerance Techniques for High-Performance Computing ISBN: 3319209426 ISBN-13(EAN): 9783319209425 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This timely text presents a comprehensive overview of fault tolerance techniques for high-performance computing (HPC).
Автор: Denise Demirel; Lucas Schabh?ser; Johannes Buchman Название: Privately and Publicly Verifiable Computing Techniques ISBN: 3319537970 ISBN-13(EAN): 9783319537979 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the first comprehensive overview of various verifiable computing techniques, which allow the computation of a function on outsourced data to be delegated to a server.
Автор: Khalid Al-Begain; Dieter Fiems; G?bor Horv?th Название: Analytical and Stochastic Modeling Techniques and Applications ISBN: 3642022049 ISBN-13(EAN): 9783642022043 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications, ASMTA 2009, held in Madrid, Spain, in June 2009 in conjunction with ECMS 2009, the 23nd European Conference on Modeling and Simulation. queueing & scheduling in telecommunication networks;
Автор: Hans Grabowski; Reiner Anderl; Michael J. Pratt Название: Advanced Modelling for CAD/CAM Systems ISBN: 3540539433 ISBN-13(EAN): 9783540539438 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The results of a research project, this volume describes the methodology and guidelines necessary to extend geometric modelling systems by modelling functions for the design of technical products. A two-level concept for extending geometric modelling functions is presented.
Автор: Anders P. Ravn; Hans Rischel Название: Formal Techniques in Real-Time and Fault-Tolerant Systems ISBN: 3540650032 ISBN-13(EAN): 9783540650034 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT`98, held in Lyngby, Denmark, in September 1998.The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book.
Автор: Bengt Jonsson; Joachim Parrow Название: Formal Techniques in Real-Time and Fault-Tolerant Systems ISBN: 3540616489 ISBN-13(EAN): 9783540616481 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These conference proceedings contain 22 revised full papers, three invited contributions and five tools demonstrations. The papers are organized into sections on state charts, timed automata, duration calculus, case studies, scheduling, fault tolerance, specification, and verification.
Автор: Hans Langmaack; Willem-Paul de Roever; Jan Vytopil Название: Formal Techniques in Real-Time and Fault-Tolerant Systems ISBN: 3540584684 ISBN-13(EAN): 9783540584681 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume describes how formal techniques constitute the foundation for the design of real-time, fault-tolerant and hybrid systems. It explores their use throughout the entire engineering process, from specification and design through coding and computation to the hardware itself.
Автор: Juan C. L?pez; Rom?n Hermida; Walter Geisselhardt Название: Advanced Techniques for Embedded Systems Design and Test ISBN: 0792381289 ISBN-13(EAN): 9780792381280 Издательство: Springer Рейтинг: Цена: 25848.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents developments in methodologies and tools for the specification, synthesis, verification, and test of embedded systems, characterized by the use of high-level languages as a road to productivity. This work looks at each specific part of the design process, from specification through to test with an emphasis on behavioral methodologies.
Автор: Achim Rettberg; Mauro Zanella; Rainer Domer; Andre Название: Embedded System Design: Topics, Techniques and Trends ISBN: 0387722572 ISBN-13(EAN): 9780387722573 Издательство: Springer Рейтинг: Цена: 20257.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents the technical program of the 2007 International Embedded Systems Symposium held in Irvine, California. This book covers techniques and trends in embedded system design, including design methodology, networks-on-chip, distributed and networked systems, and system verification.
Описание: This book constitutes the refereed proceedings of the 23rd International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2016, held in Cardiff, UK, in August 2016. The 21 full papers presented in this book were carefully reviewed and selected from 30 submissions.
Автор: Zhu Название: Software Reading Techniques ISBN: 1484223454 ISBN-13(EAN): 9781484223451 Издательство: Springer Рейтинг: Цена: 4191.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This concise book teaches software professionals and software engineering students the full set of twenty software reading techniques to enhance their effectiveness in reviewing and inspecting software artifacts such as requirements specifications, designs, code files, and usability.
Software review and inspection is the best practice in software development whose purpose is to detect and fix problems early. Software professionals are trained to write software but not read and analyze software written by peers. As a result, individual reading skills vary widely. Because the effectiveness of software review and inspection is highly dependent on individual reading skills, differential outcomes among software readers vary by a factor of ten. Software Reading Techniques is designed to close that gap.
Dr Yang?Ming Zhu’s depth of experience as a software architect, team leader, and scientist make him singularly well-equipped to bring software readers up to speed on all the techniques and tips for optimizing the effectiveness and efficiency of their software review and inspection skills.
What You'll Learn
Software review and inspection procedures and reading skillsTraditional and modern advanced reading techniques applicable to almost all software artifactsSpecific reading techniques for software requirements specification, software design, and code
Who This Book Is For
All software professionals and software engineering students and researchers.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
