Приложение
для AndroidПолное описание
Hoepman, J. H. Toward self-stabilizing wait-free shared memory objects / J.H.Hoepman,M.Papatriantafilou,P.Tsigas. - Amsterdam : [s. n.], 1995. - 15 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9514). - Текст : непосредственный.
Библиогр.:с.14-15
| ГРНТИ | УДК | |
| 28.15 | 681.516.73.037 |
Рубрики:
Автоматические системы с распределенными параметрами -- Устойчивость
Доп. точки доступа:
Papatriantafilou, M.
Tsigas, P.
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16212/CS-R9514)
Шифр в сводном ЭК: 14d7579867aa09ab23ca471476e04181
Papatriantafilow M. How a rainbow coloring function can simulate wait-free handshaking / M. Papatriantafilow, P. Tsigas, 1994. - 12 p. - Текст : непосредственный.Hoepman J.H. Binary snapshots / J.H.Hoepman,J.T.Tromp, 1993. - 8 p. - Текст : непосредственный.Papatriantafilou M. Self-stabilizing wait-free clock synchronization / M.Papatriantafilou,P.Tsigas, 1994. - 10 p. - Текст : непосредственный.Randomized wait-free naming / A.Panconesi,M.Papatriantafilou,P.Tsigas,P.M.B.Vitanyi, 1994. - 13 p. - Текст : непосредственный.Self-stabilizing mutual exclusion on directed graphs / D.Alstein,J.H.Hoepman,B.E.Oliver,P.I.A.Put, 1995. - 55 p. - Текст : непосредственный.Hoepman J.H. Toward self-stabilizing wait-free shared memory objects / J.H.Hoepman,M.Papatriantafilou,P.Tsigas, 1995. - 15 p. - Текст : непосредственный.
Multi-authority secret-ballot elections with linear work / R. J.F. Cramer, M. Franklin, L. A.M. Schoenmakers, M. Yung, 1995. - 12 p. - Текст : непосредственный.Walters H.R. Rewrite systems for integer arithmetic / H. R. Walters, H. Zantema, 1995. - 13 p. - Текст : непосредственный.Hybrid I/O automata / N. A. Lynch, R. Segala, F. W. Vaandrager, H. B. Weinberg, 1995. - 16 p. - Текст : непосредственный.Romijn J.M.T. A note on fairness in I/O automata / J. M.T. Romijn, F. W. Vaandrager, 1995. - 8 p. - Текст : непосредственный.Groote J.F. Proof theory for CRL / J. F. Groote, A. Ponse, 1991. - 41 p. - Текст : непосредственный.Mullender S.J. Amoeba-high-performance distributed computing / S. J. Mullender, G. van Rossum, 1989. - 13 p. - Текст : непосредственный.Herman I. On the projective invariant represintation of conics in computer graphics / I. Herman, 1989. - 18 p. - Текст : непосредственный.Tromp J.T. How to construct an atomic variable / J. T. Tromp, 1989. - 23 p. - Текст : непосредственный.Kuijk A.A.M. Temporal issues of animate response / A. A.M. Kuijk, 1989. - 11 p. - Текст : непосредственный.Glabbeek R.J. van refinement theorem for ST-bisimulation semantics / R.J. van Glabbeek, 1990. - 22 p. - Текст : непосредственный. Amoeba - a distributed operating system for the 1990s / S. J. Mullender, G. van Rossum, A. S. Tanenbaum, 1990. - 12 p. - Текст : непосредственный.Jeuring J. Algorithms from theorems / J. Jeuring, 1990. - 20 p. - Текст : непосредственный.Hubl J. Modeling clip: some more results / J. Hubl, I. Herman, 1990. - 9 p. - Текст : непосредственный.Apt K.R. Acyclic programs (extended abstract) / K. R. Apt, M. Bezem, 1990. - 16 p. - Текст : непосредственный.Glabbeek R.J. van linear time - branching time spectrum / R.J. van Glabbeek, 1990. - 30 p. - Текст : непосредственный. Groote J.F. new strategy for proving w- completeness applied to process algebra / J. F. Groote, 1990. - 21 p. - Текст : непосредственный.Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный.Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный.Groote J.F. A note on n similar parallel processes / J. F. Groote, 1996. - 11 p. - Текст : непосредственный.Everaars C.T.H. Coordination of distributed/parallel multiple-grid domain decomposition / C. T.H. Everaars, F. Arbab, 1996. - 20 p. - Текст : непосредственный.
Показать все результатыГордеев А.А. Анализ цифровых приборных и следящих систем на фазовой плоскости / А. А. Гордеев, Л. В. Симонова, 1993. - 47 с. - Текст : непосредственный.Кутузов В.К. Энергетический расчет следящего привода : методический материал / В. К. Кутузов, В. А. Полянин, 1993. - 35 c. - Текст : непосредственный.Полтавец Г.А. Методологические основы теории управления в сложных системах / Г. А. Полтавец, 1990. - 52 с. - Текст : непосредственный.Новицкий В.В. Декомпозиция линейных управляемых систем / В. В. Новицкий, 1990. - 27 с. - Текст : непосредственный.Новицкий В.В. Декомпозиция и модальное управление в линейных системах / В. В. Новицкий, 1990. - 27 с. - Текст : непосредственный.Емельянов С.В. Теория управления / С. В. Емельянов, С. К. Коровин, В. И. Сизиков, 1990. - 93 с. - Текст : непосредственный.Сидоров В.П. Математические модели "вход - состояние - выход" в задачах теории автоматического управления / В. П. Сидоров, 1990. - 65 c. - Текст : непосредственный.Шевченко Г.В. Алгоритмы решения некоторых задач оптимального управления для линейных систем / Г. В. Шевченко, 1990. - 28 с. - Текст : непосредственный.Кирин Н.Е. Методы оценивания и управления в динамических системах / Н. Е. Кирин, 1993. - 307 c. - Текст : непосредственный.Розенвассер Е.Н. Линейная теория цифрового управления в непрерывном времени / Е. Н. Розенвассер, 1994. - 464 c. - Текст : непосредственный.Четвериков В.Н. Разработка методов анализа и синтеза нелинейных динамических систем на основе дифференциально-геометрической теории бесконечномерных многообразий : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : диссертация на соискание ученой степени д-ра физ.-мат. наук / В. Н. Четвериков, 2006. - 28 с. - Текст : непосредственный.Ротач В.Я. Теория автоматического управления : учебное пособие / В. Я. Ротач, 2007. - 399 с. - Текст : непосредственный.Новикова Н.А. Учебное пособие по курсу "Математические основы теории автоматического управления" / Н. А. Новикова, 2007. - 107 с. - Текст : непосредственный.Коробова И.Л. Теория автоматического управления : выставочные материалы / И. Л. Коробова, 2011. - 170 с. - Текст : непосредственный.Рябов А.В. Робастная стабилизация линейных дискретных систем со статической обратной связью по выходу / А. В. Рябов, 2007. - 16 с. - Текст : непосредственный.Козлов В.Н. Теория автоматического управления : учебное пособие / В. Н. Козлов, В. Е. Куприянов, В. Н. Шашихин, 2008. - 126 с. - Текст : непосредственный.Афанасьев В.В. Нелинейные системы с динамическим хаосом и порождаемые ими сигналы / В. В. Афанасьев, С. С. Логинов, Ю. Е. Польский, 2005. - 120 с. - Текст : непосредственный.Кузенков О.А. Оптимальное управление линейными распределенными системами: управления и теплопроводности / О. А. Кузенков, В. М. Шашков, 1996. - 91 с. - Текст : непосредственный.Агафонов Е.Д. Математическое моделирование линейных динамических систем : учебное пособие / Е. Д. Агафонов, О. В. Шестернева, 2011. - 94 с. - Текст : непосредственный.Первозванский А.А. Курс теории автоматического управления : выставочные материалы / А. А. Первозванский, 2015. - 615 с. - Текст : непосредственный.
Показать все результатыНиколаев С.Г. Устойчивость линейных периодических систем с постоянным запаздыванием : специальность 01.02.01 "Теоретическая механика" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / С. Г. Николаев, 2000. - 19 с. - Текст : непосредственный.Сергеев В.С. Устойчивость в системах с последействием, описываемых интегродифференциальными уравнениями типа Вольтерра : специальность 01.02.01 "Теоретическая механика" : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук / В. С. Сергеев, 2000. - 22 с. - Текст : непосредственный.Чашников М.В. Анализ устойчивости линейных систем с запаздывающим аргументом / М. В. Чашников, 2010. - 14 с. - Текст : непосредственный.
Блистанова Л.Д. Конструктивные методы исследования устойчивости систем с последействием : автореф. дис. .. д-ра физ.-мат. наук: 05.13.01 / Л. Д. Блистанова, 2005. - 26 c. - Текст : непосредственный.Волканин Л.С. Стабилизация систем с запаздыванием по управлению : автореф. дис. .. канд. физ.-мат. наук: 05.13.18 / Л. С. Волканин, 2006. - 20 с. - Текст : непосредственный.Латыпова Н.М. Стабилизация систем с последействием нейтрального типа : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.02 / Н. М. Латыпова, 1999. - 12 с. - Текст : непосредственный.Примак М.М. Исследование задач практической устойчивости систем с распределенными параметрами и их применение в моделировании оптимальной динамики заряженных пучков : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / М. М. Примак, 1991. - 16 с. - Текст : непосредственный.Медведева И.В. Конструктивные методы анализа экспоненциальной устойчивости линейных систем запаздывающего типа : автореф. дис. .. канд. физ.-мат. наук: 05.13.01 / И. В. Медведева, 2014. - 17 с. - Текст : непосредственный.Байрамов Ф.Д. Устойчивость и оптимальная стабилизация систем с распределенными параметрами / Ф.Д.Байрамов, 1995. - 155 c. - Текст : непосредственный.Миняев С.И. Одновременная стабилизация линейных динамических объектов с запаздыванием : автореф. дис. .. канд. физ.-мат. наук: 05.13.01 / С. И. Миняев, 2013. - 18 с. - Текст : непосредственный.Кирьянен А.И. Устойчивость систем с последействием и их приложения / А.И.Кирьянен, 1994. - 236 c. - Текст : непосредственный.Смирнова В.Б. Глобальная устойчивость нелинейных динамических систем с распределенными параметрами : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.02.01 / В. Б. Смирнова, 1998. - 26 с. - Текст : непосредственный.Self-stabilizing mutual exclusion on directed graphs / D.Alstein,J.H.Hoepman,B.E.Oliver,P.I.A.Put, 1995. - 55 p. - Текст : непосредственный.Hoepman J.H. Toward self-stabilizing wait-free shared memory objects / J.H.Hoepman,M.Papatriantafilou,P.Tsigas, 1995. - 15 p. - Текст : непосредственный.Ким А.В. Прямой метод Ляпунова в теории устойчивости систем с последействием / А.В.Ким, 1992. - 144 с. - Текст : непосредственный.Егоров А.В. Новые условия экспоненциальной устойчивости линейных систем с запаздыванием : автореф. дис. .. канд. физ.-мат. наук: 05.13.01 / А. В. Егоров, 2013. - 14 с. - Текст : непосредственный.Кирин А.Н. Методы дискретизации в проблеме устойчивости систем дифференциальных уравнений с запаздывающим аргументом : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. Н. Кирин, 1995. - 12 с. - Текст : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Заказ фрагмента документа ₽