Logga in

Winterstein, Felix

Separation Logic for High-level Synthesis

Winterstein, Felix - Separation Logic for High-level Synthesis, e-bok

118,65€

E-bok, PDF, Adobe DRM-skydd
ISBN: 9783319532226
DRM-begränsningar

Skriva utInte tillåtet
Kopiera till urklippInte tillåtet

Table of contents

1. Introduction
Felix Winterstein

2. High-Level Synthesis of Dynamic Data Structures
Felix Winterstein

3. Background
Felix Winterstein

4. Heap Partitioning and Parallelisation
Felix Winterstein

5. Custom Multi-cache Architectures
Felix Winterstein

6. Conclusion
Felix Winterstein

Nyckelord: Engineering, Circuits and Systems, Memory Structures, Logic Design, Programming Languages, Compilers, Interpreters

Författare
Utgivare
Springer
Utgivningsår
2017
Språk
en
Utgåva
1
Serie
Springer Theses
Sidantal
19 sidor
Kategori
Teknologi, energi, trafik
Format
E-bok
eISBN (PDF)
9783319532226
Tryckt ISBN
978-3-319-53221-9

Liknande e-böcker