Listen Top Shows Blog

Многопоточное программирование (Евгений Кирпичёв на ADD-2010)

Многопоточное программирование (Евгений Кирпичёв на ADD-2010)

Update: 2010-12-28

Share

Description

Евгений Кирпичёв из компании Grid Dynamics поделился своими знаниями, опытом и мыслями о многопоточном и распределенном программировании:

* Корректность: Формальные методы (и хорошо забытая, но очень полезная "линейная темпоральная логика"), а также несколько паттернов, помогающих порою резко упростить разработку и повысить корректность многопоточных и распределенных систем.
* Cutting-edge технологии: Что интересного и революционного есть в некоторых современных функциональных языках (Haskell, Erlang, Clojure, F#), и что уже стало или вот-вот станет мейнстримом.

ссылка

Comments

In Channel

Встреча с Михаилом Юрьевичем Харитоновым (1)

Встреча с Михаилом Юрьевичем Харитоновым (1)

2015-04-0402:00:23

Выступление министра связи РФ, Николая Никифорова на конференции OSDay-2014

Выступление министра связи РФ, Николая Никифорова на конференции OSDay-2014

2014-12-1616:00

Неудачные проекты моей жизни (Максим Гулевич, UXPeople-2013) (1)

Неудачные проекты моей жизни (Максим Гулевич, UXPeople-2013) (1)

2014-02-1635:42

Круглый стол про гос.органы на AnalystDays-2012

Круглый стол про гос.органы на AnalystDays-2012

2012-06-0539:52

Интервью с Александром Александровым

Интервью с Александром Александровым

2011-11-1453:23

Интервью с Алексеем Баранцевым

Интервью с Алексеем Баранцевым

2011-11-1426:52

Интервью с Еленой Ивановой

Интервью с Еленой Ивановой

2011-11-1424:25

Интервью с Дмитрием Ручко

Интервью с Дмитрием Ручко

2011-11-1418:07

Завершение встречи AgileRussia 2010-10-27

Завершение встречи AgileRussia 2010-10-27

2011-01-1911:33

Spikes — что с ними делать? (Встреча AgileRussia 2010-10-27)

Spikes — что с ними делать? (Встреча AgileRussia 2010-10-27)

2011-01-1907:08

Проблемы крупных проектов (Встреча AgileRussia 2010-10-27)

Проблемы крупных проектов (Встреча AgileRussia 2010-10-27)

2011-01-1924:27

Одна команда на несколько проектов (Встреча AgileRussia 2010-10-27)

Одна команда на несколько проектов (Встреча AgileRussia 2010-10-27)

2011-01-1911:40

Внезапные задачи в середине итерации — что делать? (Встреча AgileRussia 2010-10-27)

Внезапные задачи в середине итерации — что делать? (Встреча AgileRussia 2010-10-27)

2011-01-1917:03

Сокращение накладных расходов на планирование (Встреча AgileRussia 2010-10-27)

Сокращение накладных расходов на планирование (Встреча AgileRussia 2010-10-27)

2011-01-1924:42

Ротация SCRUM-мастеров (Встреча AgileRussia 2010-10-27)

Ротация SCRUM-мастеров (Встреча AgileRussia 2010-10-27)

2011-01-1913:07

OldSchool-команда (Встреча AgileRussia 2010-10-27)

OldSchool-команда (Встреча AgileRussia 2010-10-27)

2011-01-1915:27

Продвижение Agile в массы (Встреча AgileRussia 2010-10-27)

Продвижение Agile в массы (Встреча AgileRussia 2010-10-27)

2011-01-1937:13

Выбор тем для обсуждения (Встреча AgileRussia 2010-10-27)

Выбор тем для обсуждения (Встреча AgileRussia 2010-10-27)

2011-01-1910:59

Conflux: GPGPU для .NET

Conflux: GPGPU для .NET

2010-12-3040:16

Многопоточное программирование (Евгений Кирпичёв на ADD-2010)

Многопоточное программирование (Евгений Кирпичёв на ADD-2010)

2010-12-2801:45:29

00:00

00:00

x

Многопоточное программирование (Евгений Кирпичёв на ADD-2010)

Многопоточное программирование (Евгений Кирпичёв на ADD-2010)

Стас Фомин