Поиск


Сортировать по:     
 
Выпуск Название
 
Том 23, № 4 (2016) Об оптимизации и распараллеливании алгоритма Литтла для решения задачи коммивояжера Аннотация  PDF (Rus)  похожие документы
В. В. Васильчиков
"... В данной работе рассматриваются способы ускорения решения NP-полной задачи коммивояжера ..."
 
Том 15, № 1 (2008) Среда рекурсивно-параллельного программирования для Win32 Аннотация  PDF (Rus)  похожие документы
В. В. Васильчиков
"... RpmShell, разработанная для использования в операционных системах Win32. ..."
 
Том 15, № 1 (2008) Библиотека параллельного исполнения rpC-программ для Win32 Аннотация  PDF (Rus)  похожие документы
В. В. Васильчиков, А. В. Шубин
"... , написанных на языке rpC, предназначенная для использования в операционных системах Win32. Эта работа является ..."
 
Том 14, № 2 (2007) SR-группы порядка 2npm с диэдральной 2-силовской подгруппой Аннотация  PDF (Rus)  похожие документы
В. В. Янишевский
 
Том 21, № 2 (2014) О поддержке рекурсивно-параллельного программирования в .NET Framework Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... Рассматриваются программные компоненты для поддержки рекурсивно-параллельного программирования в ..."
 
Том 25, № 2 (2018) О рекурсивно-параллельном алгоритме решения задачи о рюкзаке Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... Предлагается эффективный параллельный алгоритм решения NP-полной задачи о рюкзаке в ее исходном ..."
 
Том 21, № 6 (2014) От редакторов специального выпуска Аннотация  PDF (Rus)  похожие документы
В. А. Непомнящий, В. А. Соколов
"... От редакторов специального выпуска В.А. Непомнящий, В.А. Соколов Данный выпуск представляет ..."
 
Том 22, № 6 (2015) Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах Аннотация  PDF (Rus)  похожие документы
И. В. Марьясов, В. А. Непомнящий
"... многих случаях является трудной задачей. В этой статье мы рассматриваем язык C-light, который является ..."
 
Том 23, № 2 (2016) Криптосистема на индуцированных групповых кодах Аннотация  PDF (Rus)  похожие документы
В. М. Деундяк, Ю. В. Косолапов
"... декодирования. Эта особенность используется в настоящей работе для построения кодовой криптосистемы с открытым ..."
 
Том 23, № 5 (2016) Сингулярно возмущенная эллиптическая задача Дирихле с кратным корнем вырожденного уравнения Аннотация  PDF (Rus)  похожие документы
В. Ф. Бутузов, В. А. Белошапко
"... Рассматривается сингулярно возмущенная эллиптическая задача с граничными условиями Дирихле в случае ..."
 
Том 23, № 6 (2016) Имитационное моделирование для анализа выполнимости приложений реального времени Аннотация  PDF (Rus)  похожие документы
С. Н. Баранов, В. В. Никифоров
"... времени в различных сочетаниях дисциплины планирования и протокола доступа к разделяемым общим ..."
 
Том 22, № 4 (2015) Алгоритмы для мажоритарного декодирования групповых кодов Аннотация  PDF (Rus)  похожие документы
В. М. Деундяк, Ю. В. Косолапов
"... декодера для кодов с неравной защитой символов, который в ряде случаев может быть лучше классического. Для ..."
 
Том 22, № 5 (2015) Численное решение уравнения Пуассона в полярных координатах методом коллокаций и наименьших невязок Аннотация  PDF (Rus)  похожие документы
Е. В. Ворожцов, В. П. Шапеев
"... в полярных координатах на неравномерных сетках. Путем введения общих криволинейных координат ..."
 
Том 25, № 5 (2018) От редакторов специального выпуска Аннотация  PDF (Rus)  похожие документы
В. А. Захаров, Н. В. Шилов
 
Том 17, № 1 (2010) Двухшаговый экстраградиентный метод для задачи управления ресурсами Аннотация  PDF (Rus)  похожие документы
А. В. Зыкина, Н. В. Меленьчук
"... программирования, вариационных неравенств и смежных задач. Доказана сходимость метода в общем случае. Для задач ..."
 
Том 17, № 2 (2010) Задача целочисленного сбалансирования трехмерной матрицы и алгоритмы ее решения Аннотация  PDF (Rus)  похожие документы
В. С. Рублев, А. В. Смирнов
"... этой задачи к задаче нахождения максимального потока в кратной сети целочисленного сбалансирования ..."
 
