الكتب الالكترونية

عدد الكتب: 1 - 16 /16
978-0-387-25454-8
Advanced BDD Optimization

This book gives a modern presentation of the established as well as of recent concepts. Latest results in BDD optimization ...

اقرأ المزيد
978-0-387-26151-5
Advances in Design and Specification Languages for SoCs

Presents a selection of the articles from the Forum on Specification and Design Languages (FDL'04). The Analog and Mixed-Signal ...

اقرأ المزيد
978-1-4020-4998-9
Applications of Specification and Design Languages for SoCs

This book provides detailed insights into recent works dealing with a large spectrum of issues in system-on-chip design, ...

اقرأ المزيد
978-3-540-73625-7
Embedded Computer Systems: Architectures, Modeling, and Simulation

The book is unique in the sense that not only solved research problems are presented and discussed but also (partly) unsolved ...

اقرأ المزيد
978-3-540-73625-7
Embedded Computer Systems: Architectures, Modeling, and Simulation

The book is unique in the sense that not only solved research problems are presented and discussed but also (partly) unsolved ...

اقرأ المزيد
978-0-387-30087-0
Embedded System Design

Embedded System Design starts with an introduction into the area and a survey of specification languages for embedded systems. ...

اقرأ المزيد
978-1-4020-8297-9
Embedded Systems Specification and Design Languages : Selected contributions from FDL’07

FDL is the most important European and, probably, worldwide forum to present research results, to exchange experiences, and ...

اقرأ المزيد
978-1-4020-8588-8
High-Level Synthesis : From Algorithm to Digital Circuit

This book presents an excellent collection of contributions addressing different aspects of high-level synthesis from both ...

اقرأ المزيد
978-1-4020-4826-5
Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms

Integrated System-Level Modeling of Network-on-Chip Enabled Multi-Processor Platforms first gives a comprehensive update ...

اقرأ المزيد
978-0-387-38152-7
Metric Driven Design Verification

A metric based flow is described that focuses on the four steps of: 1. Planning: Defining what needs to be done and the automatically ...

اقرأ المزيد
978-1-4020-5138-8
Platform Based Design at the Electronic System Level

The material presented in Platform Based Design at the Electronic System Level will help system architects, system integrators, ...

اقرأ المزيد
NoIMG
Power-Aware Architecting for data-dominated applications

The task of the system architect is to take the correct early decisions despite the uncertainties. Power-Aware Architecting ...

اقرأ المزيد
978-1-4020-8088-3
SystemC Kernel Extensions for Heterogeneous System Modeling

SystemC Kernel Extensions for Heterogeneous System Modeling is a result of an almost two year endeavour on our part to understand ...

اقرأ المزيد
978-0-387-26233-8
Transaction-Level Modeling with SystemC

The SystemC consortium has published the official TLM development kit in May 2005 to standardize this modeling technique. ...

اقرأ المزيد
978-0-387-25745-7
UML for SOC Design

The last several years have seen significant progress on two related frontsin hardware and software design for electronic ...

اقرأ المزيد
978-0-387-33403-5
VLSI-SOC: From Systems to Chips

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

اقرأ المزيد
عدد الكتب: 1 - 16 /16