Зведений каталог бібліотек Харкова

Надійність і точність

Підтеми:

Документи:

Режимы организации работы вычислительных комплексов [Текст] / В.Ф. Беззубов, Ю.Н. Музелин // . — С. 13-18.
"Решетка" хранения. [Текст] / Н. Дубова // . — С. 28-33.
Розробка веб-сервісу для початкового аналізу надійності програмних засобів шляхом визначення моделей надійності програмних засобів [Текст] : пояснюв. зап. до диплом. проекту (роботи) бакалавра : 6.050102 - комп'ютерна інженерія : (робота викон. на рос. мові) / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", Ф-т радіотехн. систем літ. апаратів, Каф. комп'ютерних систем та мереж (№ 503) ; кер. Бутенко В. О. — Харків, 2016. — 67 с. + додатки.
Розробка ефективного алгоритму для аналізу якості сумішей, що містять крохмаль, по їх фотознімках, зроблених під мікроскопом [Текст] : пояснюв. зап. до дип. роботи спеціаліста : 7.04030101- прикладна математика. : (робота викон. на рос. мові) / М-во освіти і науки, молоді та спорту України, Нац. аерокосм. ун-т ім. М.Є. Жуковського "Харк. авіац. ін-т", Каф. інформ. (№304) ; кер. Карташов О. В. — Х., 2013. — 97 с. + додатки.
Розробка методики калібровки датчиків тиску [Текст] : пояснюв. зап. до вип. роботи бакалавра : 092502 - автоматизація та комп'ютерно-інтегровані технології : (робота викон. на рос. мові) / М-во освіти та науки України, Нац. аерокосм. ун-т ім. М.Є. Жуковського "Харк.авїац. ін-т", Ф-т систем управл. літ. апаратів, Каф. електротехніки та мехатроніки (№305) ; кер. Благодарний М. П. — Х., 2010. — 62 с. + додатки.
Руководство по надежному программированию [Текст] : пер. с англ. / Р. Гласс. — М. : Финансы и статистика, 1982. — 256 с.
Синтез автоматизированных систем контроля [Текст] : отчет о НИР (промежуточ.) : 506-136/78 / ХАИ ; рук. Березюк Н.Т. ; исполн.: Коробков Н.Г., Блиновская Л.С., Сирота А.Б., Хлестков В.И., Шаронов В.Б., Ялинич Ю.И., Яремчук В.П. — Х., 1978. — 102 с.
Синтез тестов и методы адаптивной диагностики цифровых устройств в системе автоматизированного проектирования [Текст] : отчет о НИР (заключ.) : 509-127/75 / ХАИ ; рук. Сироджа И.Б. ; исполн.: Мышко Е.И., Байша В.И., Борисенко Б.Н., Голубь Н.Г., Печенкин В.А., Пудовкина Л.Ф., Семенов В.П., Тупало В.Г. — Х., 1975. — 211 с.
Система дистанционного оценивания интервальной надежности программного обеспечения, предназначенного для выполнения финансовых расчетов [Текст] / Харьковский институт банковского дела УБД НБУ // . — С. 186-192.
Создание катастрофоустойчивых комплексов - от теории к практике. [Текст] / И. Кириллов // Сети и бизнес : Телекоммуникации и сети- технологии и рынок. — К. : Агентство "Интермедиа", 2005. — С. 86-93.
Спектры числовых характеристик фазовых картин объектов диагностирования [Текст] / Институт проблем точной механики и управления РАН // . — С. 148-155.
Сравнительный анализ методов восстановления пропущенных данных времени измерения доступности сервера В системах "Облачных вычислений" [Текст] / А.В. Горбенко, В.Ю. Дубницкий, В.И. Рубан // Радіоелектронні і комп'ютерні системи. — 2014. — С. 90-94.
Сравнительный анализ методов проектирования умножителей [Текст] / Одесский национальный политехнический университет, г.Одесса, Украина // . — С. 177-180.
Сравнительный анализ традиционных алгоритмов маршрутизации в компьютерной сети [Текст] / М.С. Солодовник, А.М. Асланов // Радіоелектронні і комп'ютерні системи : наук. - техн. журн. / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х. : ХАІ, 2014. — С. 98-103.
Структура понятия надежности вычислительной системы [Текст] / В.П. Воеводин // Информационные технологии. — 2013. — С. 52-55.
Структурний синтез компонентів цифрових систем на основі біноміальних чисел [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 "Комп'ютерні системи та компоненти" / Харків. нац. ун-т радіоелектроніки. — Харків, 2010. — 20 с.
Сучасні системи управління в телекомунікаціях [Текст] / за ред. В. К. Стеклова. — Київ : Техніка, 2005. — 400 с.
Таксономическая схема и методы обеспечения гарантоспособности банковских информационных систем [Текст] / Национальный аэрокосмический университет им.Н.Е.Жуковского "ХАИ", г.Харьков, Украина // . — С. 62-67.
Теория и практика надежностного проектирования структурно-алгоритмических систем [Текст] : автореф. дис. ... д-ра техн. наук : 05.13.034 - теория автоматов и логические устройства / АН ССР, Ин-т проблем управления (автоматики и телемеханики). — М., 1977. — 46 с.
Терминологические аспекты теории надежности программных средств [Текст] / О.Н. Одарущенко, Ю.Л. Поночовный, Е.Б. Одарущенко // . — С. 88-94.
Технологии Web, Grid, Cloud для гарантоспособных ИТ-инфраструктур [Текст] = Web, Grid, Cloud Technologies for Dependable IT-infrastructures / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н.Е. Жуковского "Харьк. авиац. ин-т"; под ред. В.С. Харченко, А.В. Горбенко. — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2013. — 868 с.
Технология проектирования времяпараметризованных мультипараллельных программ как стратегия развития систем параллельного программирования [Текст] / Академия наук прикладной радиоэлектроники, Россия // Радіоелектронні і комп'ютерні системи. — 2009. — С. 166-171.
Точность вычислительных устройств и алгоритмов [Текст] / под общ. ред. А. С. Шаталова. — М. : Машиностроение, 1976. — 200 с.
Управление персональными коммуникациями для кооперации университетов и индустрии в сфере компьютерных технологий [Текст] = Personal Communications Management for Academia-Industry Cooperation in Computer Technologies : тренинги / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; под ред. В. С. Харченко. — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2014. — 96 с.
Фактори надійності програмного забезпечення [Текст] / Ю.С. Манжос // Радіоелектронні і комп'ютерні системи. — 2013. — С. 305-312.
Функциональная надежность и динамические процессы в цифровых вычислительных и управляющих устройствах [Текст] : автореф. дис. ... канд. техн. наук : 05.13.13 - вычислительная техника / МАИ им. С.Орджоникидзе. — М., 1977. — 20 с.
A method of the scan checking for on-line testing of safe multithreaded bitwise pipeline system [Текст] / A. Drozd, J. Drozd, V. Nikul, M. AlDhabi // Радіоелектронні і комп'ютерні системи : наук. - техн. журн. / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х. : ХАІ, 2016. — С. 101-107.
CASE-оценка критических программных систем [Текст]. Безопасность = CASE-Assessment of Critical Software Systems : [в 3 т.] / М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; под ред. В. С. Харченко. — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2012. — 301 с.
CASE-оценка критических программных систем [Текст]. Качество = CASE-Assessment of Critical Software Systems : [в 3 т.] / М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; под ред. В. С. Харченко. — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2012. — 201 с.
CASE-оценка критических программных систем [Текст]. Надежность = CASE-Assessment of Critical Software Systems : [в 3 т.] / М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; под ред. В. С. Харченко. — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2012. — 292 с.
CISCO: несколько слов о безопасности. [Текст] / А. Волков // Argc & Argv : Программирование. Информационные технологии. Стандарты. — К. : ЧП "СИЧ", 2004. — С. 15-22.
Classification of the information integrity recovery methods in the systems of various complexity [Текст] / Национальный аэрокосмический университет им. Н.Е. Жуковского "ХАИ" // . — С. 62-65.
Event-B patterns for developing FPGA-BASED hardware [Текст] / ациональный аэрокосмический университет им.Н.Е.Жуковского "ХАИ", г.Харьков, Украина // . — C. 154-160.
Features of banking information systems dependability taxonomy [Текст] / R. Lakhyzha // Радіоелектронні і комп'ютерні системи. — 2007. — C. 53-57.
GAP- and HTT-based analysis of safety-critical systems [Текст] = GAP- и HTT- анализ критических систем / V.S. Kharchenko, A.A. Kovalenko, А.А. Siora // Радіоелектронні і комп'ютерні системи. — 2012. — С. 198-204.
Interdependence of complexity characteristics and computer systems dependability [Текст] / Національний університет "Львівська політехніка" // . — С. 46-51.
"Making web-services fault-tolerant": methods and technics [Текст] / A. Boyarchuk, V. Kharchenko // Радіоелектронні і комп'ютерні системи. — 2007. — C. 91-95.
Method of bit-by-bit tabular realization of arithmetic operations in the systemof residual classes [Текст] = Метод подзарядной табличной реализацииарифметических операций в системе остаточных классов / Украинская инженерно-педагогическая академия, г.Харьков, Украина // Радіоелектронні і комп'ютерні системи. — 2009. — С.44-48.
Modelling extreme events for the purposes of security foresight [Текст] = Моделирование экстремальных событий для прогнозирования информационной безопасти / T.D. Tagarev, P.I. Ivanova // Радіоелектронні і комп'ютерні системи. — 2012. — С. 253-259.
Multi-valued decision diagram in importance analysis [Текст] = Многоуровневые диараммы решений при анализе значимости / E. Zaitseva, V. Levashenko, J. Kostolny, V. Kharchenko // Радіоелектронні і комп'ютерні системи. — 2012. — С. 95-102.
Multi version service oriented architechtures dependability analisys [Текст] = Анализ гарантоспособности диверсных сервис-ориентированных архитектур / Национальный аэрокосмический университет им.Н.Е.Жуковского "ХАИ", г.Харьков, Украина // . — С. 18-23.
Neural Network Approach for the Control of Dynamical Systems [Текст] / N. Yadaiah, Hari Sree // Электронное моделирование. — 2004. — C. 33-42.
Risk-oriented software reliability assessment [Текст] / N. Khilchenko // Радіоелектронні і комп'ютерні системи. — 2006. — C. 175-179.
Synthesis of microprogram control unit with code sharing and modified linear chains [Текст] = Синтез микропрограммного устройства управления с разделениемкодов и модификацией операторных линейных цепей / Донецкий национальный технический университет, Украина // Радіоелектронні і комп'ютерні системи. — 2009. — С. 172-177.

1 2 3 4 5