Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 6 (2017) Поиск недостающих вызовов библиотечных функций с использованием машинного обучения Аннотация  PDF (Rus)  похожие документы
И. А. Якимов, А. С. Кузнецов
"... библиотек доступны в литературе и интернет-ресурсах. В данной работе представлена гипотеза о том, что ..."
 
Том 34, № 2 (2022) Стратегии семплирования текста для прогнозирования недостающих библиографических ссылок Аннотация  PDF (Rus)  похожие документы
Федор Владимирович КРАСНОВ, Ирина Сергеевна СМАЗНЕВИЧ, Елена Николаевна БАСКАКОВА
"... автоматической классификации предложений с целью обнаружения недостающих библиографических ссылок. Построение ..."
 
Том 28, № 1 (2016) Оптимизация динамической загрузки библиотек на архитектуре ARM Аннотация  PDF (Rus)  похожие документы
Е. А. Кудряшов, Д. М. Мельник, А. В. Монаков
"... PLT для вызовов внешних процедур), но и для динамических библиотек, где PLT используется также для ..."
 
Том 28, № 4 (2016) Язык описания шаблонов для генерации тестовых программ для микропроцессоров Аннотация  похожие документы
А. Д. Татарников
"... средств используют в качестве входных данных шаблоны тестовых программ, которые позволяют описывать ..."
 
Том 18 (2010) Генерация тестовых программ для микропроцессоров на основе шаблонов конвейерных конфликтов Аннотация  PDF (Rus)  похожие документы
Д. Н. Воробьев, А. С. Камкин
"... шаблонов конфликтных ситуаций возможных в работе конвейера тестируемого микропроцессора. Использование ..."
 
Том 36, № 5 (2024) Применение моделей машинного обучения для многоклассовой классификации дерматоскопических снимков новообразований кожи Аннотация  PDF (Rus)  похожие документы
Александр Васильевич КОЗАЧОК, Андрей Андреевич СПИРИН, Олег Ильгисович САМОВАРОВ, Елена Сергеевна КОЗАЧОК
 
Том 25 (2013) Применение языка KAST для преобразования исходного кода и автоматического исправления дефектов Аннотация  PDF (Rus)  похожие документы
Н. Л. Луговской, С. В. Сыромятников
"... . В настоящее время язык KAST используется для поиска поддеревьев заданного в виде шаблона вида в ..."
 
Том 24 (2013) Исследование и разработка шаблонов неэффективного поведения в параллельных MPI, UPC приложениях Аннотация  PDF (Rus)  похожие документы
М. С. Акопян, Н. Е. Андреев
"... В данной статье рассматриваются шаблоны в параллельных программах, приводящие к потере ..."
 
Том 23 (2012) Обнаружение периодических наборов событий во временных базах данных Аннотация  PDF (Rus)  похожие документы
Е. A. Иванникова.
"... приложениях. Такая регулярность исследуется в области интеллектуального анализа периодических шаблонов. В ..."
 
Том 35, № 3 (2023) Проектирование архитектуры системы мониторинга на основе паттернов проектирования Аннотация  похожие документы
Александра Алексеевна ПАСЫНКОВА, Ольга Леонидовна ВИКЕНТЬЕВА
"... В данной статье исследуется актуальность использования шаблонов проектирования при разработке ..."
 
Том 29, № 6 (2017) Формальная верификация библиотечных функций ядра Linux Аннотация  PDF (Rus)  похожие документы
Д. В. Ефремов, М. У. Мандрыкин
"... включает некоторые шаблонные приёмы разработки спецификаций. Авторам удалось доказать полную корректность ..."
 
Том 18 (2010) Метод зеркальной генерации ограничений для построения тестовых программ по тестовым шаблонам Аннотация  PDF (Rus)  похожие документы
Е. В. Корныхин
 
Том 20 (2011) Декларативный интерфейс поиска дефектов по синтаксическим деревьям: язык KAST Аннотация  PDF (Rus)  похожие документы
С. В. Сыромятников
"... , которые требуется обнаруживать, в виде шаблонов для синтаксических деревьев, и рассматриваются некоторые ..."
 
Том 27, № 3 (2015) Унифицированная модель тестирования инструментов разработки объектно-ориентированных приложений Аннотация  PDF (Rus)  похожие документы
Павел Петрович Олейник
 
