scientific article; zbMATH DE number 193789

MaRDI QIDQ4040585zbMATH OpenFDO

Authors V. Val'kovs'kyj, V. E. Malyshkin

Publication date 5 June 1993

zbMATH Keywords

synthesis of parallel programs

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)

Recommendations

• Programming models for parallel computing
• scientific article; zbMATH DE number 46180
• scientific article; zbMATH DE number 2090641
• Models for parallel computations
• Structural synthesis of parallel programs (methodology and tools)
• scientific article; zbMATH DE number 45696
• Computational models for parallel computers
• scientific article; zbMATH DE number 3779257

Cited in

(9)

• Boolean models and planning methods for parallel abstract programs
• P-functions and Boolean matrix factorization. A unified approach for wired, programmed and microprogrammed implementations of discrete algorithms
• scientific article; zbMATH DE number 3949698 (Why is no real title available?)
• scientific article; zbMATH DE number 4035102 (Why is no real title available?)
• scientific article; zbMATH DE number 4052988 (Why is no real title available?)
• scientific article; zbMATH DE number 465526 (Why is no real title available?)
• scientific article; zbMATH DE number 4003499 (Why is no real title available?)
• Higher order dataflow schemas
• Synthesis of parallel recursive programs in structural functional models

This page was built for publication:

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