Learn IT - Books tags verification

CCSE NG: Check Point Certified Security Expert Study Guide

Sybex, 2003

Here’s the book you need to prepare for Check Point’s VPN-1/FireWall-1 Management II NG exam, 156-310. Written by two Check Point security experts who know exactly what it takes to pass the test, this Study Guide provides:

Assessment testing to focus and direct your studies

In-depth...

Quality-Driven SystemC Design

Springer, 2009

Faced with the steadily increasing complexity and rapidly shortening timeto- market requirements designing electronic systems is a very challenging task. To manage this situation effectively the level of abstraction in modeling has been raised during the past years in the computer aided design community. Meanwhile, for the so-called...

Craniofacial Identification

Cambridge University Press, 2012

The promotion of CCTV surveillance and identity cards, along with ever heightened security at airports, immigration control and institutional access, has seen a dramatic increase in the use of automated and manual recognition. In addition, several recent disasters have highlighted the problems and challenges associated with current disaster...

Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout

Springer, 2004

"As chip size and complexity continue to grow exponentially, the challenges of functional verification are becoming a critical issue in the electronics industry. It is now commonly heard that logical errors missed during functional verification are the most common cause of chip re-spins, and that the costs associated with functional...

VHDL 2008: Just the New Stuff (Systems on Silicon)

Morgan Kaufmann, 2007

VHDL is defined by IEEE Standard 1076, IEEE Standard VHDL Language Reference Manual (the VHDL LRM). The original standard was approved in 1987. IEEE procedures require that standards be periodically reviewed and either reaffirmed or revised. The VHDL standard was revised in 1993, 2000, and 2002. In each revision, new language features were added...

A Practical Guide to the Wiring Regulations

John Wiley & Sons, 2002

The Third Edition has been updated to take account of the 2001 amendments to the Wiring Regulations, including revisions on:

- protection against overcurrent

- isolation and switching

- zoning requirements for locations containing a bath or shower

- construction site installations

-...

Embedded Systems and Software Validation (Morgan Kaufmann Series in Systems on Silicon)

Morgan Kaufmann, 2009

Modern embedded systems require high performance, low cost and low power consumption. Such systems typically consist of a heterogeneous collection of processors, specialized memory subsystems, and partially programmable or fixed-function components. This heterogeneity, coupled with issues such as hardware/software partitioning, mapping,...

Models, Methods, and Tools for Complex Chip Design: Selected Contributions from FDL 2012

Springer, 2013

This book is the latest contribution to the LNEE series, and it consists of selected papers presented at the Forum on Specifications and Design Languages (FDL) 2012, which took place in September 2012 at Vienna University of Technology, Vienna, Austria.

FDL is a well-established international forum devoted to...

Advances in Chinese Spoken Language Processing

World Scientific Publishing, 2007

After decades of research activity, Chinese spoken language processing (CSLP) has advanced considerably both in practical technology and theoretical discovery. In this book, the editors provide both an introduction to the field as well as unique research problems with their solutions in various areas of CSLP. The contributions represent pioneering...

Software Quality Engineering : Testing, Quality Assurance, and Quantifiable Improvement

John Wiley & Sons, 2005

The one resource needed to create reliable software

This text offers a comprehensive and integrated approach to software quality engineering. By following the author's clear guidance, readers learn how to master the techniques to produce high-quality, reliable software, regardless of the software system's level of complexity.
...

Constructing Correct Software (Formal Approaches to Computing and Information Technology)

Springer, 2004

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. This theorem is the goal of traditional program testing and, more recently, of program verification (in which the theorem must be proved). Proofs are difficult, though even with the use of powerful theorem provers. This...

Microsoft Visio 2013 Business Process Diagramming and Validation

Packt Publishing, 2013

Using Microsoft Visio to visualize business information is a huge aid to comprehension and clarity. Learn how with this practical guide to process diagramming and validation, written as a practical tutorial with sample code and demos.

Overview

Optimize your business information visualization by mastering...

Result Page: 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1