Сортировать по:
Выпуск | Название | |
Том 29, № 1 (2017) | Численное исследование характеристических мод и частот течения в высокоскоростных компрессорах | Аннотация похожие документы |
М. Д. Калугин, И. Е. Евдокимов | ||
"... В статье описан разработанный решатель pisoCentralDyMFoam с открытым исходным кодом и исследуется ..." | ||
Том 29, № 2 (2017) | Размер памяти для хранения упорядоченного корневого графа | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
"... В статье рассматривается размер памяти, необходимый и достаточный для хранения графа из класса ..." | ||
Том 27, № 3 (2015) | Языковой сервис FRIS для расширенной поддержки Fortran в Microsoft Visual Studio | Аннотация PDF (Rus) похожие документы |
И. С. Раткевич | ||
"... модель и общий подход к построению языковых сервисов. Подробно рассматриваются вопросы организации данной ..." | ||
Том 26, № 2 (2014) | Обзор методов упрощения полигональных моделей на графическом процессоре | Аннотация PDF (Rus) похожие документы |
В. И. Гонахчян | ||
"... алгоритмы, как правило, основанные на последовательном исключении ребер и граней, имеют высокую ..." | ||
Том 26, № 5 (2014) | Предисловие | Аннотация PDF (Rus) похожие документы |
А. И. Аветисян | ||
"... российской академии наук. В 2014 г. конференция была посвящена различным аспектам технологий параллельных и ..." | ||
Том 25 (2013) | Подход к обнаружению ошибок несоответствия типов в коде на динамических языках программирования | Аннотация PDF (Rus) похожие документы |
И. Е. Бронштейн | ||
"... . Производится обзор статических анализаторов программ на языках Python, Ruby и JavaScript. Показывается, что ..." | ||
Том 24 (2013) | Вывод типов для языка Python | Аннотация PDF (Rus) похожие документы |
И. Е. Бронштейн | ||
Том 24 (2013) | Особенности табличных выражений SQL и их соответствие с концепциями реляционной модели данных | Аннотация PDF (Rus) похожие документы |
И. В. Блудов | ||
"... В данной статье изложены материалы сравнения и критики SQL по поводу соответствия операторов SQL ..." | ||
Том 21 (2011) | Решение проблемы NULL в запросах к реляционной базе данных, используя операторы реляционной алгебры A. | Аннотация PDF (Rus) похожие документы |
И. В. Блудов | ||
"... , полученным из исходного логического выражения b заменой логических операторов AND, OR и NOT на ..." | ||
Том 27, № 2 (2015) | Конечные автоматы в теории алгебраических схем программ | Аннотация PDF (Rus) похожие документы |
Р. И. Подловченко | ||
"... программ, введенных в работах А.А. Ляпунова и А.А. Летичевского. Центральное место в теории таких моделей ..." | ||
Том 29, № 5 (2017) | Распределённые алгоритмы на корневых неориентированных графах | Аннотация PDF (Rus) похожие документы |
И. Бурдонов, А. Косачев, А. Сортов | ||
"... определяется используемая модель, особенностью которой является наличие корня, с которого начинается и в ..." | ||
Том 29, № 6 (2017) | Поиск недостающих вызовов библиотечных функций с использованием машинного обучения | Аннотация PDF (Rus) похожие документы |
И. А. Якимов, А. С. Кузнецов | ||
"... библиотек доступны в литературе и интернет-ресурсах. В данной работе представлена гипотеза о том, что ..." | ||
Том 29, № 6 (2017) | Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем | Аннотация PDF (Rus) похожие документы |
И. С. Захаров, Е. М. Новиков | ||
"... Методы и инструменты автоматической статической верификации позволяют выявить все ошибки искомых ..." | ||
Том 29, № 4 (2017) | Автоматизированный композициональный синтез моделей распределенных систем с помощью паттернов интерфейсов | Аннотация похожие документы |
Р. А. Нестеров, И. А. Ломазова | ||
"... Средства и методы process mining позволяют исследовать различные аспекты процессно-ориентированных ..." | ||
Том 29, № 2 (2017) | Общий подход к решению задач на графах коллективом автоматов | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
"... коллективом автоматов, расположенных в вершинах графа и обменивающихся сообщениями по рёбрам графа. Автоматы ..." | ||
Том 29, № 3 (2017) | ADV_SPM - Формальные модели политики безопасности на практике | Аннотация PDF (Rus) похожие документы |
А. В. Хорошилов, И. В. Щепетков | ||
"... , решаемые этим семейством, и вопросы, которые возникают при попытке интерпретировать его требования. На ..." | ||
Том 30, № 1 (2018) | Сравнение эффективности решателей разреженных систем линейных алгебраических уравнений на основе методов BiCGStab и FGMRES | Аннотация PDF (Rus) похожие документы |
И. К. Марчевский, В. В. Пузикова | ||
"... проводилось на разностных аналогах уравнений Гельмгольца и Пуассона. Системы были взяты из тестовой задачи о ..." | ||
Том 30, № 2 (2018) | Проблема отката в ориентированной распределенной системе | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
"... Для распределенной системы, в основе которой лежит ориентированный граф без кратных ребер и петель ..." | ||
Том 30, № 3 (2018) | К построению модульной модели распределенного интеллекта | Аннотация PDF (Rus) похожие документы |
Ю. Л. Словохотов, И. С. Неретин | ||
"... Описание и моделирование динамики мультиагентных социальных систем методами, заимствованными из ..." | ||
Том 30, № 4 (2018) | Интерактивный специализатор подмножества языка Java, основанный на методе частичных вычислений | Аннотация похожие документы |
И. А. Адамович, Анд. В. Климов | ||
"... Специализация - это оптимизация программ на основе использования наперёд заданной информации о ..." | ||
Том 30, № 3 (2018) | Построение модулей проверки на основе эталонных функциональных моделей при автономной верификации подсистемы связи | Аннотация похожие документы |
Д. А. Лебедев, И. А. Стотланд | ||
"... данных. Контроллеры сопряжения интерфейсов учувствуют в передаче и преобразовании данных между блоками ..." | ||
Том 27, № 4 (2015) | Библиотека ограничений для спецификации индустриальных моделей данных | Аннотация PDF (Rus) похожие документы |
С. В. Морозов, Д. В. Ильин, В. А. Семенов, О. А. Тарлапан | ||
"... паттернов, которая может применяться как при рефакторинге существующих моделей, так и при разработке новых ..." | ||
Том 29, № 4 (2017) | Обнаружение неточно повторяющегося текста в документации программного обеспечения | Аннотация похожие документы |
Л. Д. Кантеев, Ю. О. Костюков, Д. В. Луцив, Д. В. Кознов, М. Н. Смирнов | ||
"... При создании документации программного обеспечения часто применяется копирование и вставка с ..." | ||
Том 26, № 4 (2014) | Автоматическое создание виртуальных кластеров Apache Spark в облачной среде Openstack | Аннотация PDF (Rus) похожие документы |
О. Д. Борисенко, Д. Ю. Турдаков, С. Д. Кузнецов | ||
"... метаданными в средах Openstack и Amazon EC2. ..." | ||
Том 29, № 1 (2017) | Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя | Аннотация PDF (Rus) похожие документы |
М. К. Ермаков, А. Ю. Герасимов, Д. О. Куц, А. А. Новиков | ||
"... доступности и снижения стоимости вычислительных ресурсов становятся экономически выгодны методы ..." | ||
Том 29, № 1 (2017) | Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения | Аннотация PDF (Rus) похожие документы |
С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков | ||
"... и применение параллельных потоков команд. Данные особенности значительно усложняют эффективность ..." | ||
Том 26, № 6 (2014) | Решение автоматных уравнений для временных автоматов относительно параллельной композиции | Аннотация PDF (Rus) похожие документы |
О. В. Кондратьева, Н. В. Евтушенко, А. Р. Кавалли | ||
"... частью системы удовлетворяет заданной спецификации, в случае, когда поведение компонент и спецификация ..." | ||
Том 23 (2012) | «Ленивый» анализ исходного кода на языках С и С++ | Аннотация PDF (Rus) похожие документы |
В. О. Савицкий, Д. В. Сидоров | ||
Том 22 (2012) | Инкрементальный анализ исходного кода на языках C/C++ | Аннотация PDF (Rus) похожие документы |
В. О. Савицкий, Д. В. Сидоров | ||
Том 21 (2011) | WikifyMe: создание модели сравнения для викификаторов | Аннотация PDF (Rus) похожие документы |
С. О. Бартунов, А. А. Болдаков, Д. Ю. Турдаков | ||
"... Поиск взаимосвязей между словами в тестке и статьями “Википедии”- чрезвычайно популярная задача ..." | ||
61 - 90 из 161 результатов | << < 1 2 3 4 5 6 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)