|
Именной указатель, 2011, том 18
С. А. Амелькин, О. С. Иванова Предельные возможности передачи информации в макросистемах Модел. и анализ информ. систем, 2011, том 18:3, 75–81
|
И. С. Ануреев, см. М. М. Атучин Модел. и анализ информ. систем, 2011, том 18:4, 21–33
|
И. С. Ануреев Типовые примеры использования языка Atoment Модел. и анализ информ. систем, 2011, том 18:4, 7–20
|
М. М. Атучин, И. С. Ануреев Атрибутные аннотации и их применение в дедуктивной верификации C-программ Модел. и анализ информ. систем, 2011, том 18:4, 21–33
|
С.Н. Баранов, В. П. Котляров Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов Модел. и анализ информ. систем, 2011, том 18:4, 118–130
|
В. А. Башкин Построение приближений бисимуляции в односчетчиковых сетях Модел. и анализ информ. систем, 2011, том 18:4, 33–44
|
Д. М. Белоглазов, М. Ю. Машуков, В. А. Непомнящий Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри Модел. и анализ информ. систем, 2011, том 18:4, 144–156
|
М. А. Беляев, В. А. Цесько Статический анализ с использованием систем типов и эффектов на основе LLVM Модел. и анализ информ. систем, 2011, том 18:4, 45–55
|
Е. В. Бодин, Н. О. Гаранина, Н. В. Шилов Задача о роботах на Марсе (мультиагентный подход к задаче Дейкстры) Модел. и анализ информ. систем, 2011, том 18:2, 113–128
|
Н. О. Гаранина, см. Е. В. Бодин Модел. и анализ информ. систем, 2011, том 18:2, 113–128
|
Н. О. Гаранина Оптимизационные процедуры в аффинной проверке моделей Модел. и анализ информ. систем, 2011, том 18:4, 56–67
|
Д. В. Глазков Локальная динамика уравнения с сильно запаздывающей обратной связью Модел. и анализ информ. систем, 2011, том 18:1, 75–85
|
М. И. Глухих, В. М. Ицыксон, В. А. Цесько Использование зависимостей для повышения точности статического анализа программ Модел. и анализ информ. систем, 2011, том 18:4, 68–79
|
Д. С. Глызин, С. А. Кащенко, А. С. Полстьянов Пространственно-неоднородные периодические решения уравнения Хатчинсона с распределенным насыщением Модел. и анализ информ. систем, 2011, том 18:1, 37–45
|
С. Д. Глызин, Е. О. Овсянникова Двухчастотные колебания обобщенного уравнения импульсного нейрона с двумя запаздываниями Модел. и анализ информ. систем, 2011, том 18:1, 86–105
|
Е. А. Голенков, см. Г. В. Тарасов Модел. и анализ информ. систем, 2011, том 18:2, 18–38
|
Е. В. Горчакова Динамика слабого взаимодействия в системе близких видов Модел. и анализ информ. систем, 2011, том 18:1, 68–74
|
А. М. Григорьев, Е. Е. Иванко, А. Г. Ченцов Динамическое программирование в обобщенной задаче курьера с внутренними работами: элементы параллельной структуры Модел. и анализ информ. систем, 2011, том 18:3, 101–124
|
Н. А. Демьянков О двух конечномерных аппроксимациях периодической краевой задачи Модел. и анализ информ. систем, 2011, том 18:3, 63–74
|
В. Джиминез, см. Н. Г. Кушик Модел. и анализ информ. систем, 2011, том 18:4, 131–143
|
О. А. Дунаева Принципы построения слоистых нейронных сетей на основе импульсных нейронов Модел. и анализ информ. систем, 2011, том 18:2, 65–76
|
Н. В. Евтушенко, см. Н. Г. Кушик Модел. и анализ информ. систем, 2011, том 18:4, 131–143
|
Д. А. Зайцев Ингибиторная сеть Петри, выполняющая произвольный заданный нормальный алгорифм Маркова Модел. и анализ информ. систем, 2011, том 18:4, 80–93
|
А. В. Захаров, М. Ю. Моисеев Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC Модел. и анализ информ. систем, 2011, том 18:4, 94–105
|
Е. Е. Иванко, см. А. М. Григорьев Модел. и анализ информ. систем, 2011, том 18:3, 101–124
|
О. С. Иванова, см. С. А. Амелькин Модел. и анализ информ. систем, 2011, том 18:3, 75–81
|
В. М. Ицыксон, см. М. И. Глухих Модел. и анализ информ. систем, 2011, том 18:4, 68–79
|
А. Кавалли, см. Н. Г. Кушик Модел. и анализ информ. систем, 2011, том 18:4, 131–143
|
А. А. Кащенко Устойчивость бегущих волн в уравнении Гинзбурга–Ландау с малой диффузией Модел. и анализ информ. систем, 2011, том 18:3, 58–62
|
И. С. Кащенко Динамические свойства одной модели пассивного захвата мод Модел. и анализ информ. систем, 2011, том 18:1, 32–36
|
И. С. Кащенко Локальная динамика уравнения с длительным экспоненциально распределенным запаздыванием Модел. и анализ информ. систем, 2011, том 18:3, 42–49
|
С. А. Кащенко Динамика квазилинейной краевой задачи, обобщающей уравнение с большим запаздыванием Модел. и анализ информ. систем, 2011, том 18:1, 28–31
|
С. А. Кащенко, см. Д. С. Глызин Модел. и анализ информ. систем, 2011, том 18:1, 37–45
|
С. А. Кащенко Основные квазинормальные формы для двухкомпонентных систем параболических уравнений Модел. и анализ информ. систем, 2011, том 18:3, 12–20
|
А. В. Климов Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем Модел. и анализ информ. систем, 2011, том 18:4, 106–117
|
А. Ю. Коверга, Е. П. Кубышкин Хаотические колебания одной распределенной динамической системы с бесконечным запаздыванием Модел. и анализ информ. систем, 2011, том 18:1, 46–55
|
В. П. Котляров, см. С. Н. Баранов Модел. и анализ информ. систем, 2011, том 18:4, 118–130
|
Е. П. Кубышкин, см. А. Ю. Коверга Модел. и анализ информ. систем, 2011, том 18:1, 46–55
|
С. Д. Кузнецов, Н. А. Мендкович Оптимизация конъюнктов условий в составе запросов Модел. и анализ информ. систем, 2011, том 18:3, 144–154
|
А. Н. Куликов, Г. В. Пилипенко Резонанс собственных частот в задаче о флаттере пластинки в сверхзвуковом потоке газа Модел. и анализ информ. систем, 2011, том 18:1, 56–67
|
Н. Г. Кушик, А. Маммар, А. Кавалли, Н. В. Евтушенко, В. Джиминез, Э. Монте де Ока Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN Модел. и анализ информ. систем, 2011, том 18:4, 131–143
|
А. В. Майоров Стратегия выполнения операций копирования и удаления в дереве объектов Модел. и анализ информ. систем, 2011, том 18:1, 116–129
|
А. Н. Малков, Г. П. Штерн, И. А. Михайлов Разбиение железнодорожного состава на отдельные вагоны Модел. и анализ информ. систем, 2011, том 18:2, 77–112
|
А. Маммар, см. Н. Г. Кушик Модел. и анализ информ. систем, 2011, том 18:4, 131–143
|
М. Ю. Машуков, см. Д. М. Белоглазов Модел. и анализ информ. систем, 2011, том 18:4, 144–156
|
Н. А. Мендкович, см. С. Д. Кузнецов Модел. и анализ информ. систем, 2011, том 18:3, 144–154
|
И. А. Михайлов, см. А. Н. Малков Модел. и анализ информ. систем, 2011, том 18:2, 77–112
|
М. Ю. Моисеев, см. А. В. Захаров Модел. и анализ информ. систем, 2011, том 18:4, 94–105
|
Э. Монте де Ока, см. Н. Г. Кушик Модел. и анализ информ. систем, 2011, том 18:4, 131–143
|
А. Н. Морозов Об операторах дифференцирования и интегрирования Модел. и анализ информ. систем, 2011, том 18:3, 50–57
|
М. В. Невский Геометрические оценки в полиномиальной интерполяции Модел. и анализ информ. систем, 2011, том 18:1, 142–148
|
М. В. Невский О геометрических характеристиках $n$-мерного симплекса Модел. и анализ информ. систем, 2011, том 18:2, 52–64
|
М. В. Невский О гипотезе Лассака для выпуклого тела Модел. и анализ информ. систем, 2011, том 18:3, 5–11
|
В. А. Непомнящий, см. Д. М. Белоглазов Модел. и анализ информ. систем, 2011, том 18:4, 144–156
|
В. А. Непомнящий, В. А. Соколов От редакторов специального выпуска Модел. и анализ информ. систем, 2011, том 18:4, 5–6
|
П. Н. Нестеров Временные шкалы в задаче об асимптотике решений дискретных адиабатических осцилляторов Модел. и анализ информ. систем, 2011, том 18:1, 5–27
|
П. Н. Нестеров Об асимптотике критических решений систем дифференциальных уравнений с колебательно убывающими коэффициентами Модел. и анализ информ. систем, 2011, том 18:3, 21–41
|
А. В. Николаев Гиперграфы специального вида и анализ свойств релаксаций разрезного многогранника Модел. и анализ информ. систем, 2011, том 18:3, 82–100
|
Е. О. Овсянникова, см. С. Д. Глызин Модел. и анализ информ. систем, 2011, том 18:1, 86–105
|
И. В. Парамонов Релаксационные циклы обобщённого уравнения импульсного нейрона Модел. и анализ информ. систем, 2011, том 18:1, 106–115
|
Г. В. Пилипенко, см. А. Н. Куликов Модел. и анализ информ. систем, 2011, том 18:1, 56–67
|
А. С. Полстьянов, см. Д. С. Глызин Модел. и анализ информ. систем, 2011, том 18:1, 37–45
|
С. В. Поляков О тензорных квадратах неприводимых представлений конечных почти простых групп. I Модел. и анализ информ. систем, 2011, том 18:1, 130–141
|
С. В. Поляков О тензорных квадратах неприводимых представлений конечных почти простых групп. II Модел. и анализ информ. систем, 2011, том 18:2, 5–17
|
А. В. Промский Верификация Си-программ: объяснение условий корректности и стандартная библиотека Модел. и анализ информ. систем, 2011, том 18:4, 157–167
|
В. С. Рублев Организация выполнения объектных запросов в динамической информационной модели DIM Модел. и анализ информ. систем, 2011, том 18:2, 39–51
|
А. А. Сивов Формат пакета ARTCP. Особенности формирования и обработки заголовков ARTCP в сетевой подсистеме ОС Linux 2.6. Модел. и анализ информ. систем, 2011, том 18:2, 129–138
|
В. А. Соколов, см. В. А. Непомнящий Модел. и анализ информ. систем, 2011, том 18:4, 5–6
|
Г. В. Тарасов, Д. И. Харитонов, Е. А. Голенков Об одном представлении функции в модели императивной программы, заданной сетями Петри Модел. и анализ информ. систем, 2011, том 18:2, 18–38
|
Д. И. Харитонов, см. Г. В. Тарасов Модел. и анализ информ. систем, 2011, том 18:2, 18–38
|
В. А. Цесько, см. М. А. Беляев Модел. и анализ информ. систем, 2011, том 18:4, 45–55
|
В. А. Цесько, см. М. И. Глухих Модел. и анализ информ. систем, 2011, том 18:4, 68–79
|
А. Г. Ченцов, см. А. М. Григорьев Модел. и анализ информ. систем, 2011, том 18:3, 101–124
|
Н. В. Шилов, см. Е. В. Бодин Модел. и анализ информ. систем, 2011, том 18:2, 113–128
|
Н. В. Шилов Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ Модел. и анализ информ. систем, 2011, том 18:4, 168–180
|
Г. П. Штерн, см. А. Н. Малков Модел. и анализ информ. систем, 2011, том 18:2, 77–112
|
В. И. Январев Модульная модель мультимедийного документа и особенности ее программной реализации Модел. и анализ информ. систем, 2011, том 18:3, 125–143
|
|
|