Приложение
для AndroidПолное описание
Гаращенко, Антон Витальевич. Разработка методики и алгоритмов верификации гетерогенных многоядерных систем на основе графовой модели иерархии когерентной кэш-памяти : специальность 05.13.01 Системный анализ, управление и обработка информации (технические системы): автореферат диссертации на соискание ученой степени кандидата технических наук / Гаращенко Антон Витальевич ; Национальный исследовательский университет (МИЭТ), Институт системной и программной инженерии и информационных технологий. - 2021. - 24 с. : ил. - Библиогр.: с. 22-24 (12 назв.). - 80 экз. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 50.01.81 | 004.3.052.32(043) | |
| 50.11.99 | 004.254(043) | |
| 004.312.052.32(043) |
Кл.слова (ненормированные): ВЕРИФИКАЦИОННЫЕ ПОСЛЕДОВАТЕЛЬНОСТИ -- ИНТЕГРАЛЬНЫЕ СХЕМЫ -- СИСТЕМНОЕ ТЕСТИРОВАНИЕ -- ТЕСТОВОЕ ПОКРЫТИЕ -- ЦИФРОВЫЕ СХЕМЫ
Доп. точки доступа:
"МИЭТ", национальный исследовательский университет (Москва). Институт системной и программной инженерии и информационных технологий
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар21-3747)
Шифр в сводном ЭК: 415f064aab86e3d8f7b5b4829c82db90
Гаращенко, Антон Витальевич. Разработка методики и алгоритмов верификации гетерогенных многоядерных систем на основе графовой модели иерархии когерентной кэш-памяти : специальность 05.13.01 Системный анализ, управление и обработка информации (технические системы): автореферат диссертации на соискание ученой степени кандидата технических наук / Гаращенко Антон Витальевич, 2021. - 24 с. - Текст : непосредственный.Гагарина, Лариса Геннадьевна. Конструирование программного обеспечения : Учебное пособие / Московский институт электронной техники. - 319 с. - Текст : электронный.
Гаращенко, Антон Витальевич. Разработка методики и алгоритмов верификации гетерогенных многоядерных систем на основе графовой модели иерархии когерентной кэш-памяти : специальность 05.13.01 Системный анализ, управление и обработка информации (технические системы): автореферат диссертации на соискание ученой степени кандидата технических наук / Гаращенко Антон Витальевич, 2021. - 24 с. - Текст : непосредственный.Аунг Чжо Мьо.Исследование и разработка средств повышения эффективности процессов передачи и обработки информации в автоматизированных системах управления энергообеспечением промышленных объектов : специальность: 2.3.3. - "Автоматизация и управление технологическими процессами и производствами (технические науки)": автореферат диссертации на соискание ученой степени кандидата технических наук / Аунг Чжо Мьо, 2022. - 25 с. - Текст : непосредственный.Шевнина, Юлия Сергеевна. Теоретические основы построения смарт-структур для управления автоматизированными производственными процессами в микроэлектронике : специальность 2.3.3. Автоматизация и управление технологическими процессами и производствами: автореферат диссертации на соискание ученой степени доктора технических наук / Шевнина Юлия Сергеевна, 2022. - 48 с. - Текст : непосредственный.Петров, Евгений Николаевич. Исследование и разработка методики и алгоритма обработки и структуризации библиографических записей : специальность 2.3.1 - Системный анализ, управление и обработка информации, статистика: автореферат диссертации на соискание ученой степени кандидата технических наук / Петров Евгений Николаевич, 2024. - 24 с. - Текст : непосредственный.Шевнина, Юлия Сергеевна. Информационно-измерительные и управляющие системы производственными процессами для микро- и наноэлектроники : специальность 2.2.11. Информационно-измерительные и управляющие системы: автореферат диссертации на соискание ученой степени доктора технических наук / Шевнина Юлия Сергеевна, 2024. - 40 с. - Текст : непосредственный.
Фролов А.Б. Модели и методы технической диагностики / А. Б. Фролов, 1990. - 47 с. - Текст : непосредственный.Зимнович Р.В. Программно-диагностический комплекс для управления состоянием многопараметрических технических объектов на основе методов семантического анализа : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / Р. В. Зимнович, 2007. - 27 с. - Текст : непосредственный.Бочкарев С.В. Диагностика и надежность автоматизированных систем / С. В. Бочкарев, А. И. Цаплин, 2006. - 262 с. - Текст : непосредственный.Сборник научных трудов. № 17 : Диагностика и прогнозирование состояния сложных систем, 2007. - 77 с. - Текст : непосредственный.DRAM:Data book, 1993. - Pag var. var. - Текст : непосредственный.Птицына Л.К. Модели и методы анализа вычислительных процессов при функциональном диагностировании динамических систем / Л. К. Птицына, В. В. Бородин, 1997. - 106 с. - Текст : непосредственный.KleinOsowski A.J. Performance analysis of a novel cache architecture for speculative multithreaded computer systems / A. J. KleinOsowski, D. J. Lilja, 2001. - 9 p. - Текст : непосредственный.ISSTA'09 : материалы временных коллективов / International symposium on software testing & analysis (2009 ; Chicago, Il), 2009. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.McCrindle J. Smart cards / J. McCrindle, 1990. - 223 p. - Текст : непосредственный.Латышев А.В. Диагностирование непрерывных систем и цепей / А. В. Латышев, 1990. - 46 c. - Текст : непосредственный.Галушкин А.И. Нейронные системы памяти : Учеб.пособие. Ч. 1, 1991. - 177 с. - Текст : непосредственный.Галушкин А.И. Нейронные системы памяти : Учеб.пособие. Ч. 2, 1991. - 116 с. - Текст : непосредственный.Hardware and software, verification and testing / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный.Perry W.A. Handbook of diagnosing and solving computer problems / W. A. Perry, 1989. - XII,255 p. мкф. - Текст : непосредственный.Prace / Inst. podstaw informatyki. 655 : Wplyw liniowych sprzezen zwrotnych na skutecznosc analizy sygnaturowej uszkodzen / A.Hlawiczka,K.Mostowski, 1989. - 63 s. - Текст : непосредственный.Construction and analysis of safe, secure, and interoperable smart devices / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.Formal approaches to software testing / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.Testing of communicating systems / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.Гукин Д. Устранение неисправностей в ПК для "чайников" : монография / Д. Гукин, 2006. - 351 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Захарова Л.Е. Методы и алгоритмы для автоматизации моделирования и тестирования ПЛИС : специальность 05.13.12 "Системы автоматизации проектирования (по отраслям)" : автореферат диссертации на соискание ученой степени канд. техн. наук / Л. Е. Захарова, 1995. - 23 с. - Текст : непосредственный.Френкель С.Л. Вероятностный метод оценки полноты тестов контроля цифровых устройств : специальность 05.13.13 "" : автореферат диссертации на соискание ученой степени канд. техн.наук / С. Л. Френкель, 1994. - 21 с. - Текст : непосредственный.Gruning T. Stimuligenerierung fur die Fehlerdiagnose digitaler Schaltungen mit Scan-Pfad unter Einbeziehung des Elektronenstrahltests / T. Gruning, 1993. - 135 S. - Текст : непосредственный.
Дианов В.Н. Методы и средства обнаружения и регистрации источников сбоев в системах и устройствах с кодо-импульсной модуляцией сигналов : автореф. дис. .. д-ра техн. наук: 05.13.05 / В. Н. Дианов, 2002. - 37 с. - Текст : непосредственный.Скобцов Ю.А. Исследование и разработка многозначных алфавитов и функций для моделирования и построения тестов дискретных устройств : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.13 / Ю. А. Скобцов, 1993. - 43 с. - Текст : непосредственный.Мурашко И.А. Методы синтеза источников тестовых воздействий для самотестирования цифровых устройств на основе СБИС : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / И. А. Мурашко, 1996. - 19 с. - Текст : непосредственный.Демьянчук Т.М. Устройства контроля динамических параметров цифровых интегральных схем : Автореферат диссертации на соискание ученой степени канд.техн.наук в форме науч.доклада:05.13.05 / Т. М. Демьянчук, 1990. - 18 с. - Текст : непосредственный.Андрюшаев А.М. Анализ и синтез тестов в динамической диагностике цифровых схем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / А. М. Андрюшаев, 1992. - 22 с. - Текст : непосредственный.Саидов А.А. Исследование и разработка интерактивной системы моделирования цифровых устройств для диагностики : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / А. А. Саидов, 1991. - 16 с. - Текст : непосредственный.Раков С.В. Автоматизированные методы верификации структуры и анализа тестов цифровых микропроцессорных устройств : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12 / С. В. Раков, 1991. - 16 с. - Текст : непосредственный.Петрухнова Г.В. Разработка математического обеспечения специализированных систем контроля цифровых узлов на основе автоморфизмов тестовых последовательностей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Г. В. Петрухнова, 1999. - 16 с. - Текст : непосредственный.Сахаров И.Е. Упреждающее кэширование в подсистеме внешней памяти высокопроизводительных распределенных вычислительных систем : автореф. дис. .. канд. техн. наук: 05.13.18 / И. Е. Сахаров, 2009. - 16 с. - Текст : непосредственный.Никифоров С.Н. Разработка основ теории параллельного диагностирования дискретных объектов : автореф. дис. .. д-ра техн. наук: 05.12.04 / С. Н. Никифоров, 2007. - 25 с. - Текст : непосредственный.Цырлов А.М. Метод диагностирования БМК по температурным режимам : автореф. дис. .. канд. техн. наук: 05.11.13 / А. М. Цырлов, 2004. - 18 с. - Текст : непосредственный.Збиняков А.Н. Методика, специализированные устройства и способ диагностирования аппаратных средств вычислительной техники : автореф. дис. .. канд. техн. наук: 05.13.05 / А. Н. Збиняков, 2002. - 20 с. - Текст : непосредственный.Шевченко В.И. Исследование сложности условных тестов для диагностики неисправностей схем из функциональных элементов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.17 / В. И. Шевченко, 1995. - 16 с. - Текст : непосредственный.Kunz W. Rekursives Lernen:Eine prazise Implikationsprozedur und ihre Anwendung auf die Testmustergenerierung indigitalen Schaltungen : Diss. / W.Kunz, 1992. - 97 S. - Текст : непосредственный.Юрлин С.В. Разработка специализированных прототипов на основе программируемой логики для эффективной функциональной верификации многоядерных микропроцессоров : автореф. дис. .. канд. техн. наук: 05.13.05 / С. В. Юрлин, 2014. - 21 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Заказ фрагмента документа ₽