Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities

Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities
Author :
Publisher : IGI Global
Total Pages : 279
Release :
ISBN-10 : 9781522593867
ISBN-13 : 1522593861
Rating : 4/5 (861 Downloads)

Book Synopsis Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities by : Doroshenko, Anatoliy

Download or read book Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities written by Doroshenko, Anatoliy and published by IGI Global. This book was released on 2020-08-28 with total page 279 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities Related Books

Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities
Language: en
Pages: 279
Authors: Doroshenko, Anatoliy
Categories: Computers
Type: BOOK - Published: 2020-08-28 - Publisher: IGI Global

GET EBOOK

Emerging scientific and industrial applications in today’s world require significant computing power. Modern software tools are available for such platforms b
Mathematical Modeling and Simulation of Systems
Language: en
Pages: 341
Authors: Serhiy Shkarlet
Categories: Technology & Engineering
Type: BOOK - Published: 2023-07-04 - Publisher: Springer Nature

GET EBOOK

Modern complex multi-domain systems require increased efficiency, reliability, and availability combined with reduced cost. This book contains papers on mathema
Soft Computing Methods for System Dependability
Language: en
Pages: 293
Authors: Mellal, Mohamed Arezki
Categories: Computers
Type: BOOK - Published: 2019-12-27 - Publisher: IGI Global

GET EBOOK

Technology in today’s world has continued to develop into multifaceted structures. The performance of computers, specifically, has significantly increased lea
Information and Communication Technologies in Education, Research, and Industrial Applications
Language: en
Pages: 373
Authors: Grigoris Antoniou
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

GET EBOOK

Handbook of Research on Modeling, Analysis, and Control of Complex Systems
Language: en
Pages: 685
Authors: Azar, Ahmad Taher
Categories: Mathematics
Type: BOOK - Published: 2020-12-05 - Publisher: IGI Global

GET EBOOK

The current literature on dynamic systems is quite comprehensive, and system theory’s mathematical jargon can remain quite complicated. Thus, there is a need