Searching for "The Multiple Assignment Statement." – sorted by Relevance.
97 documents found, showing 1 through 10.
Next 10 →
-
Optimizing Data Decomposition for Data Parallel Programs
- … assignment statements. 1 Introduction The data parallel programming model provides an ease-to-use and ease…
- Cited by 7 (1 self) – Add To MetaCart
-
Verification Reuse and Frameworks
- …. Instead, each statement is a multiple assignment statement which may be guarded and which is executed…
- Add To MetaCart
-
Automatically Generating Loop Invariants Using Quantifier Elimination
- … multiple assignment statement, conditional statement, and loop; further, expression evaluation is side…
- Cited by 15 (0 self) – Add To MetaCart
-
An example of stepwise refinement of distributed programs: Quiescence detection
- … values of variables. This effect is achieved by a multiple assignment statement. Hence we view a program…
- Cited by 12 (0 self) – Add To MetaCart
-
Synthesis of Concurrent Programs for an Atomic Read/Write Model of Computation
- … is an arc label, consisting of a Pi-guard B and a multiple assignment statement A. B is built up from…
- Cited by 17 (0 self) – Add To MetaCart
-
Linking Simulation Model Specification And Parallel Execution Through Unity
- … values, and a set of multiple assignment statements" (Chandy, Misra 1988, p. 9). The UNITY computational…
- Cited by 2 (0 self) – Add To MetaCart
-
Deriving Response-Time Bounds for Equational Rule-Based Programs
- … in the program. A rule has three parts: 1. LHS: the left-hand-side of the multiple assignment statement, 2. RHS…
- Add To MetaCart
-
Dynamic Synchrony among Atomic Actions
- … multiple-assignment statements. The execution is asynchronous with statements being selected for execution…
- Cited by 2 (2 self) – Add To MetaCart
-
A UNITY-style Programming Logic for Shared Dataspace Programs
- … consists of a static set of deterministic multiple-assignment statements acting upon a shared…
- Cited by 26 (13 self) – Add To MetaCart
-
An exercise in the formal derivation of parallel programs: Maximum flows in graphs
- …, consists of a finite nonempty set of multiple assignment statements. The purpose of the first two sections…
- Cited by 8 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
