24 results for 'arch verif'

Did you mean: area veri Refine Search

Add to Cart The item has been added

Functional Verification of Programmable Embedded Architectures

It is widely acknowledged that the cost of validation and testing comprises a s- nificant percentage of the overall development costs for electronic systems today, and is expected to escalate sharply...

RRP:

$220.00

Add to Cart The item has been added
Add to Cart The item has been added

A Methodology for the Design and Verification of Globally Asynchronous/Locally Synchronous Architectures

Recent advanced in model-checking have made it practical to formally verify the correctness of many complex synchronous systems (i.e., systems driven by a single clock). However, many computer...

RRP:

$32.00

Add to Cart The item has been added
Add to Cart The item has been added

Guide Des Architectures, Vérificateurs, Entrepreneurs Et De Toutes Les Personnes Qui Font Bâtir

This is a reproduction of a book published before 1923. This book may have occasional imperfections such as missing or blurred pages, poor pictures,...

RRP:

$62.00

Add to Cart The item has been added
Add to Cart The item has been added

Hierarchical Annotated Action Diagrams

Standardization of hardware description languages and the availability of synthesis tools has brought about a remarkable increase in the productivity of hardware designers. Yet design verification...

RRP:

$220.00

Add to Cart The item has been added
Add to Cart The item has been added

Towards a Synergistic Combination of Research and Practice in Software Engineering

This book reports on recent advances in software engineering research and practice. Divided into 15 chapters, it addresses: languages and tools; development processes; modelling, simulation and...

RRP:

$220.00

Add to Cart The item has been added
sale

Add to Cart The item has been added

AMBA-AHB Architecture in VLSI Design

The work describes about the AMBA-AHB architecture in detail and the use of AMBA in ASIC design, applications related to fabrication of the CMOS and synthesis of the fabricated device. The APB...

RRP: $64.08

$52.00

Add to Cart The item has been added
Add to Cart The item has been added

Hardware Architectures for Post-Quantum Digital Signature Schemes

This book explores C-based design, implementation, and analysis of post-quantum cryptography (PQC) algorithms for signature generation and verification. The authors investigate NIST round 2 PQC...

RRP:

$227.00

Add to Cart The item has been added
Add to Cart The item has been added

Designing 2D and 3D Network-on-Chip Architectures

This book covers key concepts in the design of 2D and 3D Network-on-Chip interconnect. It highlights design challenges and discusses fundamentals of NoC technology, including architectures,...

RRP:

$184.00

Add to Cart The item has been added
Add to Cart The item has been added

The Search For Iraq's Weapons of Mass Destruction

This authoritative account explores the facts that lie behind the Weapons of Mass Destruction programmes in Iraq. Graham Pearson shows how these programmes were gradually uncovered through the...

RRP:

$184.00

Add to Cart The item has been added
Add to Cart The item has been added

Model Driven Architecture for Reverse Engineering Technologies

The demand for modernization of legacy systems has created the need for new architectural frameworks that improve interoperability, productivity, process quality, and maintenance costs involved with...

RRP:

$407.00

Add to Cart The item has been added
sale

Add to Cart The item has been added

Functional Architecture

Functional programming languages have been proposed to enhance the clarity of programs, to increase programmer productivity, and to reduce the difficulties of program verification. However, the ...

RRP: $94.75

$76.00

Add to Cart The item has been added
Add to Cart The item has been added

Proceeding of First Doctoral Symposium on Natural Computing Research

The book is a collection of papers presented at First Doctoral Symposium on Natural Computing Research (DSNCR 2020), held during 8 August 2020 in Pune, India. The book covers different topics of...

RRP:

$270.00

Add to Cart The item has been added
sale

Add to Cart The item has been added

SYSTEMC IMPLEMENTATION OF A RISC-BASED PROCESSOR ARCHITECTURE

Increasing the complexity of the electronic systemsleads to electronic system level modeling conceptsupporting hardware and software co-design andco-verification environment in a single framework...

RRP: $109.21

$88.00

Add to Cart The item has been added
Add to Cart The item has been added

Journalism Research in Practice

Journalism Research in Practice: Perspectives on Change, Challenges, and Solutions is a unique collection of research on journalism written for journalists and wider audiences. Based on scholarship...

RRP:

$392.00

Add to Cart The item has been added
Add to Cart The item has been added

