Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 4 (2017) Narrabat - прототип сервиса для пересказа новостей в формате стихотворений Аннотация  похожие документы
И. И. Долгалева, И. А. Горшков, Р. Э. Яворский
"... новостных сюжетов. В качестве основы для генерации стихов используется большая коллекция русской классики ..."
 
Том 32, № 2 (2020) Платформа автоматического фаззинга программного интерфейса приложений Аннотация  PDF (Rus)  похожие документы
Севак Сеникович САРГСЯН, Ваагн Геворгович ВАРДАНЯН, Дживан Андраникович АКОПЯН, Анна Мартиросовна АГАБАЛЯН, Матевос Саргисович МЕГРАБЯН, Шамиль Фаимович КУРМАНГАЛЕЕВ, Александр Юрьевич ГЕРАСИМОВ, Михаил Кириллович ЕРМАКОВ, Сергей Павлович ВАРТАНОВ
"... . Применение фаззинга для генерации разных сценариев использования программного интерфейса приложения и ..."
 
Том 28, № 5 (2016) Вычисление входных данных для достижения определенной функции в программе методом итеративного динамического анализа Аннотация  PDF (Rus)  похожие документы
А. Ю. Герасимов, Л. В. Круглов
"... различных задач анализа программ: генерация входных данных для увеличения тестового покрытия программы, для ..."
 
Том 30, № 2 (2018) Преобразование типизированных функций в реляционную форму Аннотация  PDF (Rus)  похожие документы
П. А. Лозов, Д. Ю. Булычев
 
Том 30, № 3 (2018) Построение модульного программного обеспечения на основе однородной компонентой модели Аннотация  похожие документы
К. А. Маллачиев, А. В. Хорошилов
"... содержат достаточно информации для генерации исходного кода компонента на языке Си. Предоставляемые модели ..."
 
Том 23 (2012) Комбинаторная генерация программных конфигураций ОС Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин
"... В статье представлен метод генерации тестов для конфигурационного тестирования на основе ..."
 
Том 27, № 3 (2015) Метод генерации тестовых программ на основе формальных спецификаций механизмов кэширования и трансляции адресов Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. С. Проценко, А. Д. Татарников
"... В данной работе предложен метод генерации тестовых программ для функциональной верификации блока ..."
 
Том 32, № 3 (2020) Подходы к отладке и обеспечению качества статического анализатора Аннотация  похожие документы
Максим Александрович МЕНЬШИКОВ
"... статического анализатора. Представлено несколько наиболее эффективных методов конструктивной (генерация кода ..."
 
Том 29, № 1 (2017) Обзор методов и средств генерации тестовых программ для микропроцессоров Аннотация  PDF (Rus)  похожие документы
А. Д. Татарников
"... В работе дается обзор существующих методов и средств генерации тестовых программ для ..."
 
Том 27, № 3 (2015) Двухшаговый генератор гармоничных мелодий Аннотация  PDF (Rus)  похожие документы
Софья Латкина
"... непосредственного влияния пользователя в процесс генерации. Приведен обзор существующих решений, описание их ..."
 
Том 30, № 2 (2018) Автоматизированная генерация декодеров машинных команд Аннотация  PDF (Rus)  похожие документы
Н. Ю. Фокина, М. А. Соловьев
"... В работе предложен метод автоматизированной генерации декодеров машинных команд широкого класса ..."
 
Том 24 (2013) Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей Аннотация  PDF (Rus)  похожие документы
В. П. Иванников, А. К. Петренко, В. В. Кулямин, А. В. Максимов
 
Том 23 (2012) Система интеграции данных на основе наборов RDF-связей пространства Linked Open Data Аннотация  PDF (Rus)  похожие документы
Кузнецов Константин
 
Том 26, № 4 (2014) Лингвистический подход к определению суицида Аннотация  PDF (Rus)  похожие документы
Л. М. Ермакова, С. А. Ермаков
"... собирается совершить суицид. Для экспериментов мы использовали тексты русских писателей, которые совершили ..."
 
Том 23 (2012) Комбинирование признаков для извлечения тематических цепочек в новостном кластере Аннотация  PDF (Rus)  похожие документы
А. А. Алексеев, Н. В. Лукашевич
 
Том 28, № 4 (2016) Язык описания шаблонов для генерации тестовых программ для микропроцессоров Аннотация  похожие документы
А. Д. Татарников
"... Генерация тестовых программ на языке ассемблера и проверка корректности результатов их выполнения ..."
 
Том 28, № 5 (2016) Оптимизация читаемости тестов порождаемых при символьных вычислениях Аннотация  PDF (Rus)  похожие документы
И. А. Якимов, А. С. Кузнецов
 
Том 26, № 1 (2014) Средства функциональной верификации микропроцессоров Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. М. Коцыняк, С. А. Смолов, А. Д. Татарников, М. М. Чупилко, А. А. Сортов
"... системы автоматизированного проектирования (САПР), инструменты генерации тестов и методы анализа схем ..."
 
Том 28, № 6 (2016) Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. М. Коцыняк, А. С. Проценко, А. Д. Татарников, М. М. Чупилко
"... технической задачей. Неотъемлемой частью верификации микропроцессора является генерация тестовых программ ..."
 
Том 30, № 4 (2018) Толерантный синтаксический анализ с использованием специального символа «Any»: алгоритм и практическое применение Аннотация  похожие документы
А. В. Головешкин, С. С. Михалкович
 
Том 23 (2012) Зависимости между ошибками на классах тестируемых реализаций Аннотация  PDF (Rus)  похожие документы
Александр Косачев
 
Том 22 (2012) Финальные модели спецификации Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... безопасности и безопасная конформность, а также генерация полного набора тестов по спецификации. В работе ..."
 
Том 20 (2011) Нацеленная генерация данных для тестирования приложений над базами данных Аннотация  PDF (Rus)  похожие документы
Е. А. Костычев, В. А. Омельченко, С. В. Зеленов
"... инструментах генерации данных для функциональной проверки приложений над базами данных, в лучших случаях ..."
 
Том 30, № 6 (2018) Автоматический поиск фрагментов, содержащих биографическую информацию, в тексте на естественном языке Аннотация  PDF (Rus)  похожие документы
А. В. Глазкова
"... являются одними из ключевых задач информационного поиска. Методы поиска и классификации текстов находят ..."
 
Том 28, № 4 (2016) Генерация функциональных тестов для HDL-описаний на основе проверки моделей Аннотация  похожие документы
М. С. Лебедев, С. А. Смолов
"... Разработка методов автоматической генерации тестов составляет перспективное направление в области ..."
 
Том 26, № 5 (2014) Улучшенная атака по известным открытым текстам на гомоморфную криптосистему Доминго-Феррера Аннотация  PDF (Rus)  похожие документы
А. В. Трепачева
"... Данная работа посвящена криптоанализу по известным открытым текстам гомоморфной криптосистемы ..."
 
Том 22 (2012) Использование легковесного статического анализа для проверки настраиваемых семантических ограничений языка программирования Аннотация  PDF (Rus)  похожие документы
В. Н. Игнатьев
 
Том 27, № 3 (2015) Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов Аннотация  PDF (Rus)  похожие документы
И. . Мельниченко, А. . Камкин, С. . Смолов
"... Генерация тестов по моделям широко используется для функциональной верификации аппаратуры ..."
 
Том 31, № 3 (2019) Поиск конфликтов доступа к данным в HDL-описаниях Аннотация  похожие документы
Александр Сергеевич Камкин, Михаил Сергеевич Лебедев, Сергей Александрович Смолов
"... взаимодействия между модулями), а также генерация встроенных проверок в коде HDL-описаний. ..."
 
Том 27, № 4 (2015) Методы построения социо-демографических профилей пользователей сети Интернет Аннотация  PDF (Rus)  похожие документы
А. Г. Гомзин, С. Д. Кузнецов
 
Том 29, № 4 (2017) Обнаружение неточно повторяющегося текста в документации программного обеспечения Аннотация  похожие документы
Л. Д. Кантеев, Ю. О. Костюков, Д. В. Луцив, Д. В. Кознов, М. Н. Смирнов
"... последующим редактированием, в результате чего возникает много повторяющегося текста. Такие повторы усложняют ..."
 
Том 27, № 5 (2015) Современные методы аспектно-ориентированного анализа эмоциональной окраски Аннотация  PDF (Rus)  похожие документы
И. А. Андрианов, В. Д. Майоров, Д. Ю. Турдаков
"... -ориентированного анализа эмоциональной окраски текстов. Данная задача решалась в рамках нескольких конференций ..."
 
Том 26, № 1 (2014) Развитие теории конформности: семантики, формальные модели, алгоритмы Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... и алгоритмами генерации тестов, в том числе on-fly. Мы рассматриваем основные вехи этого пути в ..."
 
Том 26, № 1 (2014) Texterra: инфраструктура для анализа текстов Аннотация  PDF (Rus)  похожие документы
Денис Турдаков, Никита Астраханцев, Ярослав Недумов, Андрей Сысоев, Иван Андрианов, Владимир Майоров, Денис Федоренко, Антон Коршунов, Сергей Кузнецов
"... В статье описан проект Texterra, в рамках которого была создана инфраструктура для анализа текстов ..."
 
Том 25 (2013) Определение демографических атрибутов пользователей микроблогов Аннотация  PDF (Rus)  похожие документы
Антон Коршунов, Иван Белобородов, Андрей Гомзин, Кристина Чуприна, Никита Астраханцев, Ярослав Недумов, Денис Турдаков
"... определения демографических атрибутов пользователей социального сервиса микроблогов Twitter по текстам их ..."
 
Том 20 (2011) Извлечение ключевых терминов из сообщений микроблогов с помощью Википедии Аннотация  PDF (Rus)  похожие документы
А. В. Коршунов
"... он может быть выбран ключевым в тексте. В ходе тестирования разработанный алгоритм показал ..."
 
Том 23 (2012) Тематическое моделирование текстов на естественном языке Аннотация  PDF (Rus)  похожие документы
Антон Коршунов, Андрей Гомзин
 
1 - 37 из 37 результатов

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

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