Login

Winterstein, Felix

Separation Logic for High-level Synthesis

Winterstein, Felix - Separation Logic for High-level Synthesis, ebook

118,65€

Ebook, PDF with Adobe DRM
ISBN: 9783319532226
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

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

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

Author(s)
Publisher
Springer
Publication year
2017
Language
en
Edition
1
Series
Springer Theses
Page amount
19 pages
Category
Technology, Energy, Traffic
Format
Ebook
eISBN (PDF)
9783319532226
Printed ISBN
978-3-319-53221-9

Similar titles