- 5 resultaten
laagste prijs: € 84,99, hoogste prijs: € 124,73, gemiddelde prijs: € 112,00
1
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications - Sandeep Kumar Shukla
bestellen
bij AbeBooks.de
€ 113,99
verzending: € 0,001
bestellenGesponsorde link
Sandeep Kumar Shukla:

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications - pocketboek

2014, ISBN: 1489987029

[EAN: 9781489987020], Neubuch, [PU: Springer New York], CAOS; CIRCUITDESIGN; CONCURRENTACTION-ORIENTEDSPECIFICATIONS; EMBEDDEDSYSTEMS; FORMALVERIFICATION; HIGH-LEVELSYNTHESIS; LOW-POWERDE… Meer...

NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
2
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications - Singh, Gaurav;Shukla, Sandeep Kumar
bestellen
bij booklooker.de
€ 84,99
verzending: € 0,001
bestellenGesponsorde link

Singh, Gaurav;Shukla, Sandeep Kumar:

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications - pocketboek

2014, ISBN: 9781489987020

[ED: Softcover], [PU: Springer / Springer New York / Springer, Berlin], Human lives are getting increasingly entangled with technology, especially comp- ing and electronics. At each step … Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) buecher.de GmbH & Co. KG
3
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications - Shukla, Sandeep Kumar; Singh, Gaurav
bestellen
bij Achtung-Buecher.de
€ 124,73
verzending: € 0,001
bestellenGesponsorde link
Shukla, Sandeep Kumar; Singh, Gaurav:
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications - nieuw boek

2014

ISBN: 1489987029

2010 Kartoniert / Broschiert Computer-Aided Design (CAD), CAOS; circuitdesign; ConcurrentAction-OrientedSpecifications; embeddedsystems; formalverification; High-levelSynthesis; Low-pow… Meer...

Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
4
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications - Sandeep Kumar Shukla/ Gaurav Singh
bestellen
bij Hugendubel.de
€ 119,99
verzending: € 0,001
bestellenGesponsorde link
Sandeep Kumar Shukla/ Gaurav Singh:
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications - pocketboek

2010, ISBN: 1489987029

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications ab 119.99 € als Taschenbuch: Auflage 2010. Aus dem Bereich: Bücher, Taschenbücher, Naturwissenschaft, Springer … Meer...

Nr. 22847845. Verzendingskosten:, , DE. (EUR 0.00)
5
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
bestellen
bij Indigo.ca
C$ 168,95
(ongeveer € 116,30)
bestellenGesponsorde link
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications - nieuw boek

ISBN: 9781489987020

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications Books > Computers > Design List_Books

new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten

1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek

Gedetalleerde informatie over het boek. - Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications


EAN (ISBN-13): 9781489987020
ISBN (ISBN-10): 1489987029
Gebonden uitgave
pocket book
Verschijningsjaar: 2014
Uitgever: Springer-Verlag New York Inc.

Boek bevindt zich in het datenbestand sinds 2015-02-06T16:15:20+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2022-10-15T12:26:32+02:00 (Amsterdam)
ISBN/EAN: 1489987029

ISBN - alternatieve schrijfwijzen:
1-4899-8702-9, 978-1-4899-8702-0
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: singh, kumar gaur, shukla
Titel van het boek: actio, oriente, action action, hard, synthesis, hardware


Gegevens van de uitgever

Auteur: Gaurav Singh; Sandeep Kumar Shukla
Titel: Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
Uitgeverij: Springer; Springer US
154 Bladzijden
Verschijningsjaar: 2014-09-18
New York; NY; US
Gedrukt / Gemaakt in
Gewicht: 0,454 kg
Taal: Engels
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
POD
XXX, 154 p.

BC; Circuits and Systems; Hardcover, Softcover / Technik/Elektronik, Elektrotechnik, Nachrichtentechnik; Schaltkreise und Komponenten (Bauteile); Verstehen; CAOS; Circuit Design; Concurrent Action-Oriented Specifications; Embedded Systems; Formal Verification; High-level Synthesis; Low-power Design; integrated circuit; model; Computer-Aided Engineering (CAD, CAE) and Design; Electronic Circuits and Systems; Computer-Aided Engineering (CAD, CAE) and Design; Computer-Aided Design (CAD); BB

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications Gaurav Singh Sandeep K. Shukla 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. •Presents detailed analysis of various power optimization problems associated with high-level synthesis, as well as novel techniques for reducing power consumption of hardware designs at a higher level of abstraction; •Discusses various formal verification issues associated with synthesizing different possible versions of a hardware design (differing in their latency, area, and/or power consumption); •Includes detailed experimental results obtained by applying the techniques introduced on benchmark hardware designs.

< naar Archief...