Separation logic for high-level synthesis

• 作者： Winterstein, Felix, author.
• 其他作者：
  • SpringerLink (Online service)
• 其他題名：
  • Springer theses.
• 出版： Cham : Springer International Publishing :Imprint: Springer
• 叢書名： Springer theses,
• 主題： Parallel processing (Electronic computers) , Embedded computer systems--Design. , Engineering. , Circuits and Systems. , Memory Structures. , Logic Design. , Programming Languages, Compilers, Interpreters.
• ISBN： 9783319532226 (electronic bk.) 、 9783319532219 (paper)
• FIND@SFXID: CGU
• 資料類型: 電子書
• 內容註: 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.
• More
• 讀者標籤：

  需登入
• 引用連結：

  Copy Link
• 目前引用數
• Share: