Полное описание
> Kissin, G. The energy complexity of threshold and other functions (Preliminary version) / G. Kissin, J. T. Tromp. - Amsterdam : [s. n.], 1991. - 11 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9101). - Текст : непосредственный.
Библиогр.: с. 10-11
Перевод заглавия: Энергетическая комплексность пороговых и других функций (предварительный вариант)
| ГРНТИ | УДК | |
| 40.37.31 | 004.312.46 |
Рубрики:
Переключательные схемы
Кл.слова (ненормированные): ПЕРЕКЛЮЧАТЕЛЬНАЯ СХЕМА -- ПЕРЕКЛЮЧАТЕЛЬНАЯ СХЕМА
Доп. точки доступа:
Tromp, J.T.
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16212/CS-R9101)>
Шифр в сводном ЭК: ca954977fdc1b4166b1db6d6e18ebcf3
Tromp J.T. How to construct an atomic variable / J. T. Tromp, 1989. - 23 p. - Текст : непосредственный.Kissin G. energy complexity of threshold and other functions (Preliminary version) / G. Kissin, J. T. Tromp, 1991. - 11 p. - Текст : непосредственный. Tromp J.T. More computations on Gauss' lattice point problem / J.T.Tromp, 1990. - 10 p. - Текст : непосредственный.Hoepman J.H. Binary snapshots / J.H.Hoepman,J.T.Tromp, 1993. - 8 p. - Текст : непосредственный.Kissin G. Upper and lower bounds on switching energy in VLSI / G.Kissin, 1990. - 35 p. - Текст : непосредственный.Tromp J.T. Randomized wait-free test-and-set / J.T.Tromp,P.M.B.Vit@Wanyi, 1991. - 13 p. - Текст : непосредственный.Tromp J.T. Associative storage modification machines / J.T.Tromp,P. van Emde Boas, 1990. - 13 p. - Текст : непосредственный.Gruau F.C. Cellular gravity / F.C.Gruau,J.T.Tromp, 1999. - 10 p. - Текст : непосредственный.Tromp J.T. On update-last schemes / J.T.Tromp, 1992. - 3 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. - Текст : непосредственный.
Показать все результатыБрой М. Информатика. Основополагающее введение : Пер. с нем.:В 4-х ч. Ч. 2 : Вычислительные структуры и машинно-ориентированное программирование, 1996. - 224 с. - Текст : непосредственный.Kissin G. energy complexity of threshold and other functions (Preliminary version) / G. Kissin, J. T. Tromp, 1991. - 11 p. - Текст : непосредственный.
Дискретная математика: переключательные функции : Учеб. пособие / И.В.Герасимов,А.В.Крайников,В.С.Фомичесв,Л.А.Чугунов, 1997. - 80 с. - Текст : непосредственный.Орлов С.П. Арифметика ЭВМ и логические основы переключательных функций : учеб. пособие / С.П. Орлов, Б.В. Мартемьянов, 2004. - 196 с. - Текст : непосредственный.Stability of coherent data traffic in a switching network : Submitted to the real time 95 conf.,East Lansing,MI,U.S.A.,May 23-26 1995,and will be publ.in the IEEE Transactions on Nucl.Sci. / Y.Nagasaka,M.Nomachi,O.Sasaki,A.Manabe, 1996. - 5 p. - Текст : непосредственный.Дудко А.Л. Неблокирующие коммутационные схемы / А.Л.Дудко, 1990. - 59 c. - Текст : непосредственный.Шифрин Б.М. Основы теории переключательных схем : Текст лекций / Б. М. Шифрин, И. В. Пашковский, Б. А. Филимонов, 2000. - 30 с. - Текст : непосредственный.Никитюк Н.М. Crossbar switches with algebraic structure for multiprocewssor systems / Н.М.Никитюк, 1993. - 11 p. - Текст : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
Tutorial:Microprogramming and firmware engineering / Ред.Compl. V. Milutinovic, 1989. - VII,409 p. p. - Текст : непосредственный.Кангин В.В. Multiprog и UltraLogik - системы программирования промышленных контроллеров / В. В. Кангин, М. В. Кангин, Д. Н. Ямолдинов, 2008. - 112 с. - Текст : непосредственный.Springer series in advanced microelectronics / ed.: K. Itoh [et al.]. 18 : Microcontrollers in practice / M. Mitescu, I. Susnea, 2005. - XV, 250 p. - Текст : непосредственный.Springer series in advanced microelectronics / ed.: K. Itoh, T. Lee [at al.]. 18 : Microcontrollers in practice / M. Mitescu, I. Susnea, 2005. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Медведева М.В. Клеточная самоорганизация программируемых отказоустойчивых мультимикроконтроллеров / М. В. Медведева, М. В. Медведева, А. В. Медведев, В. А. Колосков, Ф. А. Старков, 2000. - 200 с. - Текст : непосредственный.Триханов А.В. Алгоритмизация и микропрограммирование операций ЭВМ (множества, графы, кубы, кубические покрытия) / А. В. Триханов, 1995. - 107 c. - Текст : непосредственный.Элементы проектирования микропроцессорных устройств и систем : учебное пособие / С. В. Тюрин, В. А. Кондусов, А. В. Турецкий, А. В. Кудрявцев, 2008. - 89 с. - Текст : непосредственный.Баранов В.Н. Применение микроконтроллеров AVR: схемы, алгоритмы, программы / В. Н. Баранов, 2006. - 288 с. - Текст : непосредственный.Зайдман С.А. Разработка и оптимизация технологии изготовления многоуровневых коммутационных плат на большеразмерных металлодиэлектрических подложках : специальность 05.27.06 "Технология и оборудование для производства полупроводников, материалов и приборов электронной техники" : автореферат диссертации на соискание ученой степени канд.техн.наук / С. А. Зайдман, 1992. - 25 с. - Текст : непосредственный.Комплект БИС К1804 в процессорах и контроллерах / В. М. Мещеряков, И. Е. Лобов, С. С. Глебов ; Ред. В. Б. Смолов, 1990. - 255 с. - Текст : непосредственный.Аввакумов И.А. Контроллер Крейта КАМАК/ВЕКТОР для работы с персональным компьютером IBM PC/XT/AT / И. А. Аввакумов, П. В. Мамаков, М. Ю. Матвеев, 1993. - 10 c. - Текст : непосредственный.Матвеев М.Ю. Дополнительные контроллеры в стандарте EUR6500 для съема, фильтрации и буферизации информации / М. Ю. Матвеев, 1993. - 13 c. - Текст : непосредственный.Иди Ф. Сетевой и межсетевой обмен данными с микроконтроллерами : монография / Ф. Иди, 2007. - 368 с. - Текст : непосредственный.Редькин П.П. Микроконтроллеры ARM7 семейства LPC2000 : методический материал / П. П. Редькин, 2007. - 558 с. - Текст : непосредственный.Гладштейн М.А. Микроконтроллеры семейства Z86 фирмы ZILOG / М. А. Гладштейн, 1999. - 96 с. - Текст : непосредственный.Бродин В.Б. Микроконтроллеры. Архитектура, программирование, интерфейс / В. Б. Бродин, И. И. Шагурин, 1999. - 399 с. - Текст : непосредственный.Мишель Ж. Программируемые контроллеры : монография / Ж. Мишель, 1992. - 320 с. - Текст : непосредственный.Редькин П.П. 32/16-битные микроконтроллеры ARM7 семейства АТ91SAM7 фирмы Atmel : методический материал / П. П. Редькин, 2008. - 699 с. - Текст : непосредственный.Кижук А.С. Микроконтроллеры в системах управления : учебное пособие / А. С. Кижук, 2009. - 203 с. - Текст : непосредственный.Магда Ю.С. Микроконтроллеры PIC 24. Архитектура и программирование / Ю. С. Магда, 2009. - 239 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