Qualitative Research and Theory Development

Empirical data is one of the cornerstones of knowledge in the social sciences, and yet the researcher often takes it for granted, reserving his or her imaginative faculties for finding a theory that...

RRP:

$434.00

Add to Cart The item has been added
Add to Cart The item has been added

PARLE '89 - Parallel Architectures and Languages Europe

Since the first PARLE conference, PARLE '87, attracted more than 300 participants, it was considered a useful and successful forum and encouraged the organization of this second issue known as PARLE...

RRP:

$122.00

Add to Cart The item has been added
Add to Cart The item has been added

The Palgrave Handbook of Social Creativity Research

This Handbook brings together an international cast of experts to explore the social nature and context of creativity studies, focusing on methodology as a key component in advancing the social study...

RRP:

$492.00

Add to Cart The item has been added
Add to Cart The item has been added

Applied Research of Quantum Information Based on Linear Optics

This thesis reports on outstanding work in two main subfields of quantum information science: one involves the quantum measurement problem, and the other concerns quantum simulation. The thesis...

RRP:

$227.00

Add to Cart The item has been added
Add to Cart The item has been added

Applied Qualitative Research Design

This unique text provides a comprehensive framework for creating, managing, and interpreting qualitative research studies that yield valid and useful information. Examples of studies from a wide...

RRP:

$210.00

Add to Cart The item has been added
Add to Cart The item has been added

Applied Qualitative Research Design

This unique text provides a comprehensive framework for creating, managing, and interpreting qualitative research studies that yield valid and useful information. Examples of studies from a wide...

RRP:

$137.00

Add to Cart The item has been added
Add to Cart The item has been added

Theoretical Developments and Future Research in Family Business (PB)

A volume in Research in Entrepreneurship and ManagementSeries Editor John E. Butler, University of Hawaii at ManoaUntil recently, research in family business has been confined to a sub-group of...

RRP:

$147.00

Add to Cart The item has been added
Add to Cart The item has been added

Theoretical Developments and Future Research in Family Business (Hc)

A volume in Research in Entrepreneurship and ManagementSeries Editor John E. Butler, University of Hawaii at ManoaUntil recently, research in family business has been confined to a sub-group of...

RRP:

$256.00

Add to Cart The item has been added
Add to Cart The item has been added

Distributed Real-Time Architecture for Mixed-Criticality Systems

This book describes a cross-domain architecture and design tools for networked complex systems where application subsystems of different criticality coexist and interact on networked multi-core chips...

RRP:

$152.00

Add to Cart The item has been added
Add to Cart The item has been added

Efficient Branch and Bound Search with Application to Computer-Aided Design

Branch-and-bound search has been known for a long time and has been widely used in solving a variety of problems in computer-aided design (CAD) and many important optimization problems. In many ...

RRP:

$184.00

Add to Cart The item has been added

Top Searches

24 results for 'arch verif'

Functional Verification of Programmable Embedded Architectures

A Methodology for the Design and Verification of Globally Asynchronous/Locally Synchronous Architectures

Guide Des Architectures, Vérificateurs, Entrepreneurs Et De Toutes Les Personnes Qui Font Bâtir

Hierarchical Annotated Action Diagrams

Towards a Synergistic Combination of Research and Practice in Software Engineering

AMBA-AHB Architecture in VLSI Design

Hardware Architectures for Post-Quantum Digital Signature Schemes

Designing 2D and 3D Network-on-Chip Architectures

The Search For Iraq's Weapons of Mass Destruction

Model Driven Architecture for Reverse Engineering Technologies

Functional Architecture

Proceeding of First Doctoral Symposium on Natural Computing Research

SYSTEMC IMPLEMENTATION OF A RISC-BASED PROCESSOR ARCHITECTURE

Journalism Research in Practice

Qualitative Research and Theory Development

PARLE '89 - Parallel Architectures and Languages Europe

The Palgrave Handbook of Social Creativity Research

Applied Research of Quantum Information Based on Linear Optics

Applied Qualitative Research Design

Applied Qualitative Research Design

Theoretical Developments and Future Research in Family Business (PB)

Theoretical Developments and Future Research in Family Business (Hc)

Distributed Real-Time Architecture for Mixed-Criticality Systems

Efficient Branch and Bound Search with Application to Computer-Aided Design

PRE-SALES

AFTER-SALES