Полное описание
> Glamm, B. Automatic verification of instruction set simulation using synchronized state comparison / B.Glamm,D.J.Lilja. - Minniapolis(Mn) : [s. n.], 2000. - 7 p. : ill. - (UMSI research report / Univ.of Minnesota ; 2000/211). - Текст : непосредственный. Библиогр.:с.7
Рубрики: Вычислительные машины -- Архитектура
Кл.слова (ненормированные): ВЫЧИСЛИТЕЛЬНАЯ МАШИНА
Доп. точки доступа: Lilja, D.J.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/17401/2000/211)>
Шифр в сводном ЭК: 2959c960ef66eb0ae7847af1655e4dc0
Hamidzadeh B. Centralized scheduling strategies for shared-memory multiprocessors / B. Hamidzadeh, D. J. Lilja, 1994. - 26 p. - Текст : непосредственный. KleinOsowski A.J. Performance analysis of a novel cache architecture for speculative multithreaded computer systems / A. J. KleinOsowski, D. J. Lilja, 2001. - 9 p. - Текст : непосредственный. Abts D. Toward complexity-effective verification : сборник научных трудов / D. Abts, D. J. Lilja, S. Scott, 2000. - 13 p. - Текст : непосредственный. Abts D. balanced approach to high-level verification: performance tradeoffs in verifying large-scale multiprocessors / D. Abts, M. Roberts, D. J. Lilja, 1999. - 3 l. - Текст : непосредственный. Kazi I.H. comprehensive dynamic processor allocation scheme for multiprogrammed multiprocessor systems / I. H. Kazi, D. J. Lilja, 2000. - 25 p. - Текст : непосредственный. Zhao Q. Using hyperprediction to compensate for delayed updates in value predictors / Q. Zhao, S. J. Lee, D. J. Lilja, 2001. - 27 p. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Yi J.J. analysis of the potential for global level value reuse in the SPEC 95 and SPEC 2000 benchmarks / J.J.Yi,D.J.Lilja, 2001. - 20 p. - Текст : непосредственный. Gorbatenko G.G. Performance of two-dimensional data models for I/O limited non-numeric applications / G.G.Gorbatenko,D.J.Lilja, 2002. - 12 p. - Текст : непосредственный. VanderWiel S.P. compiler-assisted data prefetch controller / S.P.VanderWiel,D.J.Lilja, 1999. - 22 p. - Текст : непосредственный. Glamm B. Automatic verification of instruction set simulation using synchronized state comparison / B.Glamm,D.J.Lilja, 2000. - 7 p. - Текст : непосредственный. Huang J. Compiler-assisted sub-block reuse / J.Huang,D.J.Lilja, 2000. - 21 p. - Текст : непосредственный. Lilja D.J. When all else fails, guess : The use of speculative multithreading for high-performance computing / D.J.Lilja, 2000. - 10 p. - Текст : непосредственный. Zhao Q. Compiler-directed static classification of value locality behavior / Q.Zhao,D.J.Lilja, 2000. - 25 p. - Текст : непосредственный. Показать все результаты Charnes J.M. Detecting bribery in Jai Alai with control charts / J. M. Charnes, H. S. Gitlow, 1993. - 11 p. - Текст : непосредственный. Podladchikov Y.Y. The role of lithospheric phase transitions for sedimentary basin formation / Y. Y. Podladchikov, A. N.B. Poliakov, D. A. Yuen, 1993. - 13 p. - Текст : непосредственный. Martinez-Herrera J.I. Viscous sintering of spherical particles via finite element analysis / J. I. Martinez-Herrera, J. J. Derby, 1993. - 13 p. - Текст : непосредственный. three-dimensional computation of the force and moment on an ellipsoid settling slowly through a viscoelastic fluid / J. Feng, D. D. Joseph, R. Glowinski, T. W. Pan, 1993. - 25 p. - Текст : непосредственный. Binggeli N. Simulating the amorphization of a-quartz under pressure / N. Binggeli, J. R. Chelikowsky, R. M. Wentzcovitch, 1993. - 12 p. - Текст : непосредственный. crystal structure of the liver fatty acid biding protein.A complex with two bound oleates / J. Thompson, N. Winter, D. Terwey, J. Bratt, 1996. - 41 p. - Текст : непосредственный. Cramer C.J. Development and biological applications of quantum mechanical continuum solvation models / C. J. Cramer, D. G. Truhlar, 1994. - 46 p. - Текст : непосредственный. Cramer C.J. Problems and questions in the molecular modeling of biomolecules / C. J. Cramer, 1994. - 8 p. - Текст : непосредственный. Lyrintzis A.S. The use of a rotating Kirchhoff formulation for High-Speed Impulsive noise / A. S. Lyrintzis, Y. Xue, M. S. Kilaras, 1994. - 10 p. - Текст : непосредственный. Khankari K.K. Applicationof a numerical model for prediction in moisture migration in stored grain / K. K. Khankari, R. V. Morey, S. V. Patankar, 1993. - 19 p. - Текст : непосредственный. Sargent A.L. Electron delocalization in helical bis-quinone anion radicals / A. L. Sargent, J. Almlof, C. A. Liberko, 1994. - 19 p. - Текст : непосредственный. Kannel M.J. Finite element analysis of riveted connections : сборник научных трудов / M. J. Kannel, 1994. - 282 p. - Текст : непосредственный. Formation of the radical anion of cubene and determination of formation, heat of hydrogenation, and olefin strain energy of cubene / P. O. Staneke, S. Ingemann, P. Eaton, M. M. Nico, 1994. - 10 p. - Текст : непосредственный. Roeggen I. An accurate calculation of the three-body potential for the ground state of the helium trimer / I. Roeggen, J. Almlof, 1995. - 41 p. - Текст : непосредственный. 3D simulation of flow problems with parallel finite element computations on the Cray T3D / T. Tezduyar, S. Aliabadi, M. Behr, A. Johnson, 1995. - 9 p. - Текст : непосредственный. Keller K.A. three-dimensional simulation of the Kelvin-Helmholtz instability / K. A. Keller, R. L. Lysak, Y. Song, 1999. - 12 p. - Текст : непосредственный. Lee D.-H. MHD waves in a three-dimensional dipolar magnetic field:a search for Pi2 pulsations / D.-H. Lee, R. L. Lysak, 1999. - 17 p. - Текст : непосредственный. Lysak R.L. role of Alfven waves in the formation of Auroral parallel electric fields / R. L. Lysak, Y. Song, 1999. - 19 p. - Текст : непосредственный. Charnes J.M. Vector-autoregressive inference for equally spaced,time-averaged,multiple queue length processes / J. M. Charnes, E. I. Chen, 1994. - 7 p. - Текст : непосредственный. Dai W. Interactions between magnetohydrodynamical discontinuities / W. Dai, P. R. Woodward, 1994. - 26 p. - Текст : непосредственный. Показать все результаты Двухжидкостная модель расчета двухфазных потоков в тепловыделяющих сборках реакторов (уравнения, система замыкающих коэффициентов) / Г. П. Богословская, И. Л. Богатырев, А. В. Жуков, 1991. - 36 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Glamm B. Automatic verification of instruction set simulation using synchronized state comparison / B.Glamm,D.J.Lilja, 2000. - 7 p. - Текст : непосредственный. Takase K. Numerical prediction on turbulent heat transfer of a spacer ribbed fuel rod for high temperature gas-cooled reactors / K.Takase, 1994. - 28 p. - Текст : непосредственный. Егоров С.И. Коррекция ошибок в информационных каналах периферийных устройств ЭВМ / С. И. Егоров, 2008. - 251 с. - Текст : непосредственный. Лисенков Е.А. Исследование процессов перемешивания петлевых потоков теплоносителей в опускном канале и напорной камере реактора ВВЭР : автореф. дис. .. канд. техн. наук: 05.14.03 / Е. А. Лисенков, 2009. - 26 с. - Текст : непосредственный. Modeling of fuel performance and fission product release behavior during HTTR normal operation / K.Verfondern,J.Sumita,S.Ueta,K.Sawa, 2001. - 127 p. - Текст : непосредственный. Wissenschaftliche Berichte / FZKA. 6749 : Investigations of the appropriateness of RELAP5/MOD3 for the safety evaluation of an innovative reactor operating at thermodynamically supercritical conditions / V.H.Sanchez-Espinoza,W.Hering, 2003. - VI,68 p. p. - Текст : непосредственный. Гливенко Е.В. Параллельный процессор первичной обработки информации / Е. В. Гливенко, 1992. - 105 с. - Текст : непосредственный. Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный. Green S. Parallel processing for computer graphics / S. Green, 1991. - 233 p. - Текст : непосредственный. Tutorial : материалы временных коллективов / Ред.Compl. D. D. Gajski, 1987. - IX,593 p. p. - Текст : непосредственный. Patterson D. A. Computer organization and design. The hardware/ Software interface / D. A. Patterson, J. L. Hennessy, 2012. - XXV, 703 pag. var. p. - Текст : непосредственный. Водомеров А.Н. Методы и средства автоматизированного распараллеливания приложений в распределенной среде : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. Н. Водомеров, 2007. - 23 с. - Текст : непосредственный. Lecture notes in electrical engineering. Vol. 34 : Designing reliable and efficient networks on chips / S. Murali, 2009. - X, 198 p. - Текст : непосредственный. Network and parallel computing / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Languages and compilers for parallel computing / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Фрумкин М.А. Систолические вычисления / М. А. Фрумкин ; ред. Ю. Г. Дадаев, 1990. - 191 c. - Текст : непосредственный. Захарова Ю. Ф. Архитектура ЭВМ : Учеб. пособие. Ч. 2,3, 2007. - 112 с. - Текст : непосредственный. Жмакин А.П. Архитектура ЭВМ : учебное пособие / А. П. Жмакин, 2010. - 344 с. - Текст : непосредственный. Мищенко В.К. Архитектура высокопроизводительных вычислительных систем : учеб. пособие. Ч. 1, 2013. - 39 с. - Текст : непосредственный. MeikUS 92 : материалы временных коллективов / Ed.: A. Grant, P. Dew, 1993. - 78 p. - Текст : непосредственный. Оуграбко А.В. Основы GRID-вычислений : учебное пособие / А. В. Оуграбко, 2009. - 91 с. - Текст : непосредственный. Таненбаум Э. Архитектура компьютера / Э. Таненбаум, Т. Остин ; Пер. Е. Матвеев, 2015. - 811 с. - Текст : непосредственный. Коуги П.М. Архитектура конвейерных ЭВМ / П. М. Коуги ; Пер. Ф. В. Широков ; Ред. Б. А. Головкин, 1985. - 356 с. - Текст : непосредственный. Самсонов В.С. Представление и анализ данных : выставочные материалы / В. С. Самсонов, В. Л. Хацкевич, 2015. - 139 с. - Текст : непосредственный. Стащук П.В. Архитектура ЭВМ уровня цифровых автоматов : выставочные материалы / П. В. Стащук, 2016. - 138 с. - Текст : непосредственный. Левин И.И. Методы и программно-аппаратные средства параллельных структурно-процедурных вычислений : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей", 05.13.15 "Вычислительные машины, комплексы и компьютерные сети" : диссертация на соискание ученой степени д-ра техн. наук / И. И. Левин, 2004. - 38 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