Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 28, № 5 (2016) Декларативный язык FlexT - инструмент анализа и документирования бинарных форматов данных Аннотация  PDF (Rus)  похожие документы
А. Е. Хмельнов, И. В. Бычков, А. А. Михайлов
"... Язык FlexT разработан для спецификации бинарных форматов данных. Язык является декларативным ..."
 
Том 20 (2011) Декларативный интерфейс поиска дефектов по синтаксическим деревьям: язык KAST Аннотация  PDF (Rus)  похожие документы
С. В. Сыромятников
"... подобного интерфейса. Описывается новый декларативный язык, позволяющий пользователю описывать дефекты кода ..."
 
Том 19 (2010) Объектно-ориентированное программирование в ограничениях: новый подход на основе декларативных языков моделирования данных Аннотация  PDF (Rus)  похожие документы
В. А. Семенов, Д. В. Ильин, С. В. Морозов, О. В. Сидяка
"... обсуждается новый системный подход к реализации OOCP на основе использования декларативных языков ..."
 
Том 27, № 5 (2015) Использование языка программирования Python для описания ограничений на архитектурные модели Аннотация  PDF (Rus)  похожие документы
Е. В. Корныхин, А. В. Хорошилов
"... архитектурные модели, в основе которого лежит переиспользование возможностей языка программирования Python ..."
 
Том 31, № 3 (2019) Графический DSL для разработки мобильных приложений Аннотация  похожие документы
Артур Владимирович Гудиев, Александра Сергеевна Гражевская
"... В связи с увеличением количества платформ, языков и методов, использующихся в разработке мобильных ..."
 
Том 31, № 5 (2019) Применение i-векторов для автоматизированного определения уровня близости языков Аннотация  PDF (Rus)  похожие документы
Анс-Атаол Улдович Берзинь
"... задания расстояния между языками. В качестве входных данных используются фонограммы спонтанной речи ..."
 
Том 28, № 2 (2016) Контекстно-ориентированная модель для разметки сквозной функциональности в исходном коде Аннотация  похожие документы
М. С. Малеванный, С. С. Михалкович
"... фрагмент в коде. Эти контексты позволяют в рамках одной модели работать с кодом на различных языках, как ..."
 
Том 27, № 4 (2015) О дедуктивной верификации Си программ, работающих с разделяемыми данными Аннотация  PDF (Rus)  похожие документы
М. У. Мандрыкин, А. В. Хорошилов
"... В статье рассматривается задача дедуктивной верификации кода ядра ОС Linux, написанного на языке Си ..."
 
Том 31, № 3 (2019) Обзор языков для безопасного программирования смарт-контрактов Аннотация  похожие документы
Алексей Валерьевич Тюрин, Иван Владимирович Тюляндин, Владимир Мальцев, Яков Александрович Кириленко, Даниил Андреевич Березун
"... анализа кода, модели вычислений и семантики языков программирования смарт-контрактов. В этой работе мы ..."
 
Том 28, № 2 (2016) Технология создания семейства приложений на основе анализа предметной области Аннотация  похожие документы
А. А. Гудошникова, Ю. В. Литвинов
"... предлагаем генерировать метамодель предметно-ориентированного визуального языка. После этого средствами ..."
 
Том 28, № 4 (2016) Динамическая компиляция выражений в SQL-запросах для СУБД PostgreSQL Аннотация  PDF (Rus)  похожие документы
Е. Ю. Шарыгин, Р. А. Бучацкий, Л. В. Скворцов, Р. А. Жуйков, Д. М. Мельник
 
Том 28, № 6 (2016) Динамическая компиляция SQL-запросов для СУБД PostgreSQL Аннотация  PDF (Rus)  похожие документы
Р. А. Бучацкий, Е. Ю. Шарыгин, Л. В. Скворцов, Р. А. Жуйков, Д. М. Мельник, Р. В. Баев
 
