Приложение
для AndroidПолное описание
Griffioen, W. O.D. The bakery protocol:A comparative case-study in formal verification / W.O.D.Griffioen,H.P.Korver. - Amsterdam : [s. n.], 1995. - 24 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9569). - 1000 р. - Текст : непосредственный.
Библиогр.:с.22-24
| ГРНТИ | УДК | |
| 50.39.19 | 004.75 |
Рубрики:
Вычислительные системы распределенные
Кл.слова (ненормированные): распределенная вычислительная система
Доп. точки доступа:
Korver, H.P.
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Colussi L. A predicate transformer for unification / L.Colussi,E.Marchiori, 1992. - 16 p. - Текст : непосредственный.Ponse A. Computable processes and bisimulation equivalence / A.Ponse, 1992. - 28 p. - Текст : непосредственный.Aceto L. Turning SOS rules into equations / L.Aceto,B.Bloom,F.W.Vaandrager, 1992. - 44 p. - Текст : непосредственный.Arbab F. Specification of Manifold version 1.0. / F.Arbab, 1992. - 47,A 4,B 13 p. 4,B 13 p. - Текст : непосредственный.Fernando R.T.P. Comparative transition system semantics / R.T.P.Fernando, 1992. - 21 p. - Текст : непосредственный.Eker S.M. Associative matching for linear terms / S.M.Eker, 1992. - 26 p. - Текст : непосредственный.Eker S.M. Verification of parameterised synchronous concurrent algorithms with OBJ3 : The pixel planes architecture revisited / S.M.Eker, 1992. - 17 p. - Текст : непосредственный.Veltkamp R.C. Closed G1- continuous cubic Bezier surfaces / R.C.Veltkamp, 1992. - 20 p. - Текст : непосредственный.Blake E.H. Faster phong shading / E.H.Blake,V.C.J.Disselkoen,A.A.M.Kuijk, 1992. - 16 p. - Текст : непосредственный.Kuijk A.A.M. An architecture for interactive raster graphics / A.A.M.Kuijk,E.H.Blake,P.J.W.ten Hagen, 1992. - 11 p. - Текст : непосредственный.Deursen A.van Origin tracking / A.van Deursen,P.Klint,F.Tip, 1992. - 48 p. - Текст : непосредственный.Fokkink W.J. Regular processes with relative time and silent steps / W.J.Fokkink, 1992. - 21 p. - Текст : непосредственный.Shin H. A brief survey of zero-knowledge proofs / H.Shin, 1992. - 11 p. - Текст : непосредственный.Deursen A.van Specification and generation of -calculus environment / A.van Deursen, 1992. - 17 p. - Текст : непосредственный.Raamsdonk F.van A simple proof of confluence for weakly orthogonal combinatory reduction systems / F.van Raamsdonk, 1992. - 23 p. - Текст : непосредственный.Israeli A. Optimal multi-writer multi-reader atomic register / A.Israeli,A.Shaham, 1992. - 33 p. - Текст : непосредственный.Israeli A. Linear-time snapshot protocols for unbalanced systems / A.Israeli,A.Shaham,A.Shirazi, 1992. - 10 p. - Текст : непосредственный.Eijck D.J.van Dynamic modal predicate logic / D.J.van Eijck,G.Cepparello, 1992. - 19 p. - Текст : непосредственный.Klusener A.S. The silent step in time / A.S.Klusener, 1992. - 73 p. - Текст : непосредственный.Apt K.R. On the occur-check free Prolog programs / K.R.Apt,A.Pellegrini, 1992. - 36 p. - Текст : непосредственный.
Показать все результатыМаргарян В.А. Инструментальные средства проектирования комплексных тестов многомашинных вычислительных комплексов с управляемой конфигурацией : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / В. А. Маргарян, 1994. - 19 с. - Текст : непосредственный.Кабанов В.А. Графовые модели размещения информации во внешних накопителях вычислительных систем : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.13 / В. А. Кабанов, 1994. - 20 с. - Текст : непосредственный.Косых В.С. Разработка и исследование методов оптимизации передачи информации в вычислительных сетях путем динамического регулирования загрузки : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / В. С. Косых, 1994. - 22 с. - Текст : непосредственный.Карпенко А.П. Параметрическое согласование вычислительных алгоритмов с архитектурой многопроцессорных систем : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 05.13.18 / А. П. Карпенко, 1994. - 37 с. - Текст : непосредственный.Козырев Д.Н. Разработка и исследование метода размещения потока параллельных алгоритмов в двухуровневую распределенную вычислительную систему : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Д. Н. Козырев, 1995. - 19 с. - Текст : непосредственный.Кузнецов Ю.А. Методы и средства организации структуры информационной базы в вычислительных сетях : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.13 / Ю. А. Кузнецов, 1995. - 19 с. - Текст : непосредственный.Богуславский Л.Б. Вероятностные методы и модели управления потоками данных и ресурсами в сетях и многопроцессорных системах : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.13 / Л. Б. Богуславский, 1995. - 38 с. - Текст : непосредственный.Шабалин А.Н. Математические методы и информационные технологии для исследования динамики встроенной надежности вычислительных систем : Автореферат диссертации на соискание ученой степени д-ра техн. наук:05.13.16 / А. Н. Шабалин, 1996. - 34 с. - Текст : непосредственный.Тимофеев Е.А. Оптимизация очередей в вычислительных системах : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17 / Е. А. Тимофеев, 1996. - 25 с. - Текст : непосредственный.Капитонова А.П. Методы и средства прогнозирования времени выполнения последовательных фрагментов программ на вычислителях с различной архитектурой : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. П. Капитонова, 1997. - 12 с. - Текст : непосредственный.Поступальский П.А. Исследование и разработка методов верификации протоколов распределенных систем на основе биссимуляционной эквивалентности сетей Петри : Автореферат диссертации на соискание ученой степени канд.техн.наук:04.13.11 / П. А. Поступальский, 1997. - 19 с. - Текст : непосредственный.Чефранов А.Г. Методы и средства адаптивного управления ресурсами параллельно-конвейерных вычислительных систем : Автореферат диссертации на соискание ученой степени д-ра техн. наук: 05.13.13, 05.13.16 / А. Г. Чефранов, 1998. - 32 с. - Текст : непосредственный.Оленин А.С. Структурно-алгоритмическая адаптация числовых вычислений : Автореферат диссертации на соискание ученой степени д-ра физ-мат. наук:05.13.16 / А. С. Оленин, 1994. - 16 с. - Текст : непосредственный.Лашт Д.Г. Разработка программного инструментария управления маршрутизацией информационных потоков в корпоративных вычислительных сетях : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.06 / Д. Г. Лашт, 1999. - 18 с. - Текст : непосредственный.Демуськов А.Б. Организация мониторинга параметров вычислительного процесса в комплексах и сетях ЭВМ при натурных и имитационных экспериментах : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.13 / А. Б. Демуськов, 1999. - 20 с. - Текст : непосредственный.Заборовский В.С. Методы и средства исследования процессов в высокоскоростных компьютерных сетях : Автореферат диссертации на соискание ученой степени д-ра техн. наук:05.13.01 / В. С. Заборовский, 1999. - 32 с. - Текст : непосредственный.Агеенко И.В. Метод и средства автоматизации исследования вычислительного процесса информационных систем в локальных вычислительных сетях : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.13 / И. В. Агеенко, 1999. - 20 с. - Текст : непосредственный.Аляева Ю.В. Разработка методов и инструментальных средств прогнозирования качественных характеристик мультикомпьютерных систем : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.13 / Ю. В. Аляева, 2000. - 20 с. - Текст : непосредственный.Анохин А.В. Проблемы масштабируемости и неоднородности в архитектуре вычислительных суперсистем : Автореферат диссертации на соискание ученой степени д-ра техн. наук: 05.13.13 / А. В. Анохин, 2000. - 30 с. - Текст : непосредственный.Афанасьев С.С. Исследование методов повышения надежности управляющих локальных сетей : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.12.13 / С. С. Афанасьев, 2001. - 19 с. - Текст : непосредственный.
Показать все результатыВопросы сети связи и межсоединений с высокой плотностью в распределенных вычислительных системах с высокой степенью интеграции / ВЦП. - 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 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