PAIS Lab Seminar: Computational models in software engineering // D. Zagorulkin

Dmitry Zagorulkin (Sberbank CIB former Troika Dialog)
Feb 02, 2014 - 18:10 - aud. 402

In this presentation I would like to introduce the most popular models of computation and to show how to apply these models for solving concurrency problems, such as reference cell problem, mutual exclusion problem, dining philosophers problem. Also I will show how to use different computational models in modern programming languages such as Java and Erlang.

more...

Dmitry Zagorulkin (Sberbank CIB former Troika Dialog)
Feb 02, 2014 - 18:10 - aud. 402

In this presentation I would like to introduce the most popular models of computation and to show how to apply these models for solving concurrency problems, such as reference cell problem, mutual exclusion problem, dining philosophers problem. Also I will show how to use different computational models in modern programming languages such as Java and Erlang.

more...