Том 32, № 3 (2020) Рекомендательная система на основе действий пользователей в социальной сети Аннотация  похожие документы
Виталий Викторович МОНАСТЫРЕВ, Павел Дмитриевич ДРОБИНЦЕВ
 
Том 32, № 2 (2020) Оценка качества требований к программному обеспечению с применением метода GQM и инструментов обработки естественного языка Аннотация  похожие документы
Евгений Валерьевич ТИМОЩУК
"... , написанный на естественном языке, может быть проанализирован при помощи инструментов NLP (Natural Language ..."
 
Том 25 (2013) Применение языка KAST для преобразования исходного кода и автоматического исправления дефектов Аннотация  PDF (Rus)  похожие документы
Н. Л. Луговской, С. В. Сыромятников
"... В данной работе описывается расширение языка KAST для решения задачи трансформации исходного кода ..."
 
Том 31, № 5 (2019) Разработка языка: OOP or not OOP or better OOP Аннотация  PDF (Rus)  похожие документы
Алексей Евгеньевич Недоря
"... компания работает над новым языком программирования. В статье рассматривается подход к реализации OOP в ..."
 
Том 32, № 4 (2020) Извлечение логической структуры из сканированных документов Аннотация  PDF (Rus)  похожие документы
Анастасия Олеговна БОГАТЕНКОВА, Илья Сергеевич КОЗЛОВ, Оксана Владимировна БЕЛЯЕВА, Андрей Игоревич ПЕРМИНОВ
 
Том 30, № 3 (2018) Нотация криптографической стековой машины версии один Аннотация  похожие документы
С. Е. Прокопьев
"... декларативной и лаконичной), быть исполнимой и пройти процедуру формальной верификации в некоторой адекватной ..."
 
Том 28, № 2 (2016) Дизайн средств обобщённого программирования в объектно-ориентированных языках: ключевые решения Аннотация  похожие документы
Ю. В. Белякова
"... Принято считать, что объектно-ориентированные (ОО) языки программирования обеспечивают более слабую ..."
 
Том 28, № 2 (2016) Образовательный визуальный потоковый язык для программирования роботов Аннотация  похожие документы
Г. А. Зимин, Д. А. Мордвинов
"... Визуальные предметно-ориентированные языки зачастую имеют низкий порог вхождения: даже ученики школ ..."
 
Том 28, № 3 (2016) Автоматическая генерация кода по вложенным сетям Петри для систем на основе событий на платформе Telegram Аннотация  похожие документы
Д. И. Самохвалов, Л. В. Дворянский
"... получение корректных системы из корректных спецификаций на языке вложенных сетей Петри. В данной работе ..."
 
Том 28, № 4 (2016) Язык описания шаблонов для генерации тестовых программ для микропроцессоров Аннотация  похожие документы
А. Д. Татарников
"... Генерация тестовых программ на языке ассемблера и проверка корректности результатов их выполнения ..."
 
Том 27, № 4 (2015) Методы построения социо-демографических профилей пользователей сети Интернет Аннотация  PDF (Rus)  похожие документы
А. Г. Гомзин, С. Д. Кузнецов
 
Том 28, № 5 (2016) Оптимизация читаемости тестов порождаемых при символьных вычислениях Аннотация  PDF (Rus)  похожие документы
И. А. Якимов, А. С. Кузнецов
"... оптимизированных тестах, сопоставима со случаем использования слов натурального языка, что положительно сказывается ..."
 
Том 29, № 4 (2017) Обнаружение неточно повторяющегося текста в документации программного обеспечения Аннотация  похожие документы
Л. Д. Кантеев, Ю. О. Костюков, Д. В. Луцив, Д. В. Кознов, М. Н. Смирнов
 
Том 29, № 4 (2017) Narrabat - прототип сервиса для пересказа новостей в формате стихотворений Аннотация  похожие документы
И. И. Долгалева, И. А. Горшков, Р. Э. Яворский
 
