Анализ производительности и верификация

Вторник, 05 мая 2015
Таймс, ауд. 404

Описание

  • Средства профилирования на практике:
    • Valgrind
    • Intel || Studio
    • Google Thread Sanitizer
  • Виды профилирования
  • Сети Петри
  • Идея Model checking