Preview

Моделирование и анализ информационных систем

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 21, № 2 (2014) О поддержке рекурсивно-параллельного программирования в .NET Framework Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... Рассматриваются программные компоненты для поддержки рекурсивно-параллельного программирования ..."
 
Том 25, № 2 (2018) О рекурсивно-параллельном алгоритме решения задачи о рюкзаке Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... алгоритм решения задачи, основанный на парадигме рекурсивно-параллельных вычислений. Он представляется нам ..."
 
Том 29, № 1 (2022) Рекурсивно-параллельный алгоритм решения задачи об изоморфизме граф-подграф Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... эксперимента было исследование ускорения, достигаемого за счет рекурсивно-параллельной организации вычислений ..."
 
Том 27, № 2 (2020) Динамически изменяющийся параллелизм с асинхронно-последовательными потоками данных Аннотация  PDF (Rus)  похожие документы
Александр Иванович Легалов, Иван Васильевич Матковский, Мария Сергеевна Ушакова, Дарья Сергеевна Романова
"... Предлагается статически типизированная версия модели функционально-потоковых параллельных ..."
 
Том 30, № 2 (2023) Рекурсивно-параллельный алгоритм поиска максимального общего подграфа Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... исследование ускорения, достигаемого за счет рекурсивно"=параллельной организации вычислений. Для эксперимента ..."
 
Том 27, № 1 (2020) Параллельный алгоритм решения задачи об изоморфизме графов Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... исследование ускорения, достигаемого за счет рекурсивно-параллельной организации вычислений. В качестве ..."
 
Том 25, № 4 (2018) Оптимизация инварианта цикла в языке Пифагор Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич Васильев, Александр Иванович Легалов
"... цикла, применительно к функционально-потоковой модели параллельных вычислений, реализованной в языке ..."
 
Том 15, № 1 (2008) Среда рекурсивно-параллельного программирования для Win32 Аннотация  PDF (Rus)  похожие документы
В. В. Васильчиков
"... Рассматривается новая версия интегрированной среды рекурсивно-параллельного (РП-) программирования ..."
 
Том 23, № 4 (2016) Об оптимизации и распараллеливании алгоритма Литтла для решения задачи коммивояжера Аннотация  PDF (Rus)  похожие документы
В. В. Васильчиков
"... представляется использование рекурсивно-параллельной организации вычислений. В нашем случае хорошим выбором ..."
 
Том 19, № 2 (2012) Генерация случайных чисел и параллельных потоков случайных чисел для расчетов Монте-Карло Аннотация  PDF (Rus)  похожие документы
Лев Юрьевич Бараш, Лев Николаевич Щур
"... качества, а также генерации параллельных потоков случайных чисел, для использования в расчетах Монте-Карло ..."
 
Том 29, № 1 (2022) Методы преобразования параллелизма в процессе высокоуровневого синтеза СБИС Аннотация  PDF (Rus)  похожие документы
Игорь Николаевич Рыженко, Олег Владимирович Непомнящий, Александр Иванович Легалов, Владимир Викторович Шайдуров
"... разработки методов и алгоритмов трансформации, функционально-потоковых параллельных программ в программы ..."
 
Том 25, № 4 (2018) Верификация программ со взаимной рекурсией на языке Пифагор Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Ушакова, Александр Иванович Легалов
"... -потокового параллельного программирования Пифагор. В языке используется модель представления программы в виде ..."
 
Том 15, № 1 (2008) Библиотека параллельного исполнения rpC-программ для Win32 Аннотация  PDF (Rus)  похожие документы
В. В. Васильчиков, А. В. Шубин
"... существенной частью проекта по созданию и развитию программных средств поддержки рекурсивно-параллельного ..."
 
Том 29, № 1 (2022) Алгоритм углового сверхразрешения с использованием разложения Холецкого и его реализация на основе технологии параллельных вычислений Аннотация  PDF (Rus)  похожие документы
Сергей Евгеньевич Мищенко, Николай Витальевич Шацкий
"... оценки быстродействия предложенного и исходного алгоритма с использованием технологии параллельных ..."
 
Том 28, № 2 (2021) Трансформация функционально-потоковых параллельных программ в императивные Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич Васильев, Александр Иванович Легалов, Сергей Викторович Зыков
"... , что не позволяет эффективно выполнять вычисления на реальных параллельных вычислительных системах ..."
 
Том 22, № 6 (2015) О преподавании формальных моделей и алгоритмов анализа параллельных систем Аннотация  PDF (Rus)  похожие документы
Н. В. Шилов
"... В настоящее время наблюдается огромный практический интерес к параллельному программированию. Этот ..."
 
Том 18, № 3 (2011) Динамическое программирование в обобщенной задаче курьера с внутренними работами: элементы параллельной структуры Аннотация  PDF (Rus)  похожие документы
Алексей Михайлович Григорьев, Евгений Евгеньевич Иванко, Александр Георгиевич Ченцов
"... , использующая параллельные вычисления и не проигрывающая в качестве. Предлагаемая процедура реализована ..."
 
Том 28, № 4 (2021) На пути к автоматической дедуктивной верификации C-программ с Sisal-циклами в системе C-lightVer Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев
"... параллельного программирования (CPPS) также разрабатывается в Институте систем информатики СО РАН. Cloud Sisal ..."
 
Том 23, № 2 (2016) Коллективные потоковые вычисления: реляционные модели и алгоритмы Аннотация  PDF (Rus)  похожие документы
Д. А. Усталов
"... реляционных отношений путем параллельного выполнения этапов разметки микрозадачами и этапов автоматической ..."
 
Том 23, № 6 (2016) Подход к верификации семейства мультиагентных систем разрешения конфликтов Аннотация  PDF (Rus)  похожие документы
Н. О. Гаранина, Е. А. Сидорова
"... задают сети параллельных композиций этих процессов. Данный метод верификации основан на техниках ..."
 
Том 25, № 6 (2018) Даже простые процессы π-исчисления трудны для анализа Аннотация  PDF (Rus)  похожие документы
Марат Мазен Аббас, Владимир Анатольевич Захаров
"... Математические модели распределенных вычислений, построенные на основе исчисления мобильных ..."
 
Том 24, № 1 (2017) Новые оценки числовых величин, связанных с симплексом Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский, Алексей Юрьевич Ухалов
"... максимальную длину отрезка, принадлежащего (S) и параллельного (i)-й координатной оси. Формулы для ..."
 
Том 23, № 5 (2016) О числовых характеристиках симплекса и их оценках Аннотация  PDF (Rus)  похожие документы
М. В. Невский, А. Ю. Ухалов
"... длина отрезка, принадлежащего (S) и параллельного (i)-й координатной оси. Применяются формулы для ..."
 
1 - 23 из 23 результатов

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)