Сортировать по:
Выпуск | Название | |
Том 20, № 2 (2013) | Ассоциативный параллельный алгоритм для динамической обработки дерева кратчайших путей | Аннотация PDF (Rus) похожие документы |
Анна Шмилевна Непомнящая | ||
"... В работе строится эффективный ассоциативный параллельный алгоритм для динамической обработки ..." | ||
Том 21, № 2 (2014) | О поддержке рекурсивно-параллельного программирования в .NET Framework | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
"... Рассматриваются программные компоненты для поддержки рекурсивно-параллельного программирования в ..." | ||
Том 22, № 2 (2015) | Оценка требуемых скоростей передачи данных при организации беспроводной связи между ядрами центрального процессора | Аннотация PDF (Rus) похожие документы |
Мария Сергеевна Комар, Виталий Игоревич Петров, Каролина Дмитриевна Борунова, Дмитрий Александрович Молчанов, Евгений Андреевич Кучерявый | ||
"... Рассматривается современная архитектура процессоров общего назначения, ее основные компоненты ..." | ||
Том 23, № 6 (2016) | Построение каскадной параллельной композиции временных автоматов с использованием BALM-II | Аннотация PDF (Rus) похожие документы |
М. Л. Громов, Н. В. Шабалдина | ||
"... В данной работе мы рассмотрели задачу построения каскадной параллельной композиции временных ..." | ||
Том 25, № 2 (2018) | О рекурсивно-параллельном алгоритме решения задачи о рюкзаке | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
"... Предлагается эффективный параллельный алгоритм решения NP-полной задачи о рюкзаке в ее исходном ..." | ||
Том 24, № 4 (2017) | О скоростях передачи данных на шинах между кеш-памятью второго и третьего уровней и между процессором и оперативной памятью в современных компьютерах | Аннотация PDF (Rus) похожие документы |
Мария Сергеевна Комар | ||
"... В данной работе рассматривается архитектура используемых в настоящее время центральных процессоров ..." | ||
Том 29, № 1 (2022) | Методы преобразования параллелизма в процессе высокоуровневого синтеза СБИС | Аннотация PDF (Rus) похожие документы |
Игорь Николаевич Рыженко, Олег Владимирович Непомнящий, Александр Иванович Легалов, Владимир Викторович Шайдуров | ||
"... разработки методов и алгоритмов трансформации, функционально-потоковых параллельных программ в программы на ..." | ||
Том 19, № 2 (2012) | Генерация случайных чисел и параллельных потоков случайных чисел для расчетов Монте-Карло | Аннотация PDF (Rus) похожие документы |
Лев Юрьевич Бараш, Лев Николаевич Щур | ||
"... качества, а также генерации параллельных потоков случайных чисел, для использования в расчетах Монте-Карло ..." | ||
Том 19, № 5 (2012) | Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования | Аннотация PDF (Rus) похожие документы |
Мария Сергеевна Кропачева, Александр Иванович Легалов | ||
"... Работа посвящена доказательству корректности параллельных программ на основе аксиоматического ..." | ||
Том 21, № 6 (2014) | Управляемые тупики в параллельных ресурсно-ограниченных потоках работ | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин, Надежда Юрьевна Панфилова | ||
"... параллельно. Подобная параллельная композиция в некоторых случаях может порождать дополнительные тупики ..." | ||
Том 23, № 4 (2016) | Об оптимизации и распараллеливании алгоритма Литтла для решения задачи коммивояжера | Аннотация PDF (Rus) похожие документы |
В. В. Васильчиков | ||
"... усовершенствованного алгоритма. Другой ресурс для ускорения – это разработка параллельного алгоритма. Для задач ..." | ||
Том 27, № 1 (2020) | Параллельный алгоритм решения задачи об изоморфизме графов | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
"... В данной работе предлагается параллельный алгоритм решения задачи об изоморфизме графов. Целевым ..." | ||
Том 28, № 3 (2021) | Исправление к статье: В. В. Васильчиков, «Параллельный алгоритм решения задачи об изоморфизме графов», Моделирование и анализ информационных систем, Том 27, №1, с. 86–94, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-1-86-94 | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
"... В статье В.В. Васильчикова «Параллельный алгоритм решения задачи об изоморфизме графов ..." | ||
Том 29, № 1 (2022) | Рекурсивно-параллельный алгоритм решения задачи об изоморфизме граф-подграф | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
"... В работе предложен параллельный алгоритм решения задачи об изоморфизме граф-подграф и произведено ..." | ||
Том 28, № 4 (2021) | Математическая модель параллельных программ и основанный на ней подход к верификации MPI-программ | Аннотация PDF (Rus) похожие документы |
Андрей Михайлович Миронов | ||
"... В работе излагается новая математическая модель параллельных программ, на базе которой можно в ..." | ||
Том 28, № 4 (2021) | Подход к автонастройке параллельных программ методом проверки моделей | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина, Сергей Петрович Горлач | ||
"... программирования как обычных многоядерных процессоров (CPU), так и массивно-параллельных графических процессоров ..." | ||
Том 19, № 4 (2012) | Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах | Аннотация PDF (Rus) похожие документы |
Александр Иванович Легалов, Олег Владимирович Непомнящий, Иван Васильевич Матковский, Мария Сергеевна Кропачева | ||
"... Анализируются особенности преобразования функционально-потоковых параллельных программ в программы ..." | ||
Том 30, № 2 (2023) | Рекурсивно-параллельный алгоритм поиска максимального общего подграфа | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
"... последовательный и параллельный вариант алгоритма, их программная реализация и произведено экспериментальное ..." | ||
Том 22, № 4 (2015) | Автоматизация формальной верификации программ на языке Пифагор | Аннотация PDF (Rus) похожие документы |
М. С. Ушакова, А. И. Легалов | ||
"... дедуктивный анализ не нашёл широкого применения для верификации параллельных программ из-за высокой сложности ..." | ||
Том 25, № 4 (2018) | Оптимизация инварианта цикла в языке Пифагор | Аннотация PDF (Rus) похожие документы |
Владимир Сергеевич Васильев, Александр Иванович Легалов | ||
"... цикла, применительно к функционально-потоковой модели параллельных вычислений, реализованной в языке ..." | ||
Том 25, № 4 (2018) | Верификация программ со взаимной рекурсией на языке Пифагор | Аннотация PDF (Rus) похожие документы |
Мария Сергеевна Ушакова, Александр Иванович Легалов | ||
"... -потокового параллельного программирования Пифагор. В языке используется модель представления программы в виде ..." | ||
Том 27, № 2 (2020) | Динамически изменяющийся параллелизм с асинхронно-последовательными потоками данных | Аннотация PDF (Rus) похожие документы |
Александр Иванович Легалов, Иван Васильевич Матковский, Мария Сергеевна Ушакова, Дарья Сергеевна Романова | ||
"... Предлагается статически типизированная версия модели функционально-потоковых параллельных ..." | ||
Том 28, № 4 (2021) | На пути к автоматической дедуктивной верификации C-программ с Sisal-циклами в системе C-lightVer | Аннотация PDF (Rus) похожие документы |
Дмитрий Александрович Кондратьев | ||
"... параллельного программирования (CPPS) также разрабатывается в Институте систем информатики СО РАН. Cloud Sisal ..." | ||
Том 28, № 2 (2021) | Трансформация функционально-потоковых параллельных программ в императивные | Аннотация PDF (Rus) похожие документы |
Владимир Сергеевич Васильев, Александр Иванович Легалов, Сергей Викторович Зыков | ||
"... Функционально-потоковая парадигма параллельного программирования ориентирована на разработку ..." | ||
Том 29, № 1 (2022) | Алгоритм углового сверхразрешения с использованием разложения Холецкого и его реализация на основе технологии параллельных вычислений | Аннотация PDF (Rus) похожие документы |
Сергей Евгеньевич Мищенко, Николай Витальевич Шацкий | ||
"... оценки быстродействия предложенного и исходного алгоритма с использованием технологии параллельных ..." | ||
Том 25, № 5 (2018) | Этюд об устранении рекурсии | Аннотация похожие документы |
Николай Вячеславович Шилов | ||
1 - 26 из 26 результатов |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)