scholarly journals A Comparison of Scheduling parallel program tasks based on Java Applet

2020 ◽  
Vol 9 (2) ◽  
pp. 1394-1403
Author(s):  
Haleema Essa Solayman
Keyword(s):  
Parallel Program ◽  
Java Applet

JPF-HJ: A Tool for Task Parallel Program Analysis

2019 ◽  
Vol 44 (4) ◽  
pp. 19-19 ◽  
Author(s):  
Joshua Hooker ◽  
Peter Aldous ◽  
Eric Mercer ◽  
Benjamin Ogles ◽  
Kyle Storey ◽  
...  
Keyword(s):  
Program Analysis ◽  
Parallel Program ◽  
Task Parallel

scholarly journals Correct program parallelisations

2021 ◽  
Author(s):  
S. Blom ◽  
S. Darabi ◽  
M. Huisman ◽  
M. Safari
Keyword(s):  
Composition Operators ◽  
Parallel Programs ◽  
Parallel Program ◽  
Tool Support ◽  
Intermediate Representation ◽  
Data Race ◽  
Sequential Program ◽  
Functional Correctness ◽  
Correct Program ◽  
Basic Blocks

AbstractA commonly used approach to develop deterministic parallel programs is to augment a sequential program with compiler directives that indicate which program blocks may potentially be executed in parallel. This paper develops a verification technique to reason about such compiler directives, in particular to show that they do not change the behaviour of the program. Moreover, the verification technique is tool-supported and can be combined with proving functional correctness of the program. To develop our verification technique, we propose a simple intermediate representation (syntax and semantics) that captures the main forms of deterministic parallel programs. This language distinguishes three kinds of basic blocks: parallel, vectorised and sequential blocks, which can be composed using three different composition operators: sequential, parallel and fusion composition. We show how a widely used subset of OpenMP can be encoded into this intermediate representation. Our verification technique builds on the notion of iteration contract to specify the behaviour of basic blocks; we show that if iteration contracts are manually specified for single blocks, then that is sufficient to automatically reason about data race freedom of the composed program. Moreover, we also show that it is sufficient to establish functional correctness on a linearised version of the original program to conclude functional correctness of the parallel program. Finally, we exemplify our approach on an example OpenMP program, and we discuss how tool support is provided.

A Classification and Closure Properties of Languages for Describing Concurrent System Behaviours

1981 ◽  
Vol 4 (3) ◽  
pp. 531-549 ◽  
Author(s):  
Miklós Szijártó
Keyword(s):  
Formal Languages ◽  
Parallel Program ◽  
Sufficient Condition ◽  
Necessary And Sufficient Condition ◽  
Concurrent System ◽  
Closure Properties ◽  
Sequential Program ◽  
Necessary And Sufficient ◽  
Special Case ◽  
Independence Relations

The correspondence between sequential program schemes and formal languages is well known (Blikle and Mazurkiewicz (1972), Engelfriet (1974)). The situation is more complicated in the case of parallel program schemes, and trace languages (Mazurkiewicz (1977)) have been introduced to describe them. We introduce the concept of the closure of a language on a so called independence relation on the alphabet of the language, and formulate several theorems about them and the trace languages. We investigate the closedness properties of Chomsky classes under closure on independence relations, and as a special case we derive a new necessary and sufficient condition for the regularity of the commutative closure of a language.

scholarly journals Astrometric Radial Velocities From Hipparcos

1998 ◽  
Vol 11 (1) ◽  
pp. 564-564
Author(s):  
D. Dravins ◽  
L. Lindegren ◽  
S. Madsen ◽  
J. Holmberg
Keyword(s):  
Radial Velocity ◽  
High Precision ◽  
Radial Velocities ◽  
Radial Motion ◽  
Spectral Lines ◽  
Parallel Program ◽  
Stellar Surface ◽  
Space Astrometry ◽  
Stellar Motion ◽  
Surface Convection

Abstract Space astrometry now permits accurate determinations of stellar radial motion, without using spectroscopy. Although the feasibility of deducing astrometric radial velocities from geometric projection effects was realized already by Schlesinger (1917), only with Hipparcos has it become practical. Such a program has now been carried out for the moving clusters of Ursa Major, Hyades, and Coma Berenices. Realized inaccuracies reach about 300 m/s (Dravins et al. 1997). Discrepancies between astrometric and spectroscopic radial velocities reveal effects (other than stellar motion) that affect wavelength positions of spectral lines. Such are caused by stellar surface convection, and by gravitational redshifts. A parallel program (Gullberg & Dravins 1997) is analyzing high-precision spectroscopic radial velocities for different spectral lines in these stars, using the ELODIE radial-velocity instrument atHaute-Provence.

scholarly journals A method for parallel program generation with an application to the Booster language

1990 ◽  
Vol 18 (3b) ◽  
pp. 457-469 ◽  
Author(s):  
Edwin M. Paalvast ◽  
Arjan J. van Gemund ◽  
Henk J. Sips
Keyword(s):  
Parallel Program ◽  
Program Generation
Sign in / Sign up

Export Citation Format

Share Document