Algebra of algorithms and dynamic parallel execution of sequential programs

DOI10.1007/BF01068734MaRDI QIDQ3327711zbMATH OpenFDO

Authors

Publication date 1983

Published in Cybernetics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01068734

zbMATH Keywords

algebra of algorithms over a memorydynamic semantic system of sequential programsparallel computationprogram model

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60) Algorithms in computer science (68W99)

Recommendations

• scientific article; zbMATH DE number 3924127
• Algebraic-grammatical models of parallel computation
• scientific article; zbMATH DE number 3986623
• Parallel dynamic semantics of sequential programs with speculative and incremental computation
• On a class of algebraic models of programs of practical interest

Cites work

• Macroconveyor computations of functions on data structures

Cited in

(29)

• The semantics and complexity of parallel programs for vector computations. I: A case study using Ada
• A high level dynamic programming algorithm for processing nonserial looped systems
• Towards a theory of parallel algorithms on concrete data structures
• Parallel dynamic semantics of sequential programs with speculative and incremental computation
• Means for organization of parallel computations and programming for multiprocessors with dynamic architecture
• Theory and practice of parallelism detection in sequential programs
• Construction of parallel iterative programs in computer algebra systems
• Algebraic-grammatical models of parallel computation
• A model of dynamical concurrent program execution
• Tools for simulation of parallel computations in a system of algebraic programming
• Structural analysis and planning of processes of parallel execution of functional programs
• Algebraic program semantics for supercomputing
• scientific article; zbMATH DE number 2089159 (Why is no real title available?)
• Parallélisation sémantique
• Operator composition in a multidimensional structurally oriented model of parallel computations and systems
• scientific article; zbMATH DE number 3986623 (Why is no real title available?)
• Parallelizable algebras
• Parallelism and algorithms for algebraic manipulation: current work
• scientific article; zbMATH DE number 1263301 (Why is no real title available?)
• scientific article; zbMATH DE number 1066848 (Why is no real title available?)
• scientific article; zbMATH DE number 1534583 (Why is no real title available?)
• On-the-fly algorithms and sequential machines
• scientific article; zbMATH DE number 4113974 (Why is no real title available?)
• scientific article; zbMATH DE number 2117128 (Why is no real title available?)
• Information structure of sequential programs
• On-the-Fly Algorithms and Sequential Machines
• Glushkov's algorithmic algebras and automated parallel computing design
• A dynamical model of parallel computation on bi-infinite time-scale
• Software tools for automation of parallel programming on the basis of algebra of algorithms

This page was built for publication: Algebra of algorithms and dynamic parallel execution of sequential programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3327711)