Искусственный интеллект и принятие решений
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Правила для авторов

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Искусственный интеллект и принятие решений:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Искусственный интеллект и принятие решений, 2012, выпуск 2, страницы 63–76 (Mi iipr431)  

Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Моделирование и управление

Параллельный логический вывод на компьютерных системах

В. П. Кутепов, М. М. Кумачев

Московский энергетический институт
Аннотация: В статье исследуются различные алгоритмы параллельного логического вывода, основанные на принципе резолюции. Проведены экспериментальные исследования алгоритмов на компьютерных системах с общей памятью и кластере. Описанные результаты показывают влияние архитектуры и характеристик компьютерных систем, степени распараллеливания и эвристик на эффективность параллельного вывода.
Ключевые слова: логика, принцип резолюции, алгоритмы, параллельные вычисления, параллельный логический вывод.
Англоязычная версия:
Scientific and Technical Information Processing, 2013, Volume 40, Issue 6, Pages 403–413
DOI: https://doi.org/10.3103/S0147688213060051
Реферативные базы данных:
Тип публикации: Статья
Образец цитирования: В. П. Кутепов, М. М. Кумачев, “Параллельный логический вывод на компьютерных системах”, Искусственный интеллект и принятие решений, 2012, № 2, 63–76; Scientific and Technical Information Processing, 40:6 (2013), 403–413
Цитирование в формате AMSBIB
\RBibitem{KutKum12}
\by В.~П.~Кутепов, М.~М.~Кумачев
\paper Параллельный логический вывод на компьютерных системах
\jour Искусственный интеллект и принятие решений
\yr 2012
\issue 2
\pages 63--76
\mathnet{http://mi.mathnet.ru/iipr431}
\elib{https://elibrary.ru/item.asp?id=18941947}
\transl
\jour Scientific and Technical Information Processing
\yr 2013
\vol 40
\issue 6
\pages 403--413
\crossref{https://doi.org/10.3103/S0147688213060051}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/iipr431
  • https://www.mathnet.ru/rus/iipr/y2012/i2/p63
  • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Искусственный интеллект и принятие решений
    Статистика просмотров:
    Страница аннотации:17
    PDF полного текста:6
    Список литературы:1
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024