Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 37, № 6: часть 3. ноябрь-декабрь Статический анализ языка Python с использованием девиртуализации Аннотация  похожие документы
Артемий Львович ГАЛУСТОВ, Константин Игоревич ВИХЛЯНЦЕВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ
"... В статье предлагается подход к статическому анализу программ на языке Python на основе ..."
 
Том 31, № 3 (2019) Разработка программной среды для управления интеллектуальными устройствами в реальном времени Аннотация  похожие документы
Тамара Наумович, Лука Баляк, Лазар Живоинович, Филип Филипович
"... Python, инфраструктуры Django и широкого набора модулей и библиотек, поддерживающих непрерывное ..."
 
Том 37, № 6: часть 4. ноябрь-декабрь Поддержка процессов верификации средств защиты информации на основе формальных моделей политик управления доступом: инструмент АНИС Аннотация  PDF (Rus)  похожие документы
Алексей Александрович КАРНОВ, Евгений Валерьевич КОРНЫХИН, Александр Константинович ПЕТРЕНКО
 
Том 27, № 5 (2015) Использование языка программирования Python для описания ограничений на архитектурные модели Аннотация  PDF (Rus)  похожие документы
Е. В. Корныхин, А. В. Хорошилов
"... на архитектурные модели, в основе которого лежит переиспользование возможностей языка программирования Python ..."
 
Том 28, № 2 (2016) Параллельная обработка и визуализация для результатов моделирования методом молекулярной динамики Аннотация  похожие документы
Д. В. Пузырьков, В. О. Подрыга, С. В. Поляков
"... программирования Python. Эта библиотека позволяет осуществлять чтение, обработку и визуализацию результатов ..."
 
Том 35, № 2 (2023) Разработка подхода к сквозному тестированию приложения для управления конфигурацией виртуальной инфраструктуры предприятия Аннотация  похожие документы
Евгений Вадимович ГЕРАСЬКИН, Никита Владимирович ВОИНОВ
"... сквозных тестов, написанных на Python. Подход включает всестороннюю оценку системы от пользовательского ..."
 
Том 35, № 1 (2023) Сравнение графовых векторных представлений исходного кода с текстовыми моделями на основе архитектур CNN и CodeBERT Аннотация  PDF (Rus)  похожие документы
Виталий Анатольевич РОМАНОВ, Владимир Владимирович ИВАНОВ
"... точности классификации типов переменных программ, написанных на языке Python, сравнимой с векторными ..."
 
Том 24 (2013) Вывод типов для языка Python Аннотация  PDF (Rus)  похожие документы
И. Е. Бронштейн
"... Тема статьи - вывод типов для программного кода на языке Python. Сначала производится обзор ..."
 
Том 35, № 6 (2023) Статический анализ на основе обобщённого абстрактного синтаксического дерева Аннотация  PDF (Rus)  похожие документы
Виталий Олегович АФАНАСЬЕВ, Алексей Евгеньевич БОРОДИН, Константин Игоревич ВИХЛЯНЦЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ
"... и последующим анализом сохраненных деревьев. Мы реализовали такое представление для Java, Kotlin и Python ..."
 
Том 25 (2013) Подход к обнаружению ошибок несоответствия типов в коде на динамических языках программирования Аннотация  PDF (Rus)  похожие документы
И. Е. Бронштейн
"... . Производится обзор статических анализаторов программ на языках Python, Ruby и JavaScript. Показывается, что ..."
 
Том 37, № 4: часть 2. июль-август Интеграция подхода к визуализации данных на основе онтологии и визуализации на основе ИИ с использованием Plotly Аннотация  похожие документы
Анна Даниеловна ДЖЕЙРАНЯН, Людмила Николаевна ЛЯДОВА
 
Том 36, № 3 (2024) Использование генетических алгоритмов и нейронных сетей в анализе деформаций стопы Аннотация  PDF (Rus)  похожие документы
Сергей Иванович КИРЕЕВ, Инна Александровна БАТРАЕВА, Дмитрий Сергеевич ПАНТЕЛЕЕВ, Максим Владиславович ЗАБОЕВ
 
Том 37, № 6: часть 4. ноябрь-декабрь Генерация кода исполняемой модели Event-B на языке Python Аннотация  PDF (Rus)  похожие документы
Алексей Александрович КАРНОВ, Евгений Валерьевич КОРНЫХИН
 
Том 38, № 3: часть 1. май-июнь Построение графа вызовов для анализа программ Аннотация  похожие документы
Артём ФАРТЫГИН, Алексей Евгеньевич БОРОДИН, Варвара Викторовна ДВОРЦОВА, Виталий Олегович АФАНАСЬЕВ, Артемий Львович ГАЛУСТОВ, Андрей Андреевич БЕЛЕВАНЦЕВ
"... программирования (C/C++, Java, Kotlin, Scala, Go, Python). Описываются открытые инструменты, поддерживающие ..."
 
Том 37, № 1: январь-февраль Использование технологий искусственного интеллекта для проведения психологического тестирования Аннотация  PDF (Rus)  похожие документы
Дарья Дмитриевна ГРИГОРЬЕВА, Даниил Валерьевич СЕРОВ, Дмитрий Сергеевич СОРОКИН, Алексей Иванович МАРТЫШКИН
 
Том 38, № 2: март-апрель Непрерывная наблюдаемость для клиент-серверной IDE: воспроизводимый подход с низкими накладными расходами Аннотация  похожие документы
Владислав Игоревич МИРОШНИКОВ, Ольга Игоревна БАЧИЩЕ, Илья Александрович КУЗНЕЦОВ, Александр Андреевич ПЛАТОНОВ, Николай Владимирович ТРОПИН, Дарья Владимировна ВАСИНА, Дмитрий Владимирович КОЗНОВ
"... разработчиком, и стабильность работы в средах динамических языков, таких как Python. В рамках работы была ..."
 
1 - 16 из 16 результатов

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

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