Formal Derivation of Two Parallel Rendering Algorithms

Abstract

This paper presents the formal deriva tions of two parallel rendering algorithms from a high level speci cation The initial speci cation of the problem is formulated as a functional program A calculational approach is used to derive from the original speci cation two parallel algorithms expressed as networks of communicating processes in Hoare s CSP Both… (More)

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics