Journal Article10.1007/BF01078248
Parallel languages. I
4
About: This article is published in Cybernetics and Systems Analysis. The article was published on 01 Jan 1981. The article focuses on the topics: Embarrassingly parallel & Parallel rendering.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
•Posted Content
An Application Driven Analysis of the ParalleX Execution Model
TL;DR: An overview of the Parallex execution model is presented along with details about a ParalleX-compliant runtime system implementation called High Performance Paralle X (HPX), and performance results for an adaptive mesh refinement numerical relativity application developed using HPX are discussed.
Structured programming in symbolic multiprocessing
TL;DR: It is determined that program design based on structured design grammars preserves all the advantages of structured programming and enables partial program verification using top-down, bottom-up, and mixed parsers, and the optimization of programs by prespecified criteria.
4
•Journal Article
Monitors: An Operating System Structuring Concept
TL;DR: This paper develops Brinch-Hansen's concept of a monitor as a method of structuring an operating system, introduces a form of synchronization, describes a possible method of implementation in terms of semaphores and gives a suitable proof rule.
References
Communicating sequential processes
TL;DR: It is suggested that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method.
Guarded commands, nondeterminacy and formal derivation of programs
TL;DR: So-called “guarded commands” are introduced as a building block for alternative and repetitive constructs that allow nondeterministic program components for which at least the activity evoked, but possibly even the final state, is not necessarily uniquely determined by the initial state.
Monitors: an operating system structuring concept
TL;DR: In this paper, the authors develop Brinch-Hansen's concept of a monitor as a method of structuring an operating system and describe a possible method of implementation in terms of semaphores and give a suitable proof rule.
•Book
A Programming Language
Kenneth E. Iverson
- 01 Jan 1962
TL;DR: The paper describes a succinct problem-oriented programming language that relies heavily on a systematic extension of a small set of basic operations to vectors, matrices, and trees, and on a family of flexible selection operations controlled by logical vectors.
1.1K