Separation Logic for High-level Synthesis (Bog, Hardback, Engelsk)

Af: Felix Winterstein


Forlag: Springer International Publishing AG
Format: Hardback
Type: Bog
Sprog: Engelsk
ISBN-13: 9783319532219
Udgave: 1st ed. 2017
Udgivelsesdato: 03-03-2017
Første udgivelsesår: 2017
Serie: Springer Theses
Illustrationer: 7 Illustrations, color; 12 Illustrations, black and white; XIX, 132 p. 19 illus., 7 illus. in color.
Originalsprog: Switzerland
Sideantal: 132
Indbinding: Hardback
Forlag: Springer International Publishing AG
Sideoplysninger: 132 pages, 7 Illustrations, color; 12 Illustrations, black and white; XIX, 132 p. 19 illus., 7 illus
Mål: 235 x 155

Status : Mangler pt.

Produktet kan ikke bestilles.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Tilføj til bogliste

KATEGORIER M.M. SOM DETTE PRODUKT ER EN DEL AF

Beskrivelse

This book presents novel compiler techniques, which combine a rigorous mathematical framework, novel program analyses and digital hardware design to advance current high-level synthesis tools and extend their scope beyond the industrial 'state of the art'.

Anmeldelser (0)