Полное описание
> Шимчик, Никита Владимирович . Исследование и разработка методов поиска уязвимостей в программах на C и C++на основе статического анализа помеченных данных : специальность 2.3.5 - "Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей": автореферат диссертации на соискание учёной степени кандидата технических наук / Шимчик Никита Владимирович ; Институт системного программирования им. В. П. Иванникова Российской академии наук. - Москва, 2024. - 26 с. : ил. - Библиогр.: с. 25-26 (12 назв.). - 50 экз. - Текст : непосредственный.
ГРНТИ УДК 50.41.21 004.65(043) 27.43.17 519.2:004(043)
Кл.слова (ненормированные): IFDS -- АНАЛИЗ УСЛОВИЙ -- АНАЛИЗ ЦИКЛОВ -- ГЛОБАЛЬНЫЕ ПЕРЕМЕННЫЕ -- ЛОЖНЫЕ СРАБАТЫВАНИЯ -- МАСШТАБИРУЕМОСТЬ АНАЛИЗА -- СУПЕРГРАФЫ
Доп. точки доступа: Институт системного программирования им. В. П. Иванникова (Москва)
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар24-5117)>
Шифр в сводном ЭК: be7b902b8197e2feadd12601f7c9d448
Труды Института системного программирования РАН. Т. 30вып. 3 / [главный редактор А. И. Аветисян], 2018. - 362 с. - Текст : непосредственный. Труды Института системного программирования РАН. Т. 30вып. 4 / [главный редактор А. И. Аветисян], 2018. - 230 с. - Текст : непосредственный. Труды Института системного программирования РАН. Т. 30вып. 5 / [главный редактор А. И. Аветисян], 2018. - 288 с. - Текст : непосредственный. Труды Института системного программирования РАН / 3. Т. 30вып. 2 / [главный редактор А. И. Аветисян], 2018. - 316 с. - Текст : непосредственный. Труды Института системного программирования РАН. Т. 31вып. 4 / [главный редактор Аветисян Арутюн Ишханович], 2019. - 226 с. - Текст : непосредственный. Труды Института системного программирования РАН. Т. 31вып. 2 / [главный редактор Аветисян Арутюн Ишханович], 2019. - 201 с. - Текст : непосредственный. Труды Института системного программирования РАН. Т. 31вып. 3 / [главный редактор Аветисян Арутюн Ишханович], 2019. - 239 с. - Текст : непосредственный. Труды Института системного программирования РАН. Т. 30вып. 6 / главный редактор Аветисян Арутюн Ишханович, 2019. - 380 с. - Текст : непосредственный. Труды Института системного программирования РАН. Т. 31вып. 1 / [главный редактор Аветисян Арутюн Ишханович], 2019. - 142 с. - Текст : непосредственный. Нурмухаметов, Алексей Раисович. Применение диверсифицирующих преобразований для защиты от эксплуатации уязвимостей : специальность 05.13.11 - "Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей": автореферат диссертации на соискание учёной степени кандидата технических наук / Нурмухаметов Алексей Раисович, 2021. - 25 с. - Текст : непосредственный. Гонахчян, Вячеслав Игоревич. Адаптивная стратегия рендеринга динамических трехмерных сцен : специальность 05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей: автореферат диссертации на соискание ученой степени кандидата технических наук / Гонахчян Вячеслав Игоревич, 2021. - 20 с. - Текст : непосредственный. Андрианов, Павел Сергеевич. Анализ корректности синхронизации компонентов ядра операционных систем : специальность 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей: автореферат диссертации на соискание ученой степени кандидата физико-математических наук / Андрианов Павел Сергеевич, 2021. - 27 с. - Текст : непосредственный. Гомзин, Андрей Геннадьевич. Методы и программные средства определения значений стационарных демографических атрибутов пользователей социальных сетей : специальность 05.13.11 - "Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей": автореферат диссертации на соискание учёной степени кандидата физико-математических наук / Гомзин Андрей Геннадьевич, 2021. - 23 с. - Текст : непосредственный. Труды Института системного программирования РАН. Т. 33вып. 3 / главный редактор - Аветисян Арутюн Ишханович, 2021. - 222 с. - Текст : непосредственный. Труды Института системного программирования РАН. Т. 32вып. 5 / главный редактор - Аветисян Арутюн Ишханович, 2020. - 198 с. - Текст : непосредственный. Труды Института системного программирования РАН. Т. 32вып. 6 / главный редактор - Аветисян Арутюн Ишханович, 2020. - 212 с. - Текст : непосредственный. Труды Института системного программирования РАН. Т. 33вып. 1 / главный редактор - Аветисян Арутюн Ишханович, 2021. - 224 с. - Текст : непосредственный. Рязанов, Даниил Александрович. Бигармонические аттракторы внутренних волн : 01.02.05 - Механика жидкости газа и плазмы: автореферат диссертации на соискание ученой степени кандидата физико-математических наук / Рязанов Даниил Александрович, 2021. - 17 с. - Текст : непосредственный. Черных, Андрей Николаевич. Методы и алгоритмы решения задач оптимизации ресурсов в нестационарных распределенных гетерогенных вычислительных средах : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей": автореферат диссертации на соискание ученой степени доктора физико-математических наук / Черных Андрей Николаевич, 2021. - 38 с. - Текст : непосредственный. Труды Института системного программирования РАН. Т. 33вып. 2 / главный редактор - Аветисян Арутюн Ишханович, 2021. - 200 с. - Текст : непосредственный. Показать все результаты Sequential Analysis. - Журнал выходит с 1982г. r=on-line. - Текст : электронный. Баженова И.Ю. Visual FoxPro 6.0 / И. Ю. Баженова, 2000. - 416 с. - Текст : непосредственный. Лима Т. Введение в dBase IV / Т. Лима, 1993. - 299 с. - Текст : непосредственный. Буянова Л.Н. Система управления базой данных Rebus / Л. Н. Буянова, 1996. - 50 с. - Текст : непосредственный. Access 7,0 для Windows 95, 1997. - 479 с. - Текст : непосредственный. Волков П.Н. Математические методы в экспериментальных исследованиях. Планирование и статистический анализ многофакторных экспериментов / П. Н. Волков, 1990. - 131 с. - Текст : непосредственный. Александров Ф.И. Разработка программного комплекса автоматического выделения и прогноза аддитивных компонент временных рядов в рамках подхода "Гусеница"-SSA : специальность 05.13.18 "Математическое моделирование,численные методы и комплексы программ" : диссертация на соискание ученой степени канд. физ.-мат. наук / Ф. И. Александров, 2006. - 15 с. - Текст : непосредственный. Афонин С.А. Алгоритмы эффективного вычисления конъюнктивных регулярных путевых запросов в базах полусруктурированных данных : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / С. А. Афонин, 2007. - 20 с. - Текст : непосредственный. Золотова С.И. Практикум по Access : учебное пособие / С. И. Золотова, 2008. - 143 с. - Текст : непосредственный. Карманов В.С. Планирование эксперимента в задачах анализа данных типа времени жизни : специальность 05.13.17 "Теоретические основы информатики" : автореферат диссертации на соискание ученой степени канд. техн. наук / В. С. Карманов, 2003. - 23 с. - Текст : непосредственный. Волков А.Л. Ортогональные гибкие композиционные планы эксперимента для построения математических моделей объектов и явлений : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)", 05.13.16 "" : автореферат диссертации на соискание ученой степени канд. техн. наук / А. Л. Волков, 1994. - Текст : непосредственный. Карахтанов Д.С. Разработка математического и программного обеспечения идентификации объектов в базе данных на основе нестрогого соответствия / Д. С. Карахтанов, 2011. - 16 с. - Текст : непосредственный. Култыгин, Олег Петрович. Администрирование баз данных. СУБД MS SQL Server : учебное пособие / О. П. Култыгин, 2012. - 228 с. (Введено оглавление). - Текст : непосредственный. Милютина Е.В. Пользователь ПК : монография / Е. В. Милютина, Л. П. Андреева, Л. А. Скворцова, 2004. - 351 с. - Текст : непосредственный. Weihs C. Classification - the ubiquitous challenge / C. Weihs, W. Gaul, 2005 r=on-line. - Текст : электронный. Dapor M. Elaborazione dei dati sperimentali / M. Dapor, M. Ropele, 2005 r=on-line. - Текст : электронный. Drosg M. Dealing with uncertainties / M. Drosg, 2007 r=on-line. - Текст : электронный. Дрейпер Н. Прикладной регрессионный анализ / Н. Дрейпер, Г. Смит, 1973. - 392 с. - Текст : непосредственный. Тюрин Ю.Н. Статистический анализ данных на компьютере / Ю. Н. Тюрин, А. А. Макаров, 1998. - 528 с. - Текст : непосредственный. Лившиц В.Л. Определение и визуализация структуры взаимосвязей объектов статистической системы на основе задачи N тел и нечеткой кластеризации : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / В. Л. Лившиц, 2007. - 22 с. - Текст : непосредственный. Показать все результаты Казарцев А.А. Алгоритм поиска в базе данных,основанный на аппроксимации распределения адресов в индексе : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени канд.техн.наук / А. А. Казарцев, 1995. - 18 с. - Текст : непосредственный. Бениаминов Е.М. Алгебраические методы в теории баз данных и представлении знаний : специальность 05.13.17 "Теоретические основы информатики" : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук / Е. М. Бениаминов, 1996. - 17 с. - Текст : непосредственный. Суханов А.В. Нечетко-стохастические методы выявления аномальных событий в темпоральных данных / А. В. Суханов, 2016. - 24 с. - Текст : непосредственный. Лепихов А.В. Методы обработки запросов в системах управления базами данных для многопроцессорных систем с иерархической архитектурой / А. В. Лепихов, 2008. - 16 с. - Текст : непосредственный. Нгуен Доан Куонг.Организация доступа, хранения и извлечения знаний в темпоральных базах данных : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. техн. наук / Нгуен Доан Куонг, 2006. - 16 с. - Текст : непосредственный. Чимитова Е.В. Разработка математического и алгоритмического обеспечения статистического анализа данных типа времени жизни / Е. В. Чимитова, 2016. - 38 с. - Текст : непосредственный. Мартынов М.Г. Методы пространственного индексирования в СУБД : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / М. Г. Мартынов, 1998. - 14 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Перепелкина Ю.В. Разработка методов генерации специальных баз данных : автореф. дис. .. канд. техн. наук: 05.13.11 / Ю. В. Перепелкина, 2003. - 18 с. - Текст : непосредственный. Цвященко Е.В. Модели процессов согласования реплик в базах данных NoSQL : автореф. дис. .. канд. техн. наук: 05.13.17 / Е. В. Цвященко, 2016. - 18 с. - Текст : непосредственный. Курганов В.Ю. Разработка и исследование систем управления гибридными данными сложной нестабильной структуры на основе универсальной модели : автореф. дис. .. канд. техн. наук: 05.13.11 / В. Ю. Курганов, 2005. - 16 c. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