Welcome to the InfoSci Platform
Algebra-Dynamic Models for CPU- and GPU-Parallel Program Design and the Model of Auto-Tuning

Algebra-Dynamic Models for CPU- and GPU-Parallel Program Design and the Model of Auto-Tuning

Copyright: © 2021 |Pages: 31
ISBN13: 9781522593843|ISBN10: 1522593845|ISBN13 Softcover: 9781522593850|EISBN13: 9781522593867
DOI: 10.4018/978-1-5225-9384-3.ch004
Cite Chapter Cite Chapter

MLA

Anatoliy Doroshenko and Olena Yatsenko. "Algebra-Dynamic Models for CPU- and GPU-Parallel Program Design and the Model of Auto-Tuning." Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities, IGI Global, 2021, pp.112-142. https://doi.org/10.4018/978-1-5225-9384-3.ch004

APA

A. Doroshenko & O. Yatsenko (2021). Algebra-Dynamic Models for CPU- and GPU-Parallel Program Design and the Model of Auto-Tuning. IGI Global. https://doi.org/10.4018/978-1-5225-9384-3.ch004

Chicago

Anatoliy Doroshenko and Olena Yatsenko. "Algebra-Dynamic Models for CPU- and GPU-Parallel Program Design and the Model of Auto-Tuning." In Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities. Hershey, PA: IGI Global, 2021. https://doi.org/10.4018/978-1-5225-9384-3.ch004

Export Reference

Mendeley
Favorite

Abstract

This chapter considers algebra-dynamic models of parallel programs, which are based on concepts of transition systems theory and algebra of algorithms. The models of sequential and parallel multithreaded programs for multicore processors and program models for graphics processing units are constructed. The authors describe transformations of programs aimed at transition from sequential to parallel versions (parallelization) and improving performance of parallel programs in respect to execution time (optimization). The transformations are based on using rewriting rules technique. The formal model of program auto-tuning as an evolutional extension of transition systems is proposed, and some properties of programs are considered.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.