Structural synthesis of parallel programs (methodology and tools)
From MaRDI portal
Recommendations
Cited in
(17)- Theoretical and applied aspects of structured parallel programming
- scientific article; zbMATH DE number 3949698 (Why is no real title available?)
- scientific article; zbMATH DE number 1830933 (Why is no real title available?)
- Formalizing Parallel Programming in Large Scale Distributed Networks: From Tasks Parallel and Data Parallel to Applied Categorical Structures
- Structural analysis and planning of processes of parallel execution of functional programs
- Categorical semantics of parallel program design
- Formal methods of parallel software design automation
- scientific article; zbMATH DE number 814821 (Why is no real title available?)
- scientific article; zbMATH DE number 3870580 (Why is no real title available?)
- scientific article; zbMATH DE number 2079817 (Why is no real title available?)
- Complexity of the method of block paralleling structured programs
- Multilevel synthesis of structured programs
- Using ontologies and algebra of algorithms for formalized development of parallel programs
- scientific article; zbMATH DE number 193789 (Why is no real title available?)
- Synthesis of parallel recursive programs in structural functional models
- Structured programming in symbolic multiprocessing
- scientific article; zbMATH DE number 4117855 (Why is no real title available?)
This page was built for publication: Structural synthesis of parallel programs (methodology and tools)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1388058)
