Preview

Труды Института системного программирования РАН

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 5 (2017) Распределённые алгоритмы на корневых неориентированных графах Аннотация  PDF (Rus)  похожие документы
И. Бурдонов, А. Косачев, А. Сортов
"... задач с однозначным решением, зависящим только от простых циклов графа, в частности, FSB, MST и задачи ..."
 
Том 30, № 2 (2018) Проблема отката в ориентированной распределенной системе Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... , k < n , и n - число вершин графа. В разделе 2 описывается используемая асинхронная модель распределенной системы ..."
 
Том 29, № 2 (2017) Общий подход к решению задач на графах коллективом автоматов Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... графа, но описание графа может не помещаться в памяти автомата. В разделе 2 классифицируются модели ..."
 
Том 30, № 6 (2018) Тестирование правил настройки сетевого коммутатора программно конфигурируемой сети Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев
"... служебных сервисных функций. В основе сети лежит связный неориентированных граф физических связей (англ ..."
 
Том 30, № 3 (2018) Извлечение архитектурной информации из исходного кода ARINC 653 совместимых приложений с использованием алгоритма CEGAR Аннотация  похожие документы
С. Л. Лесовой
"... в каждом разделе, объекты для взаимодействия между процессами внутри и за пределами раздела, а также ..."
 
1 - 5 из 5 результатов

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

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