Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 3 (2017) О задаче приближенного нахождения максимальной двудольной клики Аннотация  PDF (Rus)  похожие документы
Н. Н. Кузюрин
 
Том 30, № 1 (2018) Влияние частичности и адаптивности на сложность задачи идентификации состояний автомата Аннотация  похожие документы
Х. Йенигун, Н. Евтушенко, Н. Кушик, Х Лопез
"... . Известно также, что в некоторых случаях сложность можно понизить, переключившись на адаптивный (условный ..."
 
Том 22 (2012) Сравнение сложностей задач нахождения базиса Гребнера идеала и решений этого идеала Аннотация  PDF (Rus)  похожие документы
А. В. Шокуров
"... Сравниваются сложности задач нахождения решения системы алгебраических уравнений и базисов Гребнера ..."
 
Том 26, № 2 (2014) О синтаксическом определении класса языков, распознаваемых недетерминированными машинами Тьюринга на логарифмической памяти Аннотация  PDF (Rus)  похожие документы
Д. А. Носов
 
Том 26, № 3 (2014) Современное состояние исследований в области обфускации программ: определения стойкости обфускации Аннотация  PDF (Rus)  похожие документы
Н. П. Варновский, В. А. Захаров, Н. Н. Кузюрин, А. В. Шокуров
 
Том 23 (2012) Унификация программ Аннотация  PDF (Rus)  похожие документы
Т. А. Новикова, В. А. Захаров
 
Том 22 (2012) Полиномиальный по времени алгоритм проверки логико-термальной эквивалентности программ Аннотация  PDF (Rus)  похожие документы
В. А. Захаров, Т. А. Новикова
"... . Полученная верхняя оценка сложности задачи проверки логико-термальной эквивалентности программ существенно ..."
 
Том 26, № 3 (2014) Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами Аннотация  PDF (Rus)  похожие документы
В. В. Подымов, В. А. Захаров
"... исследуемой модели программ была установлена в 1971 г. А.А. Летичевским. Однако с тех пор вопрос о сложности ..."
 
Том 26, № 2 (2014) Перспективные схемы пространственно-временной индексации для визуального моделирования масштабных индустриальных проектов Аннотация  PDF (Rus)  похожие документы
В. А. Золотов, В. А. Семенов
"... описаны алгоритмы исполнения, а также получены оценки их вычислительной сложности. Полученные оценки ..."
 
Том 26, № 2 (2014) Двусторонняя унификация программ и ее применение для задач рефакторинга Аннотация  PDF (Rus)  похожие документы
Т. А. Новикова, В. А. Захаров
"... замены выделенного участка кода на вызов этой процедуры. В статье исследован вопрос о сложности задачи ..."
 
Том 27, № 2 (2015) Моделирование и анализ поведения последовательных реагирующих программ Аннотация  PDF (Rus)  похожие документы
В. А. Захаров
 
Том 28, № 1 (2016) Об оценках вычислительной сложности и погрешности быстрого алгоритма в методе вихревых элементов Аннотация  PDF (Rus)  похожие документы
К. С. Кузьмина, И. К. Марчевский
"... Основная вычислительная сложность при использовании вихревых методов сосредоточена в вычислении ..."
 
Том 19 (2010) Теоретические и экспериментальные оценки сложности методов локального распространения в задачах программирования в ограничениях Аннотация  PDF (Rus)  похожие документы
В. А. Семенов, О. В. Сидяка
"... обозначаются границы применимости методов и даются теоретические оценки их сложности. Отмечается важность ..."
 
1 - 13 из 13 результатов

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

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