Приложение
для AndroidПолное описание
Rupport, E. Determining consensus number / E.Rupport. - Toronto : [s. n.], 1996. - 21 p.ill. - (Technical report / Univ. of Toronto ; 303/96). - 5000 р. - Текст : непосредственный.
Библиогр.:с.20-21
| ГРНТИ | УДК | |
| 50.39.29 | 004.75 |
Рубрики:
Вычислительные системы распределенные
Имеются экземпляры в отделах: всего 3 : ХР (1), (2)
Свободны: ХР (1), (2)
Копия:
Gibbons P.B. The use of hill-climbing to construct orthogonal Steiner trimple systems : отчет / P.B.Gibbons,R.Mathon, 1992. - 20 p. - Текст : непосредственный.Bellantoni S.J. Predicative recursion recursion and computational complexity / S.J.Bellantoni, 1992. - 164 p. - Текст : непосредственный.Fich F.E. The complexity of computation on the parallel random access machine / F.E.Fich, 1992. - 38,20 p. p. - Текст : непосредственный.Corneil D.G. Linear time algorithms for dominating pairs in asteroidal triple-free graphs / D.G.Corneil,S.Olariu,L.Stewart, 1995. - 21 p. - Текст : непосредственный.Giesbrecht M.W. Nearly optimal algorithms for canonical matrix forms / M.W.Giesbrecht, 1993. - 192 p. - Текст : непосредственный.Pruesse G. Efficient generation of linear extensions and other restricted permutations : Diss. / G.Pruesse, 1993. - 82 p. - Текст : непосредственный.Moorhouse T.B. Characterizing hereditary graph classes by subgraph intersections : Diss. / T.B.Moorhouse, 1994. - 87 p. - Текст : непосредственный.survey of the explicit Runge-Kutta method / W.H.Enright,D.J.Higham,B.Owren,P.Sharp, 1994. - 33 p. - Текст : непосредственный.Enright W.H. Interpolating Runge-Kutta methods for vanishing delay differential equations / W.H.Enright,M.Hu, 1994. - 34 p. - Текст : непосредственный.Urquhart A. Simplified lower bounds for propositional proofs / A.Urquhart,X.Fu, 1995. - 21 p. - Текст : непосредственный.Nguyen A.P. A formal system for linear space reasoning : Diss. / A.P.Nguyen, 1996. - 62,21 p. p. - Текст : непосредственный.Ma K. The recognition of permutation functions : Diss. / K.Ma, 1995. - 95 p. - Текст : непосредственный.Gao S. Gauss periods,primitive normal bases, and fast exponentiation in finite fields / S.Gao,J.vonZur Gathen,D.Panario, 1995. - 26 p. - Текст : непосредственный.Hayashi H. Numerical solution of retarded and neutral delay differential equations using continuous Runge-Kutta methods : Diss. / H.Hayashi, 1996. - VIII,78 p. p. - Текст : непосредственный.Nguyen H. Interpolation and error control schemes for algebraic differential equations using continuous implicit Runge-Kutta methods : Diss. / H.Nguyen, 1995. - III,97 p. p. - Текст : непосредственный.Molloy M. A bound on the total chromatic number / M.Molloy,B.Reed, 1996. - 36 p. - Текст : непосредственный.Riedel M.R. Applications of the Melin-Perron formula in number theory : Diss. / M.R.Riedel, 1996. - IX,138,21 p. p. - Текст : непосредственный.Rupport E. Determining consensus number / E.Rupport, 1996. - 21 p.ill. - Текст : непосредственный.Kearney P.E. The relationship between a phylogeny and its ordinal assertions / P.E.Kearney, 1997. - VI,107,6 p. p. - Текст : непосредственный.Muir P. Order barriers and characterizations for continuous mono-implicit rungekutta schemes / P.Muir,B.Owren, 1991. - 22 p. - Текст : непосредственный.
Показать все результатыТоом А.И. Психологическая комфортность диалога между человеком и компьютером : Автореферат диссертации на соискание ученой степени канд.психолог.наук / А. И. Тоом, 1991. - 18 с. - Текст : непосредственный.Барсук В.И. Диалоговая система экстремального математического моделирования многосвязных процессов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / В. И. Барсук, 1990. - 15 с. - Текст : непосредственный.Юдовина Е.Ф. Лингвистическое моделирование процесса общения конечного пользователя с реляционными базами данных и его программная реализация : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / Е. Ф. Юдовина, 1991. - 24 с. - Текст : непосредственный.Салкиндер Ю.Б. Инструментальная система для интерактивного конструирования сценариев диалога с пользователем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Ю. Б. Салкиндер, 1991. - 17 с. - Текст : непосредственный.Лищитович Н.К. Методы конструирования и контроля информационных зависимостей в диалоговых системах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Н. К. Лищитович, 1991. - 16 с. - Текст : непосредственный.Кондрашев А.В. Исследование и реализация универсальной диалоговой вычислительной системы : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. В. Кондрашев, 1991. - 21 с. - Текст : непосредственный.Бобошко А.Ю. Средства проектирования диалоговых систем с большим объемом счетных работ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Ю. Бобошко, 1991. - 16 с. - Текст : непосредственный.Чжан Сунхуа.Анализ, разработка и реализация в виде экспертной системы средств выбора структуры локальных вычислительных сетей : Автореферат диссертации на соискание ученой степени канд.техн.канд.:05.13.13 / Чжан Сунхуа, 1993. - 20 с. - Текст : непосредственный.Климанов В.П. Методология анализа вероятностно-временных характеристик локальных вычислительных сетей составных топологий на основе аналитического моделирования : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.13 / В. П. Климанов, 1993. - 40 с. - Текст : непосредственный.Принципы установки для программных изделий кольцевой сети персонального компьютера / ВЦП. - 105 c. - Текст : непосредственный.Концепции построения локальных сетей / ВЦП. - 91 c. - Текст : непосредственный.Монтаж аппаратного и программного обеспечения для локальной сети на базе операционной системы / ВЦП. - 442 c. - Текст : непосредственный.Беляков В.Г. Методы и программные средства математического моделирования сетевых вычислительных систем : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / В. Г. Беляков, 1994. - 19 с. - Текст : непосредственный.Биренбаум М.И. Разработка методических и программно-технологических средств организации гетерогенных локальных сетей произвольной топографии : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / М. И. Биренбаум, 1993. - 16 с. - Текст : непосредственный.Хачатрян А.Э. Разработка интеллектуально-имитационного метода выбора структуры распределенных отраслевых вычислительных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / А. Э. Хачатрян, 1994. - 16 с. - Текст : непосредственный.Кораблин Ю.П. Семантические методы анализа распределенных систем : Автореферат диссертации на соискание ученой степени д-ра техн. наук:05.13.11:05.13.13 / Ю. П. Кораблин, 1994. - 40 с. - Текст : непосредственный.Ковалев А.А. Интеллектуальная система автоматизированного проектирования структур многомашинных управляющих вычислительных систем : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.12 / А. А. Ковалев, 1994. - 19 с. - Текст : непосредственный.Копейкин Ю.А. Методы и алгоритмы автоматизированного синтеза архитектур многофункциональных конвейерных вычислительных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Ю. А. Копейкин, 1994. - 16 с. - Текст : непосредственный.Ершов Н.М. Математические модели и методы обработки информации многопроцессорными вычислительными системами : Автореферат диссертации на соискание ученой степени канд. физ.-мат.наук:05.13.16 / Н. М. Ершов, 1995. - 12 с. - Текст : непосредственный.Гольцева Л.В. Аппликативная вычислительная система с интенсиональными отношениями : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Л. В. Гольцева, 1995. - 20 с. - Текст : непосредственный.
Показать все результатыВопросы сети связи и межсоединений с высокой плотностью в распределенных вычислительных системах с высокой степенью интеграции / ВЦП. - 63 c. - Текст : непосредственный.Dolev S. Uniform self-stabilizing leader electron. Pt. 1 : Complete graph protocols, 1993. - 16 p. - Текст : непосредственный.Husberg N. High level distributed transition systems in categories : Diss. / N.Husberg, 1992. - 119 p. - Текст : непосредственный.Tutorial:distributed-software engineering / ed. S. M. Shatz, ed. J. -P. Wang, 1989. - IX,279 p. p. - Текст : непосредственный.Distributed computing systems : Concepts and structures / ed. A. L. Ananda, ed. B. Srinivasan, 1991. - VII,404 p. p. - Текст : непосредственный.Multicast communication in distributed systems / ed. M. Ahamad, 1990. - VI,111 p. p. - Текст : непосредственный.Замятин, А. Ю. Сети ЭВМ и распределенные системы : Учеб.пособие. Ч. 1, 1992. - 206 с. - Текст : непосредственный.Winckler A. Kontext-sensitive Lastbalancierung : Diss. / A.Winckler, 1994. - 166 S. - Текст : непосредственный.Papatriantafilow M. How a rainbow coloring function can simulate wait-free handshaking / M.Papatriantafilow,P.Tsigas, 1994. - 12 p. - Текст : непосредственный.Boxma O.J. Queueing-theoretic solution methods for models of parallel and distributed systems / O.J.Boxma,G.Koole,Z.Liu, 1994. - 24 p. - Текст : непосредственный.DECnet routing transition from PhaseIV to PhaseV/OSI in Japan : Contributed to the intern.conf.on computing in high energy physics'94,San Francisco,Apr.21-28 1994 / F.Yuasa,H.Hirose,S.Ichii и др., 1994. - 3 p. - Текст : непосредственный.Hamidzadeh B. Centralized scheduling strategies for shared-memory multiprocessors / B.Hamidzadeh,D.J.Lilja, 1994. - 26 p. - Текст : непосредственный.Groote J.F. A correctness proof of the bakery protocol in mCRL / J.F.Groote,H.P.Korver, 1994. - 22 p. - Текст : непосредственный.Scheduling in computer and manufacturing systems / J.Blazewicz,K.H.Ecker,G.Schmidt,J.Weglarz, 1994. - IX,312 p. p. - Текст : непосредственный.Griffioen W.O.D. The bakery protocol:A comparative case-study in formal verification / W.O.D.Griffioen,H.P.Korver, 1995. - 24 p. - Текст : непосредственный.Groote J.F. Focus points and convergent process operators / J.F.Groote,J.G.Springintveld, 1995. - 34 p. - Текст : непосредственный.Bertol M.W. Effiziente Normalform-Algorithmen fur Ersetzungssysteme uber frei partiell kommutativen Monoiden : Diss. / M.W.Bertol, 1996. - VIII,114 S. S. - Текст : непосредственный.Колосова Ю.И. Реализация и анализ причинного порядка событий в распределенных вычислениях / Ю.И.Колосова, 1995. - 46 c. - Текст : непосредственный.Brovedani C. A verification of the bakery protocol combining algebraic and model-oriented techniques / C.Brovedani,A.S.Klusener, 1996. - 24 p. - Текст : непосредственный.Everaars C.T.H. Coordination of distributed/parallel multiple-grid domain decomposition / C.T.H.Everaars,F.Arbab, 1996. - 20 p. - Текст : непосредственный.
Показать все результатыБойчев Ч.Ч. Разработка методов и средств проектирования распределенных вычислительных систем с использованием экспертных систем и аналитических моделей :На примере АСУТП ГЭС : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13;05.14.02 / Ч. Ч. Бойчев, 1991. - 19 с. - Текст : непосредственный.Ченсизбаев Б.А. Разработка методов и средств обеспечения живучести распределенных вычислительных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Б. А. Ченсизбаев, 1991. - 19 с. - Текст : непосредственный.Михайлов М.Ю. Моделирование размещения данных при проектировании распределенных баз данных : Автореферат диссертации на соискание ученой степени канд.экон.наук:08.00.13 / М. Ю. Михайлов, 1991. - 18 с. - Текст : непосредственный.Ашневиц А.А. Разработка моделей для выбора КТС распределенных систем обработки данных минимальной стоимости с заданными характеристиками временных задержек и надежности : Автореферат диссертации на соискание ученой степени канд.экон.наук:08.00.13 / А. А. Ашневиц, 1990. - 18 с. - Текст : непосредственный.Каргина Л.А. Модели и процедуры управления распределенными вычислительными процессами : Автореферат диссертации на соискание ученой степени канд.экон.наук:08.00.13 / Л. А. Каргина, 1990. - 19 с. - Текст : непосредственный.Шишкин В.В. Организация и проектирование реконфигурируемых функционально распределенных систем обработки данных : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / В. В. Шишкин, 1991. - 16 с. - Текст : непосредственный.Кучеров В.П. Разработка неоднородной вычислительной сети и оценка функционирования ее компонентов : Автореферат диссертации на соискание ученой степени канд.техн.наук в форме науч.доклада / В. П. Кучеров, 1991. - 19 с. - Текст : непосредственный.Бабишин И.П. Алгоритмы управления параллелизмом транзакций в распределенных системах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / И. П. Бабишин, 1991. - 16 с. - Текст : непосредственный.Морозов С.И. Организация управления вычислениями в распределенных многопроцессорных системах с макроконвейерной обработкой данных : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / С. И. Морозов, 1991. - 18 с. - Текст : непосредственный.Курбанов Я.Э. Разработка алгоритмов и программ для управления процессами решения взаимосвязанных задач в системе распределенной обработки данных : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.25.05 / Я. Э. Курбанов, 1991. - 16 с. - Текст : непосредственный.Гагин А.А. Теоретические основы автоматизированного анализа и оптимизации распределенных информационно-вычислительных сетей с учетом надежности и живучести : Автореферат диссертации на соискание ученой степени:05.13.06,05.13.13 / А. А. Гагин, 1991. - 35 с. - Текст : непосредственный.Сарыпбеков Ж.С. Разработка методологии и инструментальных средств структурного проектирования распределенных вычислительных систем с повышенной живучестью и достоверностью информации : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.13 / Ж. С. Сарыпбеков, 1992. - 40 с. - Текст : непосредственный.Коваль И.В. Инструментальные средства САПР структур самодиагностируемых распределенных информационно-вычислительных систем на основе характеризационных принципов : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12 / И. В. Коваль, 1992. - 17 с. - Текст : непосредственный.Абдрахманов Б.К. Исследование и разработка программно-аппаратных средств интеллектуальных распределенных информационных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Б. К. Абдрахманов, 1992. - 16 с. - Текст : непосредственный.Богданова О.В. Разработка методов моделирования и оптимизации распределенных систем обработки данных на локальных вычислительных сетях : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / О. В. Богданова, 1993. - 20 с. - Текст : непосредственный.Дорофеев А.Н. Моделирование и анализ конфликтов транзакций в информационных системах на основе гетерогенных баз данных : автореф. дис. .. канд. техн. наук : 05.13.11 / А. Н. Дорофеев, 2003. - 16 с. - Текст : непосредственный.Хачатрян А.Э. Разработка интеллектуально-имитационного метода выбора структуры распределенных отраслевых вычислительных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / А. Э. Хачатрян, 1994. - 16 с. - Текст : непосредственный.Кораблин Ю.П. Семантические методы анализа распределенных систем : Автореферат диссертации на соискание ученой степени д-ра техн. наук:05.13.11:05.13.13 / Ю. П. Кораблин, 1994. - 40 с. - Текст : непосредственный.Симонова Е.В. Разработка методов и средств имитационного моделирования распределенных сетевых структур с ресурсными ограничениями : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.16 / Е. В. Симонова, 1994. - 16 с. - Текст : непосредственный.Козырев Д.Н. Разработка и исследование метода размещения потока параллельных алгоритмов в двухуровневую распределенную вычислительную систему : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Д. Н. Козырев, 1995. - 19 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