Приложение
для AndroidПолное описание
Israeli, A. Optimal multi-writer multi-reader atomic register / A.Israeli,A.Shaham. - Amsterdam : [s. n.], 1992. - 33 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9235). - Текст : непосредственный.
Библиогр.:с.32-33.
| ГРНТИ | УДК | |
| 50.09 | 004.314 |
Рубрики:
Регистры вычислительных машин
Доп. точки доступа:
Shaham, A.
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16212/CS-R9235)
Шифр в сводном ЭК: 0bf0c796266ac47bca27bfd80113585d
Dolev S. Uniform self-stabilizing leader electron. Pt. 1 : Complete graph protocols, 1993. - 16 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. - Текст : непосредственный.
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. - 176 c. - Текст : непосредственный.Тихоненков В.А. Температурные погрешности тензорезисторных датчиков и методы их компенсации / В. А. Тихоненков, А. И. Тихонов, 1996. - 148 с. - Текст : непосредственный.Ботыгин И.А. Универсальный дискретный интерфейс на базе микроконтроллера КМ 1816ВЕ51 / И. А. Ботыгин, В. К. Погребной, М. А. Сонькин, 1996. - 95 с. - Текст : непосредственный.Элементы и приборы систем управления : сборник научных трудов / Челябинский гос. технический ун-т, 1996. - 150 с. - Текст : непосредственный.Чапаев В.С. Линейный асинхронный электропривод с дискретным магнитожидкостным слоем управления : специальность 05.09.03 "Электротехнические комплексы и системы" : автореферат диссертации на соискание ученой степени канд. техн. наук / В. С. Чапаев, 2001. - 20 с. - Текст : непосредственный.Панюкова Т.А. Языки и методы программирования. Создание простых GUI-приложений с помощью Visual C++ : выставочные материалы / Т. А. Панюкова, А. В. Панюков, 2013. - 140 с. - Текст : непосредственный.Элементы и устройства автоматических систем : сборник / Научно-исследовательский ин-т автоматики и электромеханики (Томск), 1989. - 216 с. - Текст : непосредственный.Применение микропроцессоров, микро- и персональных ЭВМ : материалы временных коллективов / Урало-Сибирский Дом экономической и науч.-технической пропаганды (Челябинск), 1990. - 74 с. - Текст : непосредственный.Бабаян Р.Р. Аналоговые и аналого-цифровые устройства на основе быстродействующих компараторов / Р. Р. Бабаян, 1990. - 44 c. - Текст : непосредственный.Кармазинский А.Н. Анализ и синтез цифровых устройств / А. Н. Кармазинский, 1989. - 67 c. - Текст : непосредственный.Подчукаев А.В. Прямой метод аналитического синтеза сингулярных регуляторов : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : автореферат диссертации на соискание ученой степени канд. техн. наук / А. В. Подчукаев, 2002. - 16 с. - Текст : непосредственный.Садовая И.М. Оценка точности моделей задержек фрагментов субмикронных МОП БИС / И. М. Садовая, 2004. - 16 с. - Текст : непосредственный.Алешин Ю.К. Диагностика поверхностных и объемных структурных модификаций различных веществ с использованием пьезокварцевого сенсора : специальность 01.04.03 "Радиофизика", 01.04.01 "Приборы и методы экспериментальной физики" : диссертация на соискание ученой степени канд. физ.-мат. ннаук / Ю. К. Алешин, 2009. - 22 с. - Текст : непосредственный.Гришкин А.С. Генераторы псевдослучайных символов на регистрах сдвига с внутренними сумматорами по модулю при использовании инвесных выходов : специальность 05.13.05 "Элементы и устройства вычислительной техники и систем управления" : диссертация на соискание ученой степени канд. техн. наук / А. С. Гришкин, 2006. - 17 с. - Текст : непосредственный.Кангин В.В. Multiprog и UltraLogik - системы программирования промышленных контроллеров / В. В. Кангин, М. В. Кангин, Д. Н. Ямолдинов, 2008. - 112 с. - Текст : непосредственный.Радионов А.А. Электрооборудование и электроавтоматика : выставочные материалы / А. А. Радионов, 2011. - 127 с. - Текст : непосредственный.Плешакова Л.А. Энерго-информационное моделирование волоконно-оптических датчиков фазовой модуляции : специальность 05.13.05 "Элементы и устройства вычислительной техники и систем управления" : диссертация на соискание ученой степени канд. техн. наук / Л. А. Плешакова, 2007. - 22 с. - Текст : непосредственный.Хаметов Р.К. Моделирование системы измерения малых расстояний с помощью пассивного датчика : специальность 05.13.18 "Математическое моделирование,численные методы и комплексы программ" : диссертация на соискание ученой степени канд. техн. наук / Р. К. Хаметов, 2007. - 16 с. - Текст : непосредственный.Springer series on chemical sensors and biosensors / ed. O. S. Wolfbeis. 3 : Frontiers in chemical sensors : novel principles and techniques / ed. G. Orellana, M. C. Moreno-Bondi, 2005. - XII, 370 p. - Текст : непосредственный.Springer series in advanced microelectronics / ed.: K. Itoh [et al.]. 18 : Microcontrollers in practice / M. Mitescu, I. Susnea, 2005. - XV, 250 p. - Текст : непосредственный.
Показать все результатыБоханко А.С. Распределение регистров методом раскраски графа несовместимости для современных вычислительных систем : автореф. дис. .. канд. техн. наук: 05.13.11 / А.С. Боханко, 2005. - 23 с. - Текст : непосредственный.Israeli A. Optimal multi-writer multi-reader atomic register / A.Israeli,A.Shaham, 1992. - 33 p. - Текст : непосредственный.
Заказ фрагмента документа ₽