Том 17, № 4 (2010) Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени Аннотация  PDF (Rus)  похожие документы
И. В. Коннов, В. А. Захаров
"... Показано, что метод адаптивной редукции симметричных моделей (ASR), предложенный в статье [9] для ..."
 
Том 17, № 4 (2010) От редакторов специального выпуска  похожие документы
В. А. Непомнящий, В. А. Соколов
 
Том 18, № 4 (2011) От редакторов специального выпуска  похожие документы
В. А. Непомнящий, В. А. Соколов
 
Том 14, № 1 (2007) Синхронная модель автоматной программы Аннотация  PDF (Rus)  похожие документы
С. В. Кубасов, В. А. Соколов
"... верификации синхронных программ для проверки автоматных программ. В частности предполагается использование ..."
 
Том 14, № 4 (2007) Исследование модифицированной модели сальтаторного проведения возбуждения Аннотация  PDF (Rus)  похожие документы
В. В. Майоров, С. Е. Ануфриенко
"... В работе рассматривается модель сальтаторного проведения возбуждения, в которой для описания ..."
 
Том 19, № 1 (2012) Редакционная статья Аннотация  PDF (Rus)  похожие документы
В. А. Соколов
"... вам, что с 2012 года количество выпусков нашего журнала увели- чивается до 6 номеров в год. Подводя ..."
 
Том 22, № 5 (2015) Анализ локальных бифуркаций для уравнения с запаздыванием, зависящим от искомой функции Аннотация  PDF (Rus)  похожие документы
В. О. Голубенец
"... В работе рассматривается уравнение первого порядка с запаздыванием, зависящим от искомой функции ..."
 
Том 22, № 6 (2015) Формальная диагонализация схем Лакса–Дарбу Аннотация  PDF (Rus)  похожие документы
А. В. Михайлов
"... В статье мы обсуждаем концепцию схемы Лакса–Дарбу и иллюстрируем ее на хорошо известных примерах ..."
 
Том 22, № 6 (2015) О преподавании формальных моделей и алгоритмов анализа параллельных систем Аннотация  PDF (Rus)  похожие документы
Н. В. Шилов
"... В настоящее время наблюдается огромный практический интерес к параллельному программированию. Этот ..."
 
Том 23, № 2 (2016) О группе Брауэра арифметической модели многообразия над глобальным полем положительной характеристики Аннотация  PDF (Rus)  похожие документы
Т. В. Прохорова
"... алгебр Адзумаи на X по модулю подобия. Хорошо известно, что группа Br(X) содержится в когомологической ..."
 
Том 23, № 3 (2016) Моделирование неизотермического течения аномально вязкой жидкости в каналах с различной геометрией границ Аннотация  PDF (Rus)  похожие документы
К. В. Литвинов
"... В данной работе проведен анализ плоского неизотермического стационарного течения аномально вязкой ..."
 
Том 23, № 5 (2016) Эквивалентность обычной и модифицированной сети обобщенных нейронных элементов Аннотация  PDF (Rus)  похожие документы
Е. В. Коновалов
"... Статья посвящена анализу сетей, состоящих из обобщенных нейронных элементов. В первой части статьи ..."
 
Том 23, № 5 (2016) Расслоенное произведение коммутативных алгебр: образующие и соотношения Аннотация  похожие документы
Н. В. Тимофеева
"... В работе дан и обоснован метод прямого вычисления универсального (расслоенного) произведения в ..."
 
Том 23, № 4 (2016) Сетевая модель для задачи целочисленного сбалансирования четырехмерной матрицы Аннотация  PDF (Rus)  похожие документы
А. В. Смирнов
"... Рассматривается задача целочисленного сбалансирования четырехмерной матрицы. В исходной ..."
 
Том 23, № 6 (2016) Формализм и языковые инструменты для описания семантики программных библиотек Аннотация  PDF (Rus)  похожие документы
В. М. Ицыксон
"... существующие проблемы спецификации библиотек. Дается краткий обзор состояния дел в области формализации ..."
 
Том 22, № 4 (2015) Задача о наибольшем кратном потоке в делимой сети и ее частные случаи Аннотация  PDF (Rus)  похожие документы
А. В. Смирнов
"... В статье рассматривается задача о наибольшем кратном потоке в сети произвольной натуральной ..."
 
Том 22, № 4 (2015) Инструментальная система для поддержки разработки и исследования программно-конфигурируемых сетей подвижных объектов Аннотация  PDF (Rus)  похожие документы
В. А. Соколов, С. В. Корсаков, А. В. Смирнов, В. А. Башкин, Е. С. Никитин
"... В данной статье рассмотрены принципы организации беспроводных mesh-сетей  программно ..."
 
