Материалов:
1 005 012

Репозиториев:
30

Авторов:
761 409

По вашему запросу найдено документов: 2894

Страница 1 из 290

Correctness of Control Systems with Concurrenсy Behavior
Cheremisinova, L., Cheremisinov, D., Черемисинова, Л. Д., Черемисинов, Д. И.
hardware verification
Развитие методов верификации прикладного программного обеспечения АСУ ТП АЭС на базе ТПТС
Зятников, А. Н., Рогов, В. М.
The development of applied software verification methods in software and hardware complexes
Hardware Support for Intelligent Text Analysis using FPGA for Accelerating Random Forest-based Classification
Vishniakou, U. A., Yu ChuYue
-based reference processor model through a joint software and hardware verification process. The results
LTL-based verification of reconfigurable workflows
Mazzara M.
for modeling and verification of various types of hardware (and software) systems. While most languages
LTL-based verification of reconfigurable workflows
Mazzara M.
for modeling and verification of various types of hardware (and software) systems. While most languages
Система прецизионных пространственных перемещений на основе планарных приводов прямого действия для оборудования производства изделий электронной техники
Агранович, А. А., Ahranovich, A. A.
as mechanical, hardware and software complex for implementation of compound program motion in microelectronics
High-Level Design Flows for VLSI Circuit
Nepomnyashchy, Oleg V., Legalov, Alexander I., Sirotinina, Natalia J., Непомнящий, О.В., Легалов, А.И., Сиротинина, Н.Ю.
and verification allows developers to transfer initial high-level parallel algorithms on topologies
POSSIBILITIES AND PERSPECTIVES OF RAMAN FLUORESCENCE DIAGNOSTIC APPLICATION IN DENTISTRY
Alexandrov M.T., Kukushkin V.I., Margaryan E.G., Pashkov E.P., Bagramova G.E.
Experimental-theoretic rationale and hardware-software device of application of Raman
The VLSI High-Level Synthesis for Building Onboard Spacecraft Control Systems
Nepomnyashchiy, O. V., Ryjenko, I. V., Shaydurov, V. V., Sirotinina, N. Y., Postnikov, A. I.
trends in the aerospace field. Modular-network architectures implemented on the “system-on-chip” hardware
The VLSI high-level synthesis for building onboard spacecraft control systems
Nepomnyashchiy, O. V., Ryjenko, I. V., Shaydurov, V. V., Sirotinina, N. Y., Postnikov, A. I.
trends in the aerospace field. Modular-network architectures implemented on the "system-on-chip" hardware

Страница 1 из 290

Фасеты

Партнеры

КФУ
ТГУ
Elpub
СФУ
Webpublishers

Индексация

BASE
WorldCat
OpenAIRE
EDS
core