Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities(Advances in Systems Analysis, Software Engineering, and High Performance Computing (2327-3453))

并行程序构建自动化的形式化和自适应方法:新兴研究和机遇

计算机科学技术基础学科

售   价:
931.00
发货周期:预计4-6周发货
作      者
出版时间
2020年08月28日
装      帧
平装
ISBN
9781522593850
复制
页      码
195
语      种
英文
综合评分
暂无评分
我 要 买
- +
库存 50 本
  • 图书详情
  • 目次
  • 买家须知
  • 书评(0)
  • 权威书评(0)
图书简介
Emerging scientific and industrial applications in today’s world require significant computing power. Modern software tools are available for such platforms but are relatively complex and require the use of innovative programming models. One promising area in modern software design is the development, analysis, and implementation of algorithms and adaptive methods. These advancements in programming are promising but lack relevant research and understanding. Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities is an essential reference source that solves the problem of the development of efficient models, methods, and tools for parallel programming automation based on the algebra of algorithms, term rewriting, and auto-tuning paradigms. The results of this book will help to further develop and improve existing research on design, synthesis, and optimization of sequential and parallel algorithms and programs. Featuring research on topics such as auto-tuning methods, graphics processing, and algorithmic language, this book is ideally designed for mathematicians, software engineers, data scientists, researchers, academicians, and students seeking coverage on developing tools for automated design and parallel programs.
本书暂无推荐
本书暂无推荐
看了又看
  • 上一个
  • 下一个