Search the World's Largest Database of Information Science & Technology Terms & Definitions
InfInfoScipedia LogoScipedia
A Free Service of IGI Global Publishing House
Below please find a list of definitions for the term that
you selected from multiple scholarly research resources.

What is SAA/1

Chapter 6
Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities
The algorithmic language based on Glushkov’s system of algorithmic algebras and focused on natural linguistic representation of schemes. It is applied for multilevel structured designing and documenting of sequential and parallel algorithms and programs.
Published in Chapter:
Practical Examples of Automated Development of Efficient Parallel Programs
Copyright: © 2021 |Pages: 37
DOI: 10.4018/978-1-5225-9384-3.ch006
Abstract
In this chapter, some examples of application of the developed software tools for design, generation, transformation, and optimization of programs for multicore processors and graphics processing units are considered. In particular, the algebra-algorithmic-integrated toolkit for design and synthesis of programs (IDS) and the rewriting rules system TermWare.NET are applied for design and parallelization of programs for multicore central processing units. The developed algebra-dynamic models and the rewriting rules toolkit are used for parallelization and optimization of programs for NVIDIA GPUs supporting the CUDA technology. The TuningGenie framework is applied for parallel program auto-tuning: optimization of sorting, Brownian motion simulation, and meteorological forecasting programs to a target platform. The parallelization of Fortran programs using the rewriting rules technique on sample problems in the field of quantum chemistry is examined.
Full Text Chapter Download: US $37.50 Add to Cart
More Results
Chapter 5
Software Tools for Automated Program Design, Synthesis, and Auto-Tuning
The algorithmic language based on Glushkov’s system of algorithmic algebras and focused on natural linguistic representation of schemes. It is applied for multilevel structured designing and documenting of sequential and parallel algorithms and programs.
Published in Chapter: Software Tools for Automated Program Design, Synthesis, and Auto-Tuning; From: Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities
Full Text Chapter Download: US $37.50 Add to Cart
Chapter 2
Formalized Algorithm Design and Auto-Tuning of Programs
The algorithmic language based on Glushkov’s system of algorithmic algebras and focused on natural linguistic representation of schemes. It is applied for multilevel structured designing and documenting of sequential and parallel algorithms and programs.
Published in Chapter: Formalized Algorithm Design and Auto-Tuning of Programs; From: Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities
Full Text Chapter Download: US $37.50 Add to Cart
Chapter 7
Software Design Based on Using Ontologies and Algorithm Algebra
The algorithmic language based on Glushkov’s system of algorithmic algebras and focused on natural linguistic representation of schemes. It is applied for multilevel structured designing and documenting of sequential and parallel algorithms and programs.
Published in Chapter: Software Design Based on Using Ontologies and Algorithm Algebra; From: Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities
Full Text Chapter Download: US $37.50 Add to Cart
eContent Pro Discount Banner
InfoSci OnDemandECP Editorial ServicesAGOSR