Том 29, № 5 (2017) Логика первого порядка для задания требований к безопасному программному коду Аннотация  PDF (Rus)  похожие документы
А. В. Козачок
"... коду. Данная работа посвящена разработке формального логического языка описания функциональных ..."
 
Том 26, № 3 (2014) Статический поиск ошибок повторной блокировки семафора Аннотация  PDF (Rus)  похожие документы
А. Е. Бородин
"... семафора. Определено множество регулярных языков, моделирующих блокировки и разблокировки при конкретном ..."
 
Том 27, № 5 (2015) Современные методы аспектно-ориентированного анализа эмоциональной окраски Аннотация  PDF (Rus)  похожие документы
И. А. Андрианов, В. Д. Майоров, Д. Ю. Турдаков
"... , посвященных автоматическому анализу текстов на естественном языке. Организаторы конференций предлагали ..."
 
Том 26, № 1 (2014) Средства функциональной верификации микропроцессоров Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. М. Коцыняк, С. А. Смолов, А. Д. Татарников, М. М. Чупилко, А. А. Сортов
 
Том 32, № 2 (2020) HP-граф как основа для разработки редактора визуальных моделей DSM-платформы Аннотация  похожие документы
Николай Михайлович СУВОРОВ, Людмила Николаевна ЛЯДОВА
"... . Визуальные языки обычно основаны на графовых моделях, однако используемые типы графов имеют определенные ..."
 
Том 29, № 4 (2017) Автоматизированная генерация типовых контрактов для языка Ruby Аннотация  похожие документы
Н. Ю. Вьюгинов, В. С. Фондаратов
"... Элегантный синтаксис языка Ruby заметно усложняет поиск ошибок в больших кодовых базах. Статический ..."
 
Том 29, № 3 (2017) Обзор методов динамической компиляции запросов Аннотация  PDF (Rus)  похожие документы
Е. Ю. Шарыгин, Р. А. Бучацкий
 
Том 30, № 3 (2018) О верификации конечных автоматов-преобразователей над полугруппами Аннотация  похожие документы
А. Р. Гнатенко, В. А. Захаров
"... поведения автоматов-преобразователей введён новый язык спецификаций LP-CTL*. В его основу положена ..."
 
Том 30, № 4 (2018) Интерактивный специализатор подмножества языка Java, основанный на методе частичных вычислений Аннотация  похожие документы
И. А. Адамович, Анд. В. Климов
"... специализации на основе частичных вычислений для подмножества языка Java. Реализация выполнена в рамках ..."
 
Том 21 (2011) Извлечение объектов и их атрибутов из таблиц текстовых документов Аннотация  PDF (Rus)  похожие документы
Никита Астраханцев
 
Том 21 (2011) Извлечение предментно-ориентированных подмножеств словаря Википедии с использованием структуры категорий Аннотация  PDF (Rus)  похожие документы
А. В. Коршунов, Д. Ю. Турдаков, Чингук Чонг, Минхо Ли, Чансунг Мун
 
Том 18 (2010) Создание модулей поддержки архитектур для среды TrEx с помощью специализированного языка описания процессоров Аннотация  PDF (Rus)  похожие документы
П. М. Довгалюк, М. А. Климушенкова, А. М. Мухина
"... архитектур для среды TrEx на основе языка описания процессорных архитектур. Проанализированы достоинства и ..."
 
Том 30, № 5 (2018) Сравнительный анализ нейронных сетей в задаче классификации побочных эффектов на уровне сущностей в англоязычных текстах Аннотация  PDF (Rus)  похожие документы
И. С. Алимова, Е. В. Тутубалина
 
Том 30, № 6 (2018) Автоматический поиск фрагментов, содержащих биографическую информацию, в тексте на естественном языке Аннотация  PDF (Rus)  похожие документы
А. В. Глазкова
 
1 - 40 из 51 результатов 1 2 > >> 

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

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