• Calendar

February 15, Tuesday
12:00 – 14:00

This talk surveys the state-of-the-art in advanced techniques for probabilistic performance evaluation models of various computer systems. The performance evaluation model is considered as a set of some "particular" models, both descriptive and numerical ones. which are used during a target CS designing process. This particular model set includes informal conceptual models of the target system, a formal specification of the target system by using of some modeling language (e.g., Stocahstic Petri Net (SPN), stochastic Process Algebra, etc.), some mathematical models derived from the specifications. Difference aspects of subordination and compatibility of various components of a whole performance evaluation model will be considered.

As the real performance evaluation process deals usually with a benchmarking, some aspects of a benchmarks choice methodology which is based on a probabilistic performance measure will be considered too.

Senior Researcher of the Institute of Informatics Problems, Russian Academy of Science (IPIRAN),Docent of the Faculty of Computer Science of the Moscow State Technical University "MIREA".

Research Interest:

probabilistic and statistic methods in scientific and applied researches;

performance evaluation;

computer-aided verification-and-testing of software and hardware;

probabilistic methods of testability analysis;

mathematical issues of computer graphics.

Teaching:

1. Mathematical methods of computer graphics.

2. Performance evaluation for graphical systems.