Том 21 (2011) Использование статического анализа для поиска уязвимостей и критических ошибок в исходном коде программ Аннотация  PDF (Rus)  похожие документы
Арутюн Аветисян, Андрей Белеванцев, Алексей Бородин, Владимир Несов
"... определенных шаблонов или ситуаций (ошибок стиля кодирования, нарушений проектных соглашений об использовании ..."
 
Том 24 (2013) Гибридный подход к построению систем поддержки решений Аннотация  PDF (Rus)  похожие документы
В. Н. Юдин, Л. Е. Карпов
"... логический вывод от возможного заключения, как гипотезы, - к фактам, подтверждающим эту гипотезу. Это снижает ..."
 
Том 34, № 5 (2022) Библиотека для разработки компиляторов Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович МИРОНОВ, Инна Александровна БАТРАЕВА, Павел Дмитриевич ДУНАЕВ
"... Работа посвящена разработке библиотеки, предназначенной для реализации компиляторов. Статья ..."
 
Том 30, № 4 (2018) Библиотека программирования гетерогенных архитектур Аннотация  похожие документы
Г. В. Киргизов, Я. А. Кириленко
"... метапрограммирования и библиотеку, предоставляющую единый интерфейс для программирования периферийных процессоров с ..."
 
Том 27, № 4 (2015) Библиотека ограничений для спецификации индустриальных моделей данных Аннотация  PDF (Rus)  похожие документы
С. В. Морозов, Д. В. Ильин, В. А. Семенов, О. А. Тарлапан
"... , используемые в них. Разрабатывается библиотека обобщенных функций на языке EXPRESS для представления каждого из ..."
 
Том 28, № 5 (2016) Вычисление входных данных для достижения определенной функции в программе методом итеративного динамического анализа Аннотация  PDF (Rus)  похожие документы
А. Ю. Герасимов, Л. В. Круглов
"... программы, который содержит только те функции, вызов которых в конечном счете приводит к вызову заранее ..."
 
Том 32, № 3 (2020) Моделирование библиотечных функций в промышленном статическом анализаторе кода Аннотация  похожие документы
Михаил Владимирович БЕЛЯЕВ, Егор Сергеевич РОМАНЕНКОВ, Валерий Николаевич ИГНАТЬЕВ
"... точная информация о программной среде, особенно о результатах и побочных эффектах функций библиотеки ..."
 
Том 33, № 5 (2021) Использование библиотеки функционального программирования для решения численных задач на графических ускорителях с технологией CUDA Аннотация  похожие документы
Михаил Михайлович КРАСНОВ, Ольга Борисовна ФЕОДОРИТОВА
"... по-другому. Применение разработанной авторами библиотеки функционального программирования позволяет ..."
 
Том 35, № 4 (2023) Технология синтеза программных комплексов с гибридной визуализацией Vulkan-OpenGL Аннотация  PDF (Rus)  похожие документы
Петр Юрьевич ТИМОХИН, Михаил Васильевич МИХАЙЛЮК
 
Том 36, № 4 (2024) Реализация траекторного профилирования в компиляторе LCC для процессоров Эльбрус Аннотация  PDF (Rus)  похожие документы
Виктор Евгеньевич ШАМПАРОВ, Мурад Искендер-оглы НЕЙМАН-ЗАДЕ
 
Том 37, № 1 (2025) Использование технологий искусственного интеллекта для проведения психологического тестирования Аннотация  PDF (Rus)  похожие документы
Дарья Дмитриевна ГРИГОРЬЕВА, Даниил Валерьевич СЕРОВ, Дмитрий Сергеевич СОРОКИН, Алексей Иванович МАРТЫШКИН
 
Том 30, № 6 (2018) Проблемно-ориентированная библиотека SOWFA для решения прикладных задач ветроэнергетики Аннотация  PDF (Rus)  похожие документы
М. В. Крапошин, С. В. Стрижак
"... В статье рассматриваются возможности открытой библиотеки SOWFA. Проблемно-ориентированная ..."
 
Том 35, № 2 (2023) Об использовании открытых сторонних библиотек при программной реализации вихревых методов вычислительной гидродинамики Аннотация  PDF (Rus)  похожие документы
Илья Константинович МАРЧЕВСКИЙ, Юлия Андреевна ИЗМАЙЛОВА, Мария Александровна ЕРОФЕЕВА, Дарья Юрьевна КОБЗАРЬ
"... целесообразности использования существующих сторонних библиотек для выполнения операций вычислительной геометрии ..."
 
