Описание: This book constitutes the refereed proceedings of the 12th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2003, held in L'Aquila, Italy in October 2003.The 24 revised full papers and 8 short papers presented were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on software verification, automata based methods, processor verification, specification methods, theorem proving, bounded model checking, and model checking and applications.
Автор: Tang Название: Multiobjective Optimization Methodology ISBN: 1439899193 ISBN-13(EAN): 9781439899199 Издательство: Taylor&Francis Рейтинг: Цена: 32670 р. Наличие на складе: Невозможна поставка.
Описание: The first book to focus on jumping genes outside bioscience and medicine, Multiobjective Optimization Methodology: A Jumping Gene Approach introduces jumping gene algorithms designed to supply adequate, viable solutions to multiobjective problems quickly and with low computational cost. Better Convergence and a Wider Spread of Nondominated Solutions The book begins with a thorough review of state-of-the-art multiobjective optimization techniques. For readers who may not be familiar with the bioscience behind the jumping gene, it then outlines the basic biological gene transposition process and explains the translation of the copy-and-paste and cut-and-paste operations into a computable language. To justify the scientific standing of the jumping genes algorithms, the book provides rigorous mathematical derivations of the jumping genes operations based on schema theory. It also discusses a number of convergence and diversity performance metrics for measuring the usefulness of the algorithms. Practical Applications of Jumping Gene Algorithms Three practical engineering applications showcase the effectiveness of the jumping gene algorithms in terms of the crucial trade-off between convergence and diversity. The examples deal with the placement of radio-to-fiber repeaters in wireless local-loop systems, the management of resources in WCDMA systems, and the placement of base stations in wireless local-area networks. Offering insight into multiobjective optimization, the authors show how jumping gene algorithms are a useful addition to existing evolutionary algorithms, particularly to obtain quick convergence solutions and solutions to outliers.
Автор: Glasser Название: Open Verification Methodology Cookbook ISBN: 1441909672 ISBN-13(EAN): 9781441909671 Издательство: Springer Рейтинг: Цена: 23592 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This insightful book will help both novice and experienced verification engineers master the Open Verification Methodology through extensive examples. It describes basic verification principles and explains the essentials of transaction-level modeling.
Описание: Covers verification strategies and methodologies for SOC verification from system level verification to the design sign-off. This book contains topics including: Introduction to the SOC design and verification aspects; System level verification in brief; Block level verification; Analog/mixed signal simulation; and Simulation.
Автор: Birkhofer Название: The Future of Design Methodology ISBN: 0857296140 ISBN-13(EAN): 9780857296146 Издательство: Springer Рейтинг: Цена: 27756 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Future of Design Methodology gives a holistic overview of perspectives for design methodology, addresses trends for developing a powerful methodical support for design practice and provides a starting point for future design research. The chapters are written by leading scientists from around the world, who have great expertise in design methodology, as well as the farsightedness needed to develop design methodology further.The Future of Design Methodology is a detailed contribution to consolidated design methodology and design research. Instead of articulating the views of one scientist, it provides a comprehensive collection of perspectives and visions. The editor highlights the substantial deficiencies and problems of the current design methodology and summarizes the authors’ findings to draw future-oriented conclusions. The comprehensive overview of the status of design methodology given in The Future of Design Methodology will help enhance the individual scientific development of junior researchers, while the authoritative perspectives on future design methodology will challenge the views of experts. It is suitable for readers working in a wide range of design fields, such as design methodology, engineering design and industrial design.
Описание: This book constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2005, held in SaarbrГјcken, Germany, in October 2005.The 21 revised full papers and 18 short papers presented together with 2 invited talks and one tutorial were carefully reviewed and selected from 79 submissions. The papers are organized in topical sections on functional approaches to design description, game solving approaches, abstraction, algorithms and techniques for speeding (DD-based) verification, real time and LTL model checking, evaluation of SAT-based tools, model reduction, and verification of memory hierarchy mechanisms.
Автор: Nadeau Название: Research in Interactive Design (Vol. 3) ISBN: 2817801687 ISBN-13(EAN): 9782817801681 Издательство: Springer Рейтинг: Цена: 23759 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides an accurate overview of the recent research or industrial application in interactive design. The different arguments, taken from the international conference Virtual Concept 2005, will provide the reader with some advanced solutions concerning new methods and tools by discussing modelling techniques, design solution space exploration and interactive process organization.
Автор: Stanton Neville A Название: Guide to Methodology in Ergonomics ISBN: 1466591854 ISBN-13(EAN): 9781466591851 Издательство: Taylor&Francis Рейтинг: Цена: 9618 р. Наличие на складе: Невозможна поставка.
Packed with illustrations and practical examples, Guide to Methodology in Ergonomics: Designing for Human Use, Second Edition provides a concise introduction to ergonomics methods in a straightforward manner that helps you conduct an ergonomics analysis of a product in development. It details the execution of 12 ergonomics methods that can be applied to the design of any type of product or interface. The authors stress the role of ergonomics in reducing device interaction time and user error while improving user satisfaction and device usability.
See What's in the New Edition:
Four case studies
Addition of another co-author
Examples that reflect current technology
Information on Critical Path Analysis (CPA)
The authors highlight where ergonomics methods fit in the design process and how to select a method appropriate for your purpose. They describe each method, supplying an overview, instructions on how to carry out an analysis, a mini bibliography, pros and cons, one or more examples, and a flow chart. They then rate each method for reliability/validity, resources, usability, and efficacy. The book then examines data from studies on training, reliability, and validity, and presents an equation that enables you to calculate approximately the financial benefits of using each method.
Based on research and expertise, the book gives you the freedom to be adventurous when choosing methods and the foundation to choose the method that fits the task at hand. Written by experts, it also helps you hone your skills and put the craft of ergonomics into practice.
Описание: Legacy Data: A Structured Methodology For Device Migration in DSM Technology deals with the migration of existing hard IP from one technology to another using repeatable procedures. The challenge of hard IP migration is not simply an EDA problem but rather a client application specification problem. It requires a deep understanding of the process technologies, EDA tools (and their interfaces) and target applications. Legacy Data: A Structured Methodology For Device Migration in DSM Technology is unique in that there are currently no reference books focused on legacy data reuse, especially for hard IP. This book will allow CAD practitioners to quickly develop methodologies that capitalize on the large volumes of legacy data available within a company today. It details the issues of developing a structured methodology, building verification test benches, and validating the final physical design.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru