Сортировать по:
Выпуск | Название | |
Том 29, № 2 (2017) | Общий подход к решению задач на графах коллективом автоматов | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
"... распараллеливания, в которой время срабатывания автомата считается нулевым, а ёмкость ребра неограниченной. Это ..." | ||
Том 29, № 3 (2017) | ADV_SPM - Формальные модели политики безопасности на практике | Аннотация PDF (Rus) похожие документы |
А. В. Хорошилов, И. В. Щепетков | ||
Том 29, № 3 (2017) | Комплекс алгоритмов функционирования системы безопасного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
А. В. Козачок, Е. В. Кочетков | ||
Том 29, № 3 (2017) | Обзор методов динамической компиляции запросов | Аннотация PDF (Rus) похожие документы |
Е. Ю. Шарыгин, Р. А. Бучацкий | ||
Том 30, № 1 (2018) | Методы деанонимизации пользователей биткоин | Аннотация похожие документы |
С. М. Авдошин, А. В. Лазаренко | ||
Том 30, № 2 (2018) | Обзор расширяемого протокола аутентификации и его методов | Аннотация PDF (Rus) похожие документы |
А. В. Никешин, В. З. Шнитман | ||
"... предоставляющего эффективный механизм встраивания в него различных методов аутентификации, а также обзор собственно ..." | ||
Том 30, № 2 (2018) | Проблема отката в ориентированной распределенной системе | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
"... . Раздел 3 содержит основные определения и обозначения, а раздел 4 - постановку задачи. В разделе 5 ..." | ||
Том 30, № 2 (2018) | Преобразование типизированных функций в реляционную форму | Аннотация PDF (Rus) похожие документы |
П. А. Лозов, Д. Ю. Булычев | ||
"... преобразования типизированных функций в реляционную форму, а также доказательство его статической и динамической ..." | ||
Том 28, № 6 (2016) | Метод автоматического определения возраста пользователей с помощью социальных связей | Аннотация PDF (Rus) похожие документы |
А. Г. Гомзин, С. Д. Кузнецов | ||
Том 30, № 3 (2018) | Скрытая отладка программ отладчиком WinDbg в эмуляторе Qemu | Аннотация похожие документы |
М. А. Абакумов, П. М. Довгалюк | ||
Том 30, № 3 (2018) | Эмуляция ввода-вывода оборудования с отображением в ОЗУ внутри ядер операционных систем | Аннотация похожие документы |
В. Ю. Чепцов, А. В. Хорошилов | ||
Том 30, № 3 (2018) | К проверке строго детерминированного поведения временных конечных автоматов | Аннотация похожие документы |
Е. М. Винарский, В. А. Захаров | ||
"... реального времени для входных и выходных сигналов указывается время их поступления и выдачи, а переходы ..." | ||
Том 30, № 4 (2018) | Толерантный синтаксический анализ с использованием специального символа «Any»: алгоритм и практическое применение | Аннотация похожие документы |
А. В. Головешкин, С. С. Михалкович | ||
Том 30, № 4 (2018) | Интерактивный специализатор подмножества языка Java, основанный на методе частичных вычислений | Аннотация похожие документы |
И. А. Адамович, Анд. В. Климов | ||
Том 30, № 4 (2018) | Библиотека программирования гетерогенных архитектур | Аннотация похожие документы |
Г. В. Киргизов, Я. А. Кириленко | ||
Том 30, № 5 (2018) | Платформа межпроцедурного статического анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
А. К. Асланян | ||
Том 30, № 5 (2018) | Спецификация модели управления доступом на языке темпоральной логики действий Лэмпорта | Аннотация PDF (Rus) похожие документы |
А. В. Козачок | ||
"... взаимодействующих субъектов и объектов, а также корректность процедуры назначения прав доступа). ..." | ||
Том 30, № 5 (2018) | Онтологический репозиторий для CFD-расчетов | Аннотация PDF (Rus) похожие документы |
В. А. Зенкин | ||
Том 28, № 4 (2016) | Динамическая компиляция выражений в SQL-запросах для СУБД PostgreSQL | Аннотация PDF (Rus) похожие документы |
Е. Ю. Шарыгин, Р. А. Бучацкий, Л. В. Скворцов, Р. А. Жуйков, Д. М. Мельник | ||
"... доступа к атрибутам, заключающаяся в вычислении смещений атрибутов кортежа во время компиляции запроса, а ..." | ||
Том 27, № 4 (2015) | Библиотека ограничений для спецификации индустриальных моделей данных | Аннотация PDF (Rus) похожие документы |
С. В. Морозов, Д. В. Ильин, В. А. Семенов, О. А. Тарлапан | ||
Том 29, № 4 (2017) | Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей | Аннотация похожие документы |
М. М. Чупилко, А. С. Камкин, М. С. Лебедев, С. А. Смолов | ||
Том 26, № 2 (2014) | Перспективные схемы пространственно-временной индексации для визуального моделирования масштабных индустриальных проектов | Аннотация PDF (Rus) похожие документы |
В. А. Золотов, В. А. Семенов | ||
"... проблемы эффективности и масштабируемости систем данного класса, а также пути решения на основе индексации ..." | ||
Том 26, № 2 (2014) | Двусторонняя унификация программ и ее применение для задач рефакторинга | Аннотация PDF (Rus) похожие документы |
Т. А. Новикова, В. А. Захаров | ||
Том 26, № 3 (2014) | Современные модели и методы теории расписаний | Аннотация PDF (Rus) похожие документы |
А. С. Аничкин, В. А. Семенов | ||
"... программистами проблему построения быстрого алгоритма, а также его эффективной программой реализации с учетом ..." | ||
Том 26, № 3 (2014) | Оптимизация метода решения линейных систем уравнений в OpenFOAM для платформы MPI + CUDA | Аннотация PDF (Rus) похожие документы |
А. В. Монаков, В. А. Платонов | ||
Том 26, № 5 (2014) | Применение графических ускорителей для расчета гидродинамических характеристик гребных винтов в пакете OpenFOAM | Аннотация PDF (Rus) похожие документы |
Б. И. Краснопольский, А. В. Медведев, А. Ю. Чулюнин | ||
"... , комбинирующию модели MPI и Posix Shared Memory, а также допускают использование графических ускорителей NVIDIA ..." | ||
Том 25 (2013) | Исследование и развитие метода декомпозиции для анализа больших пространственных данных | Аннотация PDF (Rus) похожие документы |
В. А. Золотов, В. А. Семенов | ||
Том 27, № 6 (2015) | Сравнительный анализ методов оценки производительности многоуровневых облачных приложений | Аннотация PDF (Rus) похожие документы |
Г. Р. Гарай, А. Черных, А. Ю. Дроздов | ||
Том 24 (2013) | Современные методы поиска и индексации многомерных данных в приложениях моделирования больших динамических сцен | Аннотация PDF (Rus) похожие документы |
В. А. Золотов, В. А. Семенов | ||
"... подобных схем, а также проводится их сравнительный анализ в контексте комплексных требований, предъявляемых ..." | ||
Том 23 (2012) | Алгоритмы управления буферным пулом СУБД при работе с флэш-накопителями | Аннотация PDF (Rus) похожие документы |
С. Д. Кузнецов, А. А. Прохоров | ||
"... - более высокая скорость чтения и записи, а также значительно меньшее время доступа к данным. Однако ..." | ||
271 - 300 из 416 результатов | << < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)