𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Stationary Phase Derivation for RCS of an Ellipsoid

✍ Scribed by Trott, Keith D.

Book ID
118136751
Publisher
IEEE
Year
2007
Tongue
English
Weight
137 KB
Volume
6
Category
Article
ISSN
1536-1225

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Formal derivation of an algorithm for di
Formal derivation of an algorithm for distributed phase synchronization
✍ D.S. BuhΔƒceanu; W.H.J. Feijen πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 620 KB

The main purpose of this paper is to create more evidence for the observation that parallel programs, distributed or not, can be formally -and economically -derived by means of just the predicate calculus and the theory of Owicki and Gries. The example selected here is the problem of phase synchroni