A rule-based specification system for computational fluid dynamics

Abstract

ions as a model for parallel computations[10]. These Phase Abstractions are identified by the XYZ levels of programming, where the X level corresponds to an individual sequential processor, the Y level represents a collection of processors working on a common task in a data parallel mode, and the Z level which represents the control structure "in the large" of an application. It is argued that this model maps well to most parallel architectures, and, as a result, applications built around this model will execute with high efficiency on a wide range of architectural variations. 2.1.4 Bulk-Synchronous Protocol The Bulk-Synchronous Protocol (BSP) has been proposed as a bridging model for parallel computations[11]. The term "bridging model" is used here to describe a model, much like the von Neumann model for sequential architectures, that facilitates development of computer 9 architectures such that certain quantitative guarantees regarding software performance are met. Given such a mod...