Вы здесь

Главная

аппаратный

Связанные издания:

Programmable Active Memories: a Performance Assessment
Progress in Hardware-Assisted Real-Time Garbage Collection
Prospects for Hardware Foundations: Survey Chapters /ESPRIT Working Group 8533. NADA - New Hardware Design Methods
Semantic Extraction for the Automatic Verification of VHDL Descriptions
Simulation Approach to Provably Correct Hardware Compilation
Software Versus Hardware Shared-Memory Implementation: A Case Study
Structure and Behaviour in Hardware Verification
The Completeness of a Hardware Inference System
The Distributed Hardware Monitor ZM4 and its Interface to MEMSY
The Hardware Description Language KARL-III: its Integration into a CAD Tool Box for VLSI
The History of KARL and ABL
The HOL-Voss Systtem: Model-Checking inside a General-Purpose Theorem-Prover
The PSR Methodology: Integrating Hardware and Software Models
The Unification of Hardware and Software Engineering Education through Formal Methods
Tools and Algorithms for the Construction and Analysis of Systems: Proc./6th Intern. Conf., TACAS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000. Berlin, Germany, March-April 2000
Toward a Super Duper Hardware Tactic
Verification Based on Monadic Logic
Vertical Processing in Parallel Computing Systems
Windows 95: включи и играй?
Windows 95 в малом офисе
Workload Characterization using the Cray Hardware Performance Monitor
XHDL: A development of CIRCAL. Its Graphical Representation and Simulation
Движимое иму ество
Интегрированные факс-серверы
Интерфейс SCSI
Исследование методов формальной спецификации программно-аппаратных систем, обеспечиваю их надежность систем и повторное использование спецификаций
Компьютерный видеомонтаж: перспектива или реальность?
Компьютеры для мультимедиа
Лучшие продукты для Windows
Методы и средства моделирования хардвера распределенных вычислительных систем
Мультимедиа - ноутбуки
Обзор техники для машинной графики и геометрии
О проблеме интеграции аппаратных и программных платформ при создании компьютерных систем
О состоянии и перспективах рабочих станций
Под знаменами Windows
Системы за иты информации
Сравнительный анализ современных технологий разработки тестов для моделей аппаратного обеспечения
Требования Windows 95 к аппаратному обеспечению
Частотно-временной корреляционный анализ сигналов в аппаратно-программных средствах локализации утечек трубопроводных систем