Н. В. Заборовский

Серия – Прикладная информатика. Научные статьи

• 
  • 0.00
  Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки
  2011
• 
  • 0.00
  Статическое обнаружение гонок в коде, содержащем ветвления и циклы
  2011