Title: Computer performance engineering
Subjects: Computer systems, Formal methods (Computer science), Congresses, Stochastic models, Evaluation, Computer software, evaluation, System design, Mathematical models