Separation Logic for High-level Synthesis
-15%
portes grátis
Separation Logic for High-level Synthesis
Winterstein, Felix
Springer International Publishing AG
07/2018
132
Mole
Inglês
9783319850948
15 a 20 dias
2409
Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
High-level Synthesis;FPGA;Memory System;Dynamic Data Structures;Separation Logic
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
