A formal method for synthesising components of shared resource systems.
King Sing CheungPublished in: Comput. Syst. Sci. Eng. (2007)
Keyphrases
- similarity measure
- computationally efficient
- high accuracy
- objective function
- high precision
- synthetic data
- detection method
- optimization algorithm
- distributed systems
- probabilistic model
- theoretical analysis
- computational cost
- clustering method
- cost function
- expert systems
- preprocessing
- fully automatic
- evaluation method