Мы используем файлы cookies для улучшения работы сайта НИУ ВШЭ и большего удобства его использования. Более подробную информацию об использовании файлов cookies можно найти здесь, наши правила обработки персональных данных – здесь. Продолжая пользоваться сайтом, вы подтверждаете, что были проинформированы об использовании файлов cookies сайтом НИУ ВШЭ и согласны с нашими правилами обработки персональных данных. Вы можете отключить файлы cookies в настройках Вашего браузера.

✖

A
A
A

АБВ
АБВ
АБВ

А
А
А
А
А

Обычная версия сайта

10

фев

2014

PAIS Lab seminar: Static analysis for data race detection // P. Andrianov

В понедельник, 10-го февраля, на очередном заседании научного семинара лаборатории с докладом на тему "Static analysis for data race detection" выступил Павел Андрианов, сотрудник ИСП РАН.

подробнее...

Дата

10 февраля 2014

В статье упомянуты

Научно-учебная лаборатория процессно-ориентированных информационных систем (ПОИС)