Learn IT - Books tags verification

ASIC and FPGA Verification : A Guide to Component Modeling (The Morgan Kaufmann Series in Systems on Silicon)

Morgan Kaufmann, 2004

Today it is still very difficult to verify board or larger system designs through simulation or any other technique. This important book addresses the largest ingredient needed to make simulation possiblethe availability of integrated circuit component models. Addressed inside is how to use VITAL extensions and other conventions with VHDL to...

Testing SAP R/3: A Manager's Step-by-Step Guide

John Wiley & Sons, 2007

Destined to become your essential SAP R/3 desktop reference

Testing SAP R/3: A Manager′s Step–by–Step Guide demystifies this powerful software to enable professionals to implement a disciplined, efficient, and proven approach for testing SAP R/3. Providing much needed industry guidance for...

RF Circuit Design Techniques for MF-UHF Applications

CRC Press, 2013

Magnetic resonance imaging, semiconductor processing, and RFID are some of the critical applications within the medium frequency (MF) to ultrahigh frequency (UHF) range that require RF designers to have a solid understanding of analytical and experimental RF techniques. Designers need to be able to design components and devices cost...

First-Order Dynamic Logic (Lecture Notes in Computer Science)

Springer, 1979

This is a research monograph intended primarily for those researchers in Theoretical Computer Science interested in the areas of logics of programs, programming language semantics and program verification. It is also aimed at mathematically-inclined researchers in Logic, Linguistics and Philosophy, interested in a well-motivated...

Aspect-Oriented Programming with the e Verification Language: A Pragmatic Guide for Testbench Developers (Systems on Silicon)

Morgan Kaufmann, 2007

Whats this AOP thing anyway, reallywhen you get right down to itand can someone please explain what an aspect actually is?

Aspect-Oriented Programming with the e Verification Language takes a pragmatic, example based, and fun approach to unraveling the mysteries of AOP. In this book, youll learn how to:

Use...

Effective XML: 50 Specific Ways to Improve Your XML

Addison Wesley, 2003

If you want to become a more effective XML developer, you need this book. You will learn which tools to use when in order to write legible, extensible, maintainable and robust XML code.

How do you write DTDs that are independent of namespace prefixes?
...

Software Configuration Management

Auerbach Publications, 2004

An effective systems development and design process is far easier to explain than it is to implement. A framework is needed that organizes the life cycle activities that form the process. This framework is Configuration Management (CM).

Software Configuration Management discusses the framework from a standards viewpoint, using...

Automatic Speech and Speaker Recognition: Large Margin and Kernel Methods

John Wiley & Sons, 2009

This book discusses large margin and kernel methods for speech and speaker recognition

Speech and Speaker Recognition: Large Margin and Kernel Methods is a collation of research in the recent advances in large margin and kernel methods, as applied to the field of speech and speaker recognition. It presents...

Troubleshooting and Maintaining Cisco IP Networks (TSHOOT) Foundation Learning Guide

Cisco Press, 2010

Troubleshooting and Maintaining Cisco IP Networks (TSHOOT) Foundation Learning Guide is a Cisco® authorized learning tool for CCNP preparation. As part of the Cisco Press foundation learning series, this book covers how to maintain and monitor complex enterprise networks.

...

Inside the Java Virtual Machine (Java Masters Series)

McGraw-Hill, 1997

Want to write better Java programs? Look under the hood and see what makes the ingenious Java engine run! This easy-to-understand yet technically rich description of the Java Virtual Machine (JVM)--the engine of the Java language--is your key to writing more efficient and effective Java code. It provides a complete JVM tutorial and desktop...

Foundations of Statistical Algorithms: With References to R Packages (Chapman & Hall/CRC Computer Science and Data Analysis)

CRC Press, 2013

A new and refreshingly different approach to presenting the foundations of statistical algorithms, Foundations of Statistical Algorithms: With References to R Packages reviews the historical development of basic algorithms to illuminate the evolution of today’s more powerful statistical...

Path-Oriented Program Analysis

Cambridge University Press, 2007

This book presents a unique method for decomposing a computer program along its execution paths, for simplifying the subprograms so produced, and for recomposing a program from its subprograms. This method enables us to divide and conquer the complexity involved in understanding the computation performed by a program by decomposing it into a set...

Result Page: 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12