Refine your search
Availability
-
Bibliographic level
- Книги (2)
-
Authors
-
Locations
-
Item types
- Выдается в читальный зал (2)
- 1 месяц (1)
-
Topics
- процессоры конвейерные (2)
- FSM-моделирование поведенческое (1)
- MIPS, процессор (1)
- MPP-архитектура многопроцессорная с распределенной памятью (1)
- NUMA архитектура гибридная (1)
- PVP-архитектура (1)
- RTL, система моделирования аппаратного поведения электронной системы (1)
- RTL-тесты генерации (1)
- SAT, метод верификации моделей (1)
- SMP-архитектура многопроцессорная с общей памятью (1)
- TLM, система моделирования и совместимости моделей аппаратно-программных компонент (1)
- TLM-тесты генерации (1)
- UML, унифицированный язык моделирования (1)
- САПР электронных средств (1)
- автоматизация проектирования электронных систем на кристалле (1)
- архитектура вычислительных систем (1)
- архитектура кластерная (1)
- архитектура электронных систем на кристалле (1)
- валидация аппаратных средств (1)
- валидация программных средств (1)
- валидация системная (1)
- валидация согласованности кэшей (1)
- валидация функциональная (информатика) (1)
- верификация моделей (1)
- вычислительные системы многопроцессорные (1)
- генерация тестов автоматическая (1)
- генерация тестов методами декомпозиции (1)
- генерация тестов методами обучения (1)
- генерация тестов синхронизированная (1)
- графовое моделирование структурное (1)
- дизайн архитектуры электронных систем на кристалле (1)
- кластерные решения HP. (1)
- кластерные решения IBM. (1)
- кластерные решения SGI. (1)
- кластеры Digital (1)
- коммуникационные среды (1)
- коммутаторы простые (1)
- коммутаторы распределенные составные (1)
- коммутаторы составные (1)
- компоненты вычислительных систем многопроцессорных (1)
- маршрутизаторы (1)
- массивно-параллельные системы (1)
- массово-параллельные машины BC MBC-100 (1)
- массово-параллельные машины MBC-1000 (1)
- многопроцессорные системы на кристалле (1)
- многоядерные архитектуры (1)
- надежность вычислительных систем многопроцессорных (1)
- отказоустойчивость вычислительных систем многопроцессорных (1)
- память иерархическая многоуровневая (1)
- принятие решений на основе методов обучения (информатика) (1)
- Show more
- Show less