Сортировать по:
Выпуск | Название | |
Том 23 (2012) | О построении расписаний выполнения параллельных задач на группах кластеров с различной производительностью | Аннотация PDF (Rus) похожие документы |
С. Н. Жук | ||
"... Предложен онлайновый алгоритм распределения параллельных задач на группе кластеров с различными ..." | ||
Том 20 (2011) | Транзакционные параллельные СУБД: новая волна | Аннотация PDF (Rus) похожие документы |
С. Д. Кузнецов | ||
"... соображений свойства ACID частично ослабляются (но совсем не в связи с "теоремой" CAP). ..." | ||
Том 27, № 2 (2015) | Использование многопоточных процессов в среде ParJava | Аннотация PDF (Rus) похожие документы |
М. С. Акопян | ||
"... В работе описывается подход, применяемый в ParJava по разработке многопроцессно-многопоточных (МПМП ..." | ||
Том 18 (2010) | Некоторые вопросы автоматизации построения тестовых программ для модулей обработки переходов микропроцессоров | Аннотация PDF (Rus) похожие документы |
А. С. Камкин | ||
"... В работе рассматриваются вопросы автоматизированного построения тестовых программ, предназначенных ..." | ||
Том 18 (2010) | Технология создания гетерогенных трасс, их анализа и генерации из них отчётов | Аннотация PDF (Rus) похожие документы |
С. Г. Грошев | ||
"... В статье описывается архитектура модульной системы трассировки (журнализации, логгирования) и ..." | ||
Том 21 (2011) | Разработка параллельной СУБД на основе PostgreSQL | Аннотация PDF (Rus) похожие документы |
К. С. Пан | ||
"... PargreSQL для многопроцессорных вычислительных систем с распределенной памятью. PargreSQL основана на СУБД с ..." | ||
Том 19 (2010) | Год эпохи перемен в технологии баз данных | Аннотация PDF (Rus) похожие документы |
С. Д. Кузнецов | ||
"... В 2007 г. Майкл Стоунбрейкер и его коллеги опубликовали несколько статей, в которых убедительно ..." | ||
Том 19 (2010) | MapReduce: внутри, снаружи или сбоку от параллельных СУБД? | Аннотация PDF (Rus) похожие документы |
С. Д. Кузнецов | ||
"... коммуникационной инфраструктуры новой параллельной СУБД и применяется автономно в симбиотическом единстве с ..." | ||
Том 29, № 6 (2017) | Поиск недостающих вызовов библиотечных функций с использованием машинного обучения | Аннотация PDF (Rus) похожие документы |
И. А. Якимов, А. С. Кузнецов | ||
"... определенных библиотечных функций с использование машинного обучения. В целях проверки данной гипотезы была ..." | ||
Том 29, № 6 (2017) | Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем | Аннотация PDF (Rus) похожие документы |
И. С. Захаров, Е. М. Новиков | ||
"... видов в целевых программах при выполнении определенных предположений даже в условиях отсутствия полных ..." | ||
Том 29, № 2 (2017) | Общий подход к решению задач на графах коллективом автоматов | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
"... коллективом автоматов, расположенных в вершинах графа и обменивающихся сообщениями по рёбрам графа. Автоматы ..." | ||
Том 30, № 2 (2018) | Проблема отката в ориентированной распределенной системе | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
"... Для распределенной системы, в основе которой лежит ориентированный граф без кратных ребер и петель ..." | ||
Том 28, № 6 (2016) | Метод автоматического определения возраста пользователей с помощью социальных связей | Аннотация PDF (Rus) похожие документы |
А. Г. Гомзин, С. Д. Кузнецов | ||
"... предоставляют пользователям возможность заполнять свои профили, которые могут включать в себя возраст. В связи с ..." | ||
Том 30, № 3 (2018) | К построению модульной модели распределенного интеллекта | Аннотация PDF (Rus) похожие документы |
Ю. Л. Словохотов, И. С. Неретин | ||
"... . Распределенный интеллект социальных систем следует непосредственно учитывать в их экспериментальных и ..." | ||
Том 30, № 3 (2018) | Варианты задач китайского почтальона и их решения через преобразование в задачи маршрутизации | Аннотация похожие документы |
М. К. Горденко, С. М. Авдошин | ||
"... В статье описаны проблемы маршрутизации. Показано, что почти все проблемы маршрутизации дуг могут ..." | ||
Том 30, № 3 (2018) | Анализ математических постановок задачи маршрутизации с ограничением по грузоподъемности и методов их решения | Аннотация похожие документы |
Е. Н. Береснева, С. М. Авдошин | ||
"... заключается в нахождении множества оптимальных замкнутых маршрутов с целью развозки товаров клиентам ..." | ||
Том 30, № 5 (2018) | Подход к анализу исполняемого кода на основе восстановления программной архитектуры | Аннотация PDF (Rus) похожие документы |
Д. С. Кононов | ||
"... В статье рассматриваются новый подход к получению дополнительной информации об исследуемом ..." | ||
Том 30, № 5 (2018) | Получение содержимого удаляемых и изменяемых файлов в среде динамического анализа исполняемых файлов Drakvuf | Аннотация PDF (Rus) похожие документы |
С. Г. Ковалёв | ||
"... известной среды динамического анализа с открытым исходным кодом Drakvuf. В Drakvuf изначально реализована ..." | ||
Том 30, № 5 (2018) | Проверка функциональных свойств смарт-контрактов методом символьной верификации модели | Аннотация PDF (Rus) похожие документы |
Е. С. Шишкин | ||
"... В статье рассматривается подход к проверке функциональных свойств смарт-контрактов платформы ..." | ||
Том 26, № 1 (2014) | Архитектура и особенности реализации платформы UniHUB в модели облачных вычислений на базе открытого пакета OpenStack | Аннотация PDF (Rus) похожие документы |
О. И. Самоваров, С. С. Гайсарян | ||
"... различных аппаратных средств (суперкомпьютеров, высокопроизводительных кластеров, в том числе, с ..." | ||
Том 27, № 3 (2015) | Метод генерации тестовых программ на основе формальных спецификаций механизмов кэширования и трансляции адресов | Аннотация PDF (Rus) похожие документы |
А. С. Камкин, А. С. Проценко, А. Д. Татарников | ||
"... В данной работе предложен метод генерации тестовых программ для функциональной верификации блока ..." | ||
Том 28, № 6 (2016) | Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK | Аннотация PDF (Rus) похожие документы |
А. С. Камкин, А. М. Коцыняк, А. С. Проценко, А. Д. Татарников, М. М. Чупилко | ||
"... ARM - это семейство микропроцессорных архитектур, разработанных в одноименной компании. Новейшая ..." | ||
Том 30, № 2 (2018) | Организация полностью самопроверяемой схемы встроенного контроля на основе метода логического дополнения до равновесного кода «2 из 4» | Аннотация PDF (Rus) похожие документы |
Д. В. Ефанов, В. В. Сапожников, Вл. В. Сапожников, Д. В. Пивоваров | ||
"... Рассматривается задача синтеза самопроверяемой схемы встроенного контроля с оптимизацией ..." | ||
Том 29, № 6 (2017) | Программный пакет для расчета аэродинамических характеристик летательных аппаратов | Аннотация похожие документы |
В. Н. Котеров, В. М. Кривцов, В. И. Зубов | ||
"... потоков газа в сложных устройствах. Модель математического потока, используемая в пакете, основана на ..." | ||
Том 28, № 1 (2016) | Основанный на резюме метод реализации произвольных контекстно-чувствительных проверок при анализе исходного кода посредством символьного выполнения | Аннотация PDF (Rus) похожие документы |
А. В. Дергачёв, А. В. Сидорин | ||
"... построении и применении резюме в процессе анализа исходного кода (по сравнению с анализом низкоуровневого ..." | ||
Том 28, № 1 (2016) | Перекрытие коммуникаций и вычислений в итерационных методах решения систем линейных уравнений на GPU | Аннотация PDF (Rus) похожие документы |
В. А. Платонов, А. В. Монаков | ||
"... станадартных задач пакета OpenFOAM с расчётными сетками в 2 и 4 миллиона ячеек c использованием нескольких ..." | ||
Том 28, № 1 (2016) | Свободное программное обеспечение для моделирования жидкости со свободной поверхностью | Аннотация PDF (Rus) похожие документы |
Е. В. Давыдова, В. Н. Корчагова | ||
"... комплексов с открытым исходным кодом, в которых эти методы реализованы, а также выявление границ применимости ..." | ||
Том 28, № 4 (2016) | Поддержка стандарта OpenMP 4.0 для архитектуры NVIDIA PTX в компиляторе GCC | Аннотация PDF (Rus) похожие документы |
А. В. Монаков, В. А. Иванишин | ||
"... с учетом ограничений архитектуры PTX. Поскольку реализация опирается на существующую в GCC ..." | ||
Том 29, № 4 (2017) | Инструмент для анализа поведения вполне структурированных систем переходов | Аннотация похожие документы |
Л. В. Дворянский, В. Е. Михайлов | ||
"... работы, существует большая потребность в эмпирических изучении вполне структурированных систем переходов ..." | ||
Том 29, № 5 (2017) | Обещающая компиляция в ARMv8.3 | Аннотация PDF (Rus) похожие документы |
А. В. Подкопаев, О. Лахав, В. Вафеядис | ||
"... использована в стандарте некоторого промышленного языка программирования, должна быть доказана корректность ..." | ||
151 - 180 из 408 результатов | << < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)