Том 22, № 5 (2015) Изоморфизм компактификаций модулей векторных расслоений: неприведенные схемы модулей Аннотация  PDF (Rus)  похожие документы
Н. В. Тимофеева
"... В работе продолжено изучение компактификации схемы модулей полустабильных по Гизекеру векторных ..."
 
Том 13, № 1 (2006) Свойства бисимуляции разметок в ограниченных сетях Петри Аннотация  PDF (Rus)  похожие документы
В. А. Башкин
"... Рассматривается проблема поиска бисимулярных разметок в ограниченных сетях Петри. Вводятся и ..."
 
Том 13, № 1 (2006) Иерархическая модель автоматных программ Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин
"... В работе описывается иерархическая модель программ, построенных на основе автоматного подхода к ..."
 
Том 24, № 6 (2017) От редактора специального выпуска Аннотация  PDF (Rus)  похожие документы
В. А. Захаров
 
Том 16, № 3 (2009) Работы Ю.С. Колесова по дифференциальным уравнениям Аннотация  PDF (Rus)  похожие документы
В. Ш. Бурд
 
Том 16, № 3 (2009) Уточнение периода решения уравнения импульсного нейрона при постоянном внешнем электрическом воздействии Аннотация  PDF (Rus)  похожие документы
К. В. Корнилов
 
Том 16, № 3 (2009) Задача целочисленного сбалансирования трехмерной матрицы и сетевая модель Аннотация  PDF (Rus)  похожие документы
А. В. Смирнов
"... сведения к задаче нахождения максимального потока в сети. ..."
 
Том 16, № 4 (2009) Дорогие коллеги!  PDF (Rus)  похожие документы
Соколов В.а.
 
Том 17, № 1 (2010) Явление буферности в обобщенном уравнении Свифта-Хоэнберга Аннотация  PDF (Rus)  похожие документы
Д. В. Сандуляк
 
Том 17, № 2 (2010) Метод оценки частоты выполнения фрагментов кода последовательной программы Аннотация  PDF (Rus)  похожие документы
А. В. Шалимов
"... , распределение ресурсов вычислителя, компактное представление программ в памяти, выявление вредоносного ..."
 
Том 17, № 2 (2010) О нецелочисленных вершинах релаксаций многогранника задачи 3-ВЫПОЛНИМОСТЬ Аннотация  PDF (Rus)  похожие документы
А. В. Николаев
"... 3-ВЫПОЛНИМОСТЬ. В частности, рассмотрен вопрос о сохранении нецелочисленных вершин при переходе к ..."
 
Том 17, № 3 (2010) Рекуррентные последовательности над почтикольцами Аннотация  PDF (Rus)  похожие документы
А. В. Сбоев
 
Том 17, № 3 (2010) Язык объектных запросов динамической информационной модели DIM Аннотация  PDF (Rus)  похожие документы
В. С. Рублев
 
Том 17, № 4 (2010) Пример верификации в проекте F@BOOL@, основанном на булевских решателях Аннотация  PDF (Rus)  похожие документы
Н. В. Шилов
"... человеком программы с языка высокого уровня в эквивалентные исполнимые программы и, кроме того, доказывает ..."
 
Том 17, № 4 (2010) Верификация и синтез программ сложения на базе правил корректности операторов Аннотация  PDF (Rus)  похожие документы
В. И. Шелехов
"... доказательства корректности для операторов языка предикатного программирования P. В работе представлены ключевые ..."
 
Том 17, № 4 (2010) Проектирование программных бортовых систем управления с поддержкой верификации Аннотация  PDF (Rus)  похожие документы
И. В. Шошмина
"... Рассматривается проблема включения метода формальной верификации - проверки модели - в процесс ..."
 
Том 18, № 1 (2011) Релаксационные циклы обобщённого уравнения импульсного нейрона Аннотация  PDF (Rus)  похожие документы
И. В. Парамонов
"... Рассмотрена обобщенная модель импульсного нейрона В. В. Майорова и И. Ю. Мышкина. В уравнение ..."
 
Том 18, № 1 (2011) Локальная динамика уравнения с сильно запаздывающей обратной связью Аннотация  PDF (Rus)  похожие документы
Д. В. Глазков
"... запаздыванием в окрестности нулевого решения. При анализе задачи используется метод квазинормальных форм ..."
 
Том 18, № 1 (2011) Стратегия выполнения операций копирования и удаления в дереве объектов Аннотация  PDF (Rus)  похожие документы
А. В. Майоров
"... Описываются общие правила организации объектов в иерархические структуры. Приводятся различные ..."
 
1 - 75 из 163 результатов 1 2 3 > >> 

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

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