Сортировать по:
Выпуск | Название | |
Том 30, № 5 (2018) | Платформа межпроцедурного статического анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
А. К. Асланян | ||
"... помеченных данных, анализа памяти и т.д. Реализованный подход аннотации функций позволяет распространять ..." | ||
Том 30, № 5 (2018) | Спецификация модели управления доступом на языке темпоральной логики действий Лэмпорта | Аннотация PDF (Rus) похожие документы |
А. В. Козачок | ||
"... взаимодействующих субъектов и объектов, а также корректность процедуры назначения прав доступа). ..." | ||
Том 30, № 5 (2018) | Онтологический репозиторий для CFD-расчетов | Аннотация 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) похожие документы |
А. А. Алексеев, Н. В. Лукашевич | ||
Том 22 (2012) | Восстановление структуры бинарных данных по трассам программ | Аннотация PDF (Rus) похожие документы |
А. И. Аветисян, А. И. Гетьман | ||
"... к решению данной задачи, а также описывается реализация этих подходов в рамках системы ..." | ||
Том 23 (2012) | Тестирование драйверов файловых систем в ОС Linux | Аннотация PDF (Rus) похожие документы |
А. В. Цыварев, В. А. Мартиросян | ||
"... хранения, условия нехватки памяти, а также выявлять ошибки, связанные с утечкой ресурсов. ..." | ||
Том 23 (2012) | Унификация программ | Аннотация PDF (Rus) похожие документы |
Т. А. Новикова, В. А. Захаров | ||
Том 22 (2012) | Комбинированный (статический и динамический) анализ бинарного кода | Аннотация PDF (Rus) похожие документы |
А. Ю. Тихонов, А. И. Аветисян | ||
Том 22 (2012) | Перспективы виртуализации высокопроизводительных систем архитектуры x64 | Аннотация PDF (Rus) похожие документы |
А. О. Кудрявцев, В. К. Кошелев, А. И. Аветисян | ||
"... производительность системы памяти (критично только для узкого класса задач), расходы при виртуализации устройств, а ..." | ||
Том 20 (2011) | Нацеленная генерация данных для тестирования приложений над базами данных | Аннотация PDF (Rus) похожие документы |
Е. А. Костычев, В. А. Омельченко, С. В. Зеленов | ||
Том 22 (2012) | Системы рекомендаций: обзор современных подходов | Аннотация PDF (Rus) похожие документы |
А. Г. Гомзин, А. В. Коршунов | ||
Том 22 (2012) | Полиномиальный по времени алгоритм проверки логико-термальной эквивалентности программ | Аннотация PDF (Rus) похожие документы |
В. А. Захаров, Т. А. Новикова | ||
Том 21 (2011) | Метод автоматического восстановления переменных из трассы исполнения программы | Аннотация PDF (Rus) похожие документы |
М. А. Климушенкова, В. А. Макаров | ||
Том 21 (2011) | Применение алгебры подстановок для унификации программ | Аннотация PDF (Rus) похожие документы |
В. А. Захаров, Т. А. Новикова | ||
Том 20 (2011) | Развитие taint-анализа для решения задачи поиска программных закладок | Аннотация PDF (Rus) похожие документы |
А. Ю. Тихонов, А. И. Аветисян | ||
Том 29, № 3 (2017) | Сравнительный анализ двух подходов к статическому анализу помеченных данных | Аннотация PDF (Rus) похожие документы |
М. В. Беляев, Н. В. Шимчик, В. Н. Игнатьев, А. А. Белеванцев | ||
"... анализатора для поиска ошибок в программах на С#, а также проведено сравнение этих подходов в различных ..." | ||
Том 30, № 1 (2018) | Асинхронные распределенные алгоритмы на статических и динамических ориентированных корневых графах | Аннотация похожие документы |
И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин, А. Н. Томилин, В. З. Шнитман | ||
Том 26, № 1 (2014) | Тестирование операционных систем | Аннотация PDF (Rus) похожие документы |
Е. А. Герлиц, В. В. Кулямин, А. В. Максимов, А. К. Петренко, А. В. Хорошилов, А. В. Цыварев | ||
"... операционной системы Linux, а также ряда операционных систем реального времени. ..." | ||
Том 23 (2012) | Виртуальная ГИС-лаборатория как инструмент анализа пространственных данных | Аннотация PDF (Rus) похожие документы |
А. В. Кошкарев, А. А. Медведев, Ю. С. Вишняков, С. А. Поликарпов, А. Н. Сотников | ||
Том 28, № 3 (2016) | Применение ПЛИС для расчета деполимеризации микротрубочки методом броуновской динамики | Аннотация PDF (Rus) похожие документы |
Ю. А. Румянцев, П. Н. Захаров, Н. А. Абрашитова, А. В. Шматок, В. О. Рыжих, Н. Б. Гудимчук, Ф. И. Атауллаханов | ||
"... графического процессора - с помощью OpenCL, а реализация на ПЛИС была получена посредством высокоуровневого ..." | ||
Том 27, № 6 (2015) | Агрессивная инлайн-подстановка функций для VLIW-архитектур | Аннотация PDF (Rus) похожие документы |
А. В. Ермолицкий, М. И. Нейман-Заде, О. А. Четверина, А. Л. Маркин, В. Ю. Волконский | ||
271 - 300 из 410 результатов | << < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)