Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications

Name: Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
Brand: Springer-Verlag New York Inc.
SKU: 01423991
Price: 114.45 EUR
Availability: InStock
Author: Gaurav Singh
ISBN: 9781441964809

Concurrent Action Oriented Specifications

Gaurav Singh

Sandeep Kumar Shukla

Language

English

Book Hardback

Libristo code: 01423991

Publishers Springer-Verlag New York Inc., August 2010

This book introduces novel techniques for generating low-power hardware from a high-level descriptio... Full description

Libristo code: 01423991

277 b

114.45 €

Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

Customers also purchased

Mutluluga Giden Isaretler Jon Gordon

Paperback

12.12 €

Wirtschaftlichkeit im Prozessmanagement Peter Cilek

Paperback

59.95 €

Jurisprudencia del impuesto sobre transmisiones patrimoniales y actos jurídicos documentados Carlos Colomer Ferrándiz

Paperback

67.33 €

Michelin Niederlande Süd. Straßen- und Tourismuskarte 1:200.000

Map

10.81 €

Kibris - Aziz Barnabasin Sirri Ahmet serif izgören

Paperback

16.17 €

Polybios a jeho svět Pavel Oliva

Hardback

9.09 €

A Practical Grammar of the International Language (Esperanto) - Primary Source Edition Mrs Ivy Kellerman Reed

Paperback

17.08 €

Dramata Sidon Karol Efraim

Hardback

4.84 €

Where Do We Go From Here? Asking Alexandria

Audio CD

15.76 €

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.