A formal model of data structures and abstract algorithms for multiprocessor computer systems

MaRDI QIDQ799365zbMATH OpenFDO

Authors S. Ya. Vilenkin, V. N. Lifshits

Publication date 1984

Published in Automation and Remote Control (Search for Journal in Brave)

zbMATH Keywords

abstract algorithmsabstract data structuresdata representation in multiprocessor computer systems

Mathematics Subject Classification ID

Theory of operating systems (68N25) Data structures (68P05) Algorithms in computer science (68W99)

Recommendations

• Structured programming in symbolic multiprocessing
• Algorithmic data structure algebras and multilevel program design
• scientific article; zbMATH DE number 4076602
• scientific article; zbMATH DE number 1330044
• Publication:3034807

Cited in

(6)

• Effect of architecture and structure of multiprocessor computers on programming languages and translation methods
• A new approach to data fetchforward in uniprocessor and parallel computers: Formal models and proofs
• Complexity of algorithms that construct subsets of data from formal definitions
• scientific article; zbMATH DE number 4133478 (Why is no real title available?)
• scientific article; zbMATH DE number 4076602 (Why is no real title available?)
• The formalism underlying EASYMAP: A precompiler for refinement-based exploration of hierarchical data organizations

This page was built for publication: A formal model of data structures and abstract algorithms for multiprocessor computer systems

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