Go up to Top
Go forward to Parallel Solutions
Maximum of a Set of Numbers
- Let be an array of integers.
- Compute satisfying
- = <max : 0 :: >
- First UNITY solution
- = <max : 0 :: >
- Refined solution for sequential architectures:
- invariant <max : 0 ::
>
- FP <max : 0 ::
>
- FP <and: 0 ::
>
- FP <and: 0 ::
= max(, )>
Program Maximum1
initially = -infinity
assign <[] : 0 :: := max(,
)>
end {Maximum1}
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: unity3.tex,v 1.1 1996/04/19 12:29:22 schreine Exp schreine