Könyv Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications Gaurav Singh

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications

Concurrent Action Oriented Specifications

Nyelv: Angol
Kötés: Kemény kötésű
Elérhetőség: Beszállítói készleten alacsony példányszámban
Küldés 13-18 napon belül
40 448 Ft
This book introduces novel techniques for generating low-power hardware from a high-level descriptio...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Kemény kötésű
Kiadva
2010
oldal
154
EAN
9781441964809
ISBN
1441964800
Enbook ID
01423991
Súly
970
Méretek
155 x 235 x 20

Teljes leírás

This book introduces novel techniques for generating low-power hardware from a high-level description of a design in terms of Concurrent Action-Oriented Specifications (CAOS). It also describes novel techniques for formal verification of such designs. It will provide the readers with definitions of various power optimization and formal verification problems related to CAOS-based synthesis, necessary background concepts, techniques to generate hardware according to the design s power requirements, and detailed experimental results obtained by applying the techniques introduced on realistic hardware designs.

Érdekelheti

107 606 Ft

Parrot & Co

HAROLD MACGRATH
11 728 Ft

The Cole Camp Area

Kenneth L. Bird
7 433 Ft
8 545 Ft

The Encore Solo: For Flute

Matheus Andre Reichert
2 076 Ft
12 441 Ft
24 425 Ft
24 581 Ft

Therapeutic Chair Massage

Ralph R. Stephens
26 330 Ft

Carbohydrate Chemistry

Amelia Pilar Rauter
174 410 Ft

Time to Kill

John Grisham
2 744 Ft
31 333 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

4 537 Ft
6 030 Ft
3 143 Ft

Dramata

Sidon Karol Efraim
1 735 Ft

Where Do We Go From Here?

Asking Alexandria
5 886 Ft