Advanced Debugging Methods, Raimondas Lencevicius

Автор: Raimondas Lencevicius
Название: Advanced Debugging Methods
ISBN: 1461346886 ISBN-13(EAN): 9781461346883
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Djones Lettnin; Markus Winterholer
Название: Embedded Software Verification and Debugging
ISBN: 1461422655 ISBN-13(EAN): 9781461422655
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: An Overview about Debugging and Verification Techniques for Embedded Software.- Embedded Software Debug in Simulation and Emulation Environments for Interface IP.- The Use of Dynamic Temporal Assertions for Debugging.- Automated Reproduction and Analysis of Bugs in Embedded Software.- Model-Based Debugging of Embedded Software Systems.- A Mechanism for Monitoring Driver-Device Communication.- Model Checking Embedded C Software using k-Induction and Invariants.- Scalable and Optimized Hybrid Verification of Embedded Software.-

Автор: Peter A. Fritzson
Название: Automated and Algorithmic Debugging
ISBN: 3540574174 ISBN-13(EAN): 9783540574170
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents the latest research on methods for the automated debugging of software. Emphasis is placed on advances made in knowledge-based program debugging and in other approaches to automated debugging based on static and dynamic program slicing.

Автор: Shi-Yu Huang; Kwang-Ting (Tim) Cheng
Название: Formal Equivalence Checking and Design Debugging
ISBN: 079238184X ISBN-13(EAN): 9780792381846
Издательство: Springer
Рейтинг:
Цена: 23508.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Covers the topics of logic equivalence checking and design debugging in design verification. This book reviews the design problems that require logic equivalence checking and describes the underlying technologies that are used to solve them. It also gives a survey of the literature on design error diagnosis and design error correction.

Автор: Bart Vermeulen; Kees Goossens
Название: Debugging Systems-on-Chip
ISBN: 3319062417 ISBN-13(EAN): 9783319062419
Издательство: Springer
Рейтинг:
Цена: 18284.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Readers learn step-by-step the key requirements for debugging a modern, silicon SOC implementation, nine factors that complicate this debugging task, and a new debug approach that addresses these requirements and complicating factors.

Автор: Frank Rogin; Rolf Drechsler
Название: Debugging at the Electronic System Level
ISBN: 9400795076 ISBN-13(EAN): 9789400795075
Издательство: Springer
Рейтинг:
Цена: 15672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Debugging is the bottleneck to chip design productivity. This state-of-the-art book reviews modeling and verification of ESL designs. It is believed to be the first book that considers debugging for ESL designs. There is particular focus on SystemC.

Автор: Mark Pearce
Название: Comprehensive VB .NET Debugging
ISBN: 1590590503 ISBN-13(EAN): 9781590590508
Издательство: Springer
Рейтинг:
Цена: 5589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: For Visual Studio 2003

Автор: Shi-Yu Huang; Kwang-Ting (Tim) Cheng
Название: Formal Equivalence Checking and Design Debugging
ISBN: 1461376068 ISBN-13(EAN): 9781461376064
Издательство: Springer
Рейтинг:
Цена: 25155.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Formal Equivalence Checking and Design Debugging covers two major topics in design verification: logic equivalence checking and design debugging.

Автор: Bart Vermeulen; Kees Goossens
Название: Debugging Systems-on-Chip
ISBN: 3319356925 ISBN-13(EAN): 9783319356921
Издательство: Springer
Рейтинг:
Цена: 14365.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Readers learn step-by-step the key requirements for debugging a modern, silicon SOC implementation, nine factors that complicate this debugging task, and a new debug approach that addresses these requirements and complicating factors.

Автор: Darin Dillon
Название: Debugging Strategies For .NET Developers
ISBN: 1590590597 ISBN-13(EAN): 9781590590591
Издательство: Springer
Рейтинг:
Цена: 4191.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: While other debugging books focus on obscure techniques for advanced users, this book is a highly readable exploration that conveys the basic thought process of debugging, as well as the specific techniques and when to apply those techniques.

Автор: Andy Lester; Richard Foley
Название: Pro Perl Debugging
ISBN: 1590594541 ISBN-13(EAN): 9781590594544
Издательство: Springer
Рейтинг:
Цена: 6555.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Combining the best features of C, UNIX utilities, and regular expressions, Perl has grown as one of the most powerful and popular scripting languages. The valuable Perl is often used for system administration, text processing and Web programming. It is even being used for more exotic areas, like bioinformatics. Perl is supported by all of the most prominent operating systems, including Windows, Unix, OS/2, Amiga, and others.

Pro Perl Debugging steps in to help resolve the dilemma of application testing and debugging--one of the biggest time commitments in a programmers daily routine. What this book will do is rescue you from substandard application testing practices. The book commences with several chapters that overview the debuggers basic features, then covers common debugging scenarios. The concluding portion examines debugger customization, alternative debugging utilities, and debugging best practices.