2014, ISBN: 1489987029
[EAN: 9781489987020], Neubuch, [PU: Springer New York], CAOS; CIRCUITDESIGN; CONCURRENTACTION-ORIENTEDSPECIFICATIONS; EMBEDDEDSYSTEMS; FORMALVERIFICATION; HIGH-LEVELSYNTHESIS; LOW-POWERDE… Meer...
AbeBooks.de AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) Details... |
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...
booklooker.de buecher.de GmbH & Co. KG Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
2014, ISBN: 1489987029
2010 Kartoniert / Broschiert Computer-Aided Design (CAD), CAOS; circuitdesign; ConcurrentAction-OrientedSpecifications; embeddedsystems; formalverification; High-levelSynthesis; Low-pow… Meer...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
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...
Hugendubel.de Nr. 22847845. Verzendingskosten:, , DE. (EUR 0.00) Details... |
ISBN: 9781489987020
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications Books > Computers > Design List_Books
Indigo.ca new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten Details... |
2014, ISBN: 1489987029
[EAN: 9781489987020], Neubuch, [PU: Springer New York], CAOS; CIRCUITDESIGN; CONCURRENTACTION-ORIENTEDSPECIFICATIONS; EMBEDDEDSYSTEMS; FORMALVERIFICATION; HIGH-LEVELSYNTHESIS; LOW-POWERDE… Meer...
Singh, Gaurav;Shukla, Sandeep Kumar:
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications - pocketboek2014, 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...
2014
ISBN: 1489987029
2010 Kartoniert / Broschiert Computer-Aided Design (CAD), CAOS; circuitdesign; ConcurrentAction-OrientedSpecifications; embeddedsystems; formalverification; High-levelSynthesis; Low-pow… Meer...
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...
ISBN: 9781489987020
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications Books > Computers > Design List_Books
Bibliografische gegevens van het best passende 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.Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9781441964816 Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications (Gaurav Singh; Sandeep Kumar Shukla)
- 9781441964816 Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications (Gaurav Singh; Sandeep Kumar Shukla)
- 9781441964823 Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications (Singh, Gaurav; Shukla, Sandeep K.)
- 9781441964809 Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications Gaurav Singh Author (Gaurav Singh)
< naar Archief...