𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Phase-gradient algorithm as an optimal estimator of the phase derivative

✍ Scribed by Eichel, P. H.; Jakowatz, Jr., C. V.


Book ID
115417589
Publisher
Optical Society of America
Year
1989
Tongue
English
Weight
317 KB
Volume
14
Category
Article
ISSN
0146-9592

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Formal derivation of an algorithm for di
✍ 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