Крищенко Всеволод Александрович
| Тип публикации | Авторы | Заглавие | Издание, год, номер, страницы |
|---|---|---|---|
| Статья в журнале |
Казаков В. В. МГТУ
Крищенко Всеволод Александрович МГТУ |
Проверка корректности использования POSIX-сокетов при неблокирующем вводе-выводе |
Инженерный журнал: наука и инновации
2013
.-
№ 2(14)
|
| Статья в журнале |
Ковега Д. Н. МГТУ
Крищенко Всеволод Александрович МГТУ |
Использование системы LLVM при динамическом поиске состояний гонок в программах |
Инженерный журнал: наука и инновации
2013
.-
№ 2(14)
|
| Статья в журнале |
Крючков Алексей Олегович МГТУ
Крищенко Всеволод Александрович МГТУ |
Построение срезов для программ на динамических языках |
Инженерный журнал: наука и инновации
2013
.-
№ 6(18)
|
| Статья в журнале |
Медников Антон Владимирович МГТУ
Крищенко Всеволод Александрович МГТУ |
Проверка корректности освобождения ресурсов, локальных для функции на языке C |
Инженерный журнал: наука и инновации
2013
.-
№ 6(18)
|
| Статья в журнале |
Ковега Дмитрий Николаевич МГТУ
Крищенко Всеволод Александрович МГТУ |
Распределенная отказоустойчивая СУБД |
Наука и образование: научное издание МГТУ им. Н.Э. Баумана
2012
.-
№ 3
|
| Статья в журнале |
Коротков Иван Андреевич МГТУ
Крищенко Всеволод Александрович МГТУ |
Выбор функции распределения состояний при параллельной проверке модели |
Наука и образование: научное издание МГТУ им. Н.Э. Баумана
2012
.-
№ 3
|
| Статья в журнале |
Крищенко Всеволод Александрович МГТУ
|
Исследование таймера удержания при динамической маршрутизации на основе алгоритма Белмана-Форда |
Вестник МГТУ им.Н.Э.Баумана. Серия "Приборостроение"
2012
.-
Спец.выпуск «Программная инженерия»
.-
С.
99 - 109
|
| Статья в журнале |
Крючков А. О. МГТУ
Крищенко Всеволод Александрович МГТУ |
Отслеживание жизненного цикла IP-пакетов |
Информационные технологии
2012
.-
№ 5
.-
С.
11 - 16
|
| Статья в журнале |
Крючков Алексей Олегович МГТУ
Крищенко Всеволод Александрович МГТУ |
Мониторинг обработки IP-пакетов в ОС Linux |
Наука и образование: научное издание МГТУ им. Н.Э. Баумана
2012
.-
№ 4
|
| Статья в журнале |
Семенов Вадим Николаевич МГТУ
Крищенко Всеволод Александрович МГТУ |
Метод выгрузки страниц памяти на основе обнаружения регулярных обращений |
Наука и образование: научное издание МГТУ им. Н.Э. Баумана
2012
.-
№ 4
|