Separation Logic for High-level Synthesis
Author:   Felix Winterstein
Publisher:   Springer International Publishing AG
Edition:   1st ed. 2017
ISBN:  

9783319532219


Pages:   132
Publication Date:   03 March 2017
Format:   Hardback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $290.37 Quantity:  
Add to Cart

Share |

Separation Logic for High-level Synthesis


Add your own review!

Overview

Full Product Details

Author:   Felix Winterstein
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   1st ed. 2017
Dimensions:   Width: 15.50cm , Height: 1.10cm , Length: 23.50cm
Weight:   3.554kg
ISBN:  

9783319532219


ISBN 10:   3319532219
Pages:   132
Publication Date:   03 March 2017
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of Contents

1. Introduction.- 2. High-level Synthesis of Dynamic Data Structures.- 3. Background.- 4. Heap Partitioning and Parallelisation.- 5. Custom Multi-Cache Architectures.- 6. Conclusion.- Bibliography.- Appendices.

Reviews

Author Information

Felix Winterstein received a Master's degree in electrical engineering and information technology from RWTH Aachen University, Germany, in 2009 and received the Ph.D. degree from the Imperial College London in 2016. He is currently a research associate in the Circuits and Systems Group at the same institution. His research area is digital hardware design with an emphasis on customised, reconfigurable computing using FPGAs. His interest focuses on the automatic circuit synthesis from high-level programming languages and advanced compiler techniques to extend the scope of existing design tools in this area.

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now