Приложение
для AndroidПолное описание
Romijn, J. M.T. Tackling the Dagstuhl'94 specification problem with I/O automata / J.M.T.Romijn. - Amsterdam : [s. n.], 1996. - 32 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9617). - 5000 р. - Текст : непосредственный.
Библиогр.:с.29-30
| ГРНТИ | УДК | |
| 50.39.19 | 004.75-047.58 |
Рубрики:
Вычислительные системы распределенные -- Моделирование
Имеются экземпляры в отделах: всего 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 с. - Текст : непосредственный.
Показать все результатыСимонова Е.В. Разработка методов и средств имитационного моделирования распределенных сетевых структур с ресурсными ограничениями : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.16 / Е. В. Симонова, 1994. - 16 с. - Текст : непосредственный.Барджис Ю.А. Структурное моделирование компьютерных сетей с использованием распределенных информационно-вычислительных систем (на примере автоматизированных систем правовой информации) : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Ю. А. Барджис, 1996. - 19 с. - Текст : непосредственный.Ляпунцова Е.В. Информационно-семиотические модели распределенных систем переработки информации : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.17 / Е. В. Ляпунцова, 1996. - 36 с. - Текст : непосредственный.Тарасюк И.В. Эквивалентностные понятия для моделей параллельных и распределительных систем : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / И. В. Тарасюк, 1997. - 19 с. - Текст : непосредственный.Вознесенская Т.В. Исследование эффективности алгоритмов синхронизации времени для систем распределенного имитационного моделирования : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:05.13.11 / Т. В. Вознесенская, 2001. - 16 с. - Текст : непосредственный.Соколов А.Е. Моделирование и анализ распределенных информационно-вычислительных систем на основе аппарата стохастических сетей : Автореферат диссертации на соискание ученой степени канд. техн. наук :05.13.18 / А. Е. Соколов, 2001. - 16 с. - Текст : непосредственный.Шахин Ф. Разработка метода и алгоритмов статистического моделирования матричных устройств сопряжения распределенных автоматизированных систем : Автореферат диссертации на соискание ученой степени канд. техн. наук :05.13.06 / Ф. Шахин, 2001. - 15 с. - Текст : непосредственный.Савельев А.А. Метод моделирования распределенных вычислительных сетей в составе автоматизированных систем управления : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.06 / А. А. Савельев, 1990. - 12 с. - Текст : непосредственный.Илюшечкина Л.В. Разработка средств моделирования для исследования систем распределенной обработки информации : автореф. дис. .. канд. техн. наук : 05.13.01 / Л. В. Илюшечкина, 2003. - 22 с. - Текст : непосредственный.Коренев И.В. Математическое и программное обеспечение моделирования распределенных систем с гетерогенными потоками данных : автореф. дис. .. канд. техн. наук : 05.13.11 / И. В. Коренев, 2002. - 17 с. - Текст : непосредственный.Romijn J.M.T. Tackling the Dagstuhl'94 specification problem with I/O automata / J.M.T.Romijn, 1996. - 32 p. - Текст : непосредственный.Устименко А.П. Причинно-следственные структуры с цветными фишками / А.П.Устименко, 1997. - 22 с. - Текст : непосредственный.Чурина Т.Г. Моделирование динамических конструкций языка SDL посредством раскрашенных сетей Петри / Т.Г.Чурина, 2000. - 35 с. - Текст : непосредственный.Окунишникова Е.В. Представление временных конструкций Estelle в различных моделях временных сетей Петри / Е.В.Окунишникова, 1999. - 32 с. - Текст : непосредственный.Методы и средства моделирования вычислительных процессов в многопроцессорных и распределенных системах на основе CF-сетей : автореф. дис. .. д-ра техн. наук : 05.13.11 / О. М. Омаров, 2006. - 34 с. - Текст : непосредственный.Методы и модели расчета вероятностно-временных характеристик коммутирующих сетей в автоматизированных системах (на примере системы экологического мониторинга) : автореф. дис. .. канд. техн. наук : 05.13.01, 05.13.13 / Ферас Матарнех, 2007. - 16 с. - Текст : непосредственный.Математическое моделирование средств управления ресурсами и данными в распределенных и виртуализованных средах : автореф. дис. .. д-ра физ.-мат. наук : 05.13.18 / А. Г. Тормасов, 2008. - 37 с. - Текст : непосредственный.Моделирование переноса и поиска данных в децентрализованной распределенной системе, использующей N-k-схему хранения информации : автореф. дис. .. канд. физ.-мат. наук : 05.13.18 / В. А. Петров, 2008. - 23 с. - Текст : непосредственный.Алексеев А.И. Разработка математических моделей хранения и обработки данных большой размерности с высокой степенью достоверности : автореф. дис. .. канд. техн. наук : 05.13.18 / А. И. Алексеев, 2009. - 24 с. - Текст : непосредственный.Шляхова Н.И. Разработка математической модели оптимизации структуры распределенной информационной системы : автореф. дис. .. канд. техн. наук : 05.13.18 / Н. И. Шляхова, 2009. - 21 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