Том 33, № 6 (2021) Упрощенные кинетические модели горения метана для расширения возможностей пакета OpenFOAM и физико-химических библиотек Аннотация  PDF (Rus)  похожие документы
Дмитрий Сергеевич КОНОНОВ, Владимир Юрьевич ГИДАСПОВ, Сергей Владимирович СТРИЖАК
"... возможностей пакета OpenFOAM и физико-химических библиотек, применимых для численного моделирования процессов ..."
 
Том 35, № 5 (2023) О проблемах использования библиотеки OpenBLAS в продуктовом коде на RISC-V Аннотация  PDF (Rus)  похожие документы
Ксения Алексеевна ЗАЙЦЕВА, Валерия Валентиновна ПУЗИКОВА, Андрей Дмитриевич СОКОЛОВ
"... . Среди оптимизированных открытых реализаций BLAS/LAPACK, только библиотека OpenBLAS включает в себя ..."
 
Том 34, № 4 (2022) Реализация функции долговременного хранения научных данных большого объема в вычислительном центре Аннотация  PDF (Rus)  похожие документы
Дмитрий Владимирович ИВАНКОВ
 
Том 32, № 4 (2020) Разработка решателя iceFoam для моделирования процесса обледенения Аннотация  PDF (Rus)  похожие документы
Константин Борисович КОШЕЛЕВ, Валерия Геннадиевна МЕЛЬНИКОВА, Сергей Владимирович СТРИЖАК
 
Том 31, № 6 (2019) Моделирование динамики частиц в планетарном пограничном слое и в модельном ветропарке Аннотация  PDF (Rus)  похожие документы
Константин Борисович Кошелев, Сергей Владимирович Стрижак
"... базе библиотеки SOWFA в составе открытого пакета OpenFOAM 2.4.0 для изучения моделирования динамики ..."
 
Том 35, № 6 (2023) Эффективная реализация быстрого метода мультиполей для взаимодействия частиц с ньютоновским потенциалом Аннотация  PDF (Rus)  похожие документы
Виктор Михайлович АУШЕВ
 
Том 23 (2012) Использование аспектно-ориентированного программирования для выполнения запросов по исходному коду программ Аннотация  PDF (Rus)  похожие документы
Е. М. Новиков, А. В. Хорошилов
"... образом существуют различные подходы от достаточно простых, основывающихся на текстовом поиске по шаблонам ..."
 
Том 37, № 1 (2025) Применение формальных спецификаций системы команд для функционального тестирования языковых виртуальных машин Аннотация  PDF (Rus)  похожие документы
Александр Сергеевич ПРОЦЕНКО
"... строится исполнимая модель. Для автоматизации создания тестовых программ используются тестовые шаблоны ..."
 
Том 28, № 3 (2016) Виды признаков и их роль в дифференцировании классов при оценке не полностью описанного объекта Аннотация  PDF (Rus)  похожие документы
В. Н. Юдин, Л. Е. Карпов, В. Ю. Абрамов
"... дифференциальной диагностикой и семиотикой в медицине). Для выбора порядка, извлечения недостающих признаков ..."
 
Том 22 (2012) Программная конвейеризация циклов на платформе ARM Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий
"... этого вида. Были выполнены предварительные оценки производительности с помощью реализации шаблона псевдо ..."
 
Том 37, № 2 (2025) Методы схемотехнического и топологического синтеза аналоговых интегральных схем по спецификации с использованием методов машинного обучения и дифференцируемого программирования Аннотация  PDF (Rus)  похожие документы
Денис Сергеевич ЩЕПЕТОВ, Александр Геннадиевич ТИМОШЕНКО, Владимир Анатольевич ГАРАНЖА, Игорь Евгеньевич КАПОРИН, Дмитрий Николаевич КАРГИН
"... позволяет достичь требований спецификации и предложить оптимальную комбинацию схемотехнических шаблонов ..."
 
Том 33, № 5 (2021) Автоматизация разработки на Vulkan: предметно-ориентированный подход Аннотация  PDF (Rus)  похожие документы
Владимир Александрович ФРОЛОВ, Вадим Владимирович САНЖАРОВ, Владимир Александрович ГАЛАКТИОНОВ, Александр Станиславович ЩЕРБАКОВ
"... . Например, вызов виртуальных функций может быть реализован либо через конструкцию switch в одном ..."
 
1 - 39 из 130 результатов 1 2 3 4 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)