Proving Correctness of a Controller Algorithm for the RAID Level 5 System.
Mandana VaziriNancy A. LynchJeannette M. WingPublished in: FTCS (1998)
Keyphrases
- learning algorithm
- computational complexity
- preprocessing
- experimental evaluation
- expectation maximization
- times faster
- similarity measure
- detection algorithm
- computationally efficient
- cost function
- improved algorithm
- convex hull
- real time
- k means
- provably correct
- worst case
- estimation algorithm
- tree structure
- clustering method
- significant improvement
- objective function
- neural network