Winterstein, Felix
Separation Logic for High-level Synthesis
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
- Winterstein, Felix
- 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