Sciweavers

11 search results - page 3 / 3
» Notations for Multiphase Pipelines
Sort
View
FP
1989
124views Formal Methods» more  FP 1989»
13 years 10 months ago
Deriving the Fast Fourier Algorithm by Calculation
This paper reports an explanation of an intricate algorithm in the terms of a potentially mechanisable rigorous-development method. It uses notations and techniques of Sheeran 1] ...
Geraint Jones