Сортировать по:
Выпуск | Название | |
Том 29, № 6 (2017) | Подход к реализации системы верифицированного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
А. В. Козачок, Е. В. Кочетков | ||
"... В настоящей статье представлено описание технической реализации системы верифицированного ..." | ||
Том 29, № 3 (2017) | Комплекс алгоритмов функционирования системы безопасного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
А. В. Козачок, Е. В. Кочетков | ||
"... В настоящей статье представлен комплекс алгоритмов, составляющих основу функционирования системы ..." | ||
Том 27, № 4 (2015) | Совместная вероятностная тематическая модель для идентификации проблемных высказываний, связанных нарушением функциональности продуктов | Аннотация PDF (Rus) похожие документы |
Е. В. Тутубалина | ||
"... В статье исследуется задача автоматического извлечения информации о существовании различных проблем ..." | ||
Том 30, № 4 (2018) | Применение ассоциативно-семантического препроцессора в интерактивных диалоговых системах на естественном языке | Аннотация PDF (Rus) похожие документы |
В. Е. Сачков | ||
"... В статье исследуется возможность применения ассоциативно-семантического препроцессора специальной ..." | ||
Том 28, № 1 (2016) | Свободное программное обеспечение для моделирования жидкости со свободной поверхностью | Аннотация PDF (Rus) похожие документы |
Е. В. Давыдова, В. Н. Корчагова | ||
"... комплексов с открытым исходным кодом, в которых эти методы реализованы, а также выявление границ применимости ..." | ||
Том 29, № 4 (2017) | Инструмент для анализа поведения вполне структурированных систем переходов | Аннотация похожие документы |
Л. В. Дворянский, В. Е. Михайлов | ||
"... работы, существует большая потребность в эмпирических изучении вполне структурированных систем переходов ..." | ||
Том 28, № 1 (2016) | Равномерное распределение нагрузки аппаратно-программного ядра в UNIX-системах | Аннотация PDF (Rus) похожие документы |
Е. В. Пальчевский, А. Р. Халиков | ||
"... В данной статье рассматривается задача максимального увеличения пропускной способности сетевого ..." | ||
Том 28, № 4 (2016) | Модель поведения объектов, подверженных спонтанному изменению, в прецедентном подходе к управлению | Аннотация PDF (Rus) похожие документы |
В. Н. Юдин, Л. Е. Карпов | ||
"... В рамках прецедентного подхода к управлению сложными объектами, не поддающимися формализации в виде ..." | ||
Том 28, № 6 (2016) | Извлечение аспектных терминов на основе условных случайных полей и векторных представлений слов | Аннотация PDF (Rus) похожие документы |
Д. О. Машкин, Е. В. Котельников | ||
"... В интернете существует множество площадок, которые предоставляют пользователям возможность ..." | ||
Том 18 (2010) | Метод зеркальной генерации ограничений для построения тестовых программ по тестовым шаблонам | Аннотация PDF (Rus) похожие документы |
Е. В. Корныхин | ||
"... , более точно модулей управления памяти. В статье описывается метод построения тестов (тестовой программы ..." | ||
Том 30, № 1 (2018) | Работа с неполностью описанными объектами в системах поддержки принятия решений: альтернативные подходы | Аннотация похожие документы |
В. Н. Юдин, Л. Е. Карпов | ||
"... Неполностью описанные объекты могут встретиться в самых разных предметных областях и приложениях ..." | ||
Том 30, № 3 (2018) | К проверке строго детерминированного поведения временных конечных автоматов | Аннотация похожие документы |
Е. М. Винарский, В. А. Захаров | ||
"... Конечные автоматы широко применяются в качестве математических моделей при решении многочисленных ..." | ||
Том 28, № 3 (2016) | Виды признаков и их роль в дифференцировании классов при оценке не полностью описанного объекта | Аннотация PDF (Rus) похожие документы |
В. Н. Юдин, Л. Е. Карпов, В. Ю. Абрамов | ||
"... Разработанный метод в рамках прецедентного подхода к принятию решений позволяет решить проблему ..." | ||
Том 27, № 5 (2015) | Использование языка программирования Python для описания ограничений на архитектурные модели | Аннотация PDF (Rus) похожие документы |
Е. В. Корныхин, А. В. Хорошилов | ||
"... В данной статье предлагается подход к описанию и верификации структурных ограничений на ..." | ||
Том 29, № 5 (2017) | Численное исследование теплоотдачи в каналах с неглубокими подковообразными лунками | Аннотация PDF (Rus) похожие документы |
А. А. Цынаева, С. Е. Разоренов, В. В. Белая | ||
"... Работа посвящена численному исследованию теплоотдачи в прямоугольных каналах с односторонним ..." | ||
Том 30, № 2 (2018) | Моделирование осесимметричных течений вязкой несжимаемой жидкости методом конечных элементов с частицами PFEM-2 в программном комплексе Kratos с открытым кодом | Аннотация PDF (Rus) похожие документы |
Е. В. Смирнова, И. К. Марчевский, В. О. Бондарчук | ||
"... вязкой несжимаемой жидкости в методе конечных элементов с частицами PFEM-2. Осесимметричная модель ..." | ||
Том 28, № 1 (2016) | Оптимизация динамической загрузки библиотек на архитектуре ARM | Аннотация PDF (Rus) похожие документы |
Е. А. Кудряшов, Д. М. Мельник, А. В. Монаков | ||
"... В статье рассматривается подход к оптимизации вызовов внешних функций в позиционно-независимом коде ..." | ||
Том 28, № 3 (2016) | Подходы к автономной верификации кэш-памятей многоядерных микропроцессоров | Аннотация похожие документы |
М. В. Петроченков, И. А. Стотланд, Р. Е. Муштаков | ||
"... В статье приведен обзор методов, применяемых при проверке корректности поведения кэш-памятей ..." | ||
Том 28, № 4 (2016) | Поиск ошибок доступа к буферу в программах на языке C/C++ | Аннотация PDF (Rus) похожие документы |
И. А. Дудина, В. К. Кошелев, А. Е. Бородин | ||
"... В статье рассматривается алгоритм статического анализа для поиска в исходном коде программы ошибок ..." | ||
Том 28, № 5 (2016) | Декларативный язык FlexT - инструмент анализа и документирования бинарных форматов данных | Аннотация PDF (Rus) похожие документы |
А. Е. Хмельнов, И. В. Бычков, А. А. Михайлов | ||
"... , которые напоминают определения типов в императивных языках программирования, но являются более гибкими. В ..." | ||
Том 29, № 4 (2017) | Верификация контроллеров 10 гигабитного Ethernet | Аннотация похожие документы |
М. В. Петроченков, Р. Е. Муштаков, И. А. Стотланд | ||
"... В статье приведены подходы, использовавшиеся в процессе верификации контроллеров 10 гигабитного ..." | ||
Том 29, № 5 (2017) | Проектирование моделей вариабельности для программных, операционных систем и их семейств | Аннотация похожие документы |
Е. М. Лаврищева, В. С. Мутилин, А. Г. Рыжов | ||
"... систем, определяемой с помощью модели характеристик (МХ). В статье мы рассматриваем подходы к формальному ..." | ||
Том 27, № 6 (2015) | Концепция наследования в современных языках программирования | Аннотация PDF (Rus) похожие документы |
А. В. Канатов, Е. А. Зуев | ||
"... Статья содержит обзор и анализ реализаций понятия наследования в современных промышленных языках ..." | ||
Том 30, № 4 (2018) | Критерии, предъявляемые к программному обеспечению для разработки сложных сертифицируемых систем, критичных по безопасности | Аннотация похожие документы |
Н. К. Горелиц, А. С. Гукова, Е. В. Песков | ||
"... На сегодняшний день в авиационной отрасли существует актуальная проблема - как инструментально ..." | ||
Том 30, № 3 (2018) | Верификация контроллеров связи в системах на кристалле | Аннотация похожие документы |
М. В. Петроченков, Р. Е. Муштаков, Д. И. Шпагилев | ||
"... В статье описаны подходы, которые использовались для верификации контроллеров связи в системах на ..." | ||
Том 28, № 3 (2016) | Верификация и анализ вариабельных операционных систем | Аннотация PDF (Rus) похожие документы |
В. В. Кулямин, Е. М. Лаврищева, В. С. Мутилин, А. К. Петренко | ||
"... В данной работе рассматриваются проблемы верификации и анализа сложных операционных систем с учетом ..." | ||
Том 29, № 6 (2017) | Реализация сервиса для замены Keystone в качестве центрального сервиса идентификации облачной платформы Openstack | Аннотация PDF (Rus) похожие документы |
Е. Л. Аксенова, В. В. Швецова, О. Д. Борисенко, И. В. Богомолов | ||
"... В данной работе рассматриваются проблемы масштабируемости проекта Keystone - центрального сервиса ..." | ||
Том 20 (2011) | Нацеленная генерация данных для тестирования приложений над базами данных | Аннотация PDF (Rus) похожие документы |
Е. А. Костычев, В. А. Омельченко, С. В. Зеленов | ||
"... программного обеспечения. В частности, такие приложения решают задачи интеграции данных в области интеграции ..." | ||
Том 30, № 3 (2018) | Анализ методов оценки надежности оборудования и систем. Практика применения методов | Аннотация PDF (Rus) похожие документы |
Н. В. Пакулин, Е. М. Лаврищева, А. Г. Рыжов, С. В. Зеленов | ||
Том 28, № 4 (2016) | Динамическая компиляция выражений в SQL-запросах для СУБД PostgreSQL | Аннотация PDF (Rus) похожие документы |
Е. Ю. Шарыгин, Р. А. Бучацкий, Л. В. Скворцов, Р. А. Жуйков, Д. М. Мельник | ||
"... В последние годы по мере увеличения производительности и роста объема оперативной и внешней памяти ..." | ||
1 - 30 из 344 результатов | 1 2 3 4 5 6 7 8 9 10 11 12 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)