Вы здесь

Главная

аппаратура

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

An Animatable Operational Semantics of the Verilog Hardware Description Language
An Intuitionistic Modal Logic with Applications to the Formal Verification of Hardware
Architecture of Computing Systems - ARCS 2012: Proc./25th International Conference, Munich, Germany, February 2012
Artificial Neural Networks and Machine Learning - ICANN 2016, Part I: Proc./25th International Conference, Barcelona, Spain, September 2016
Balsa: An Asynchronous Hardware Synthesis Language
Big Data Benchmarks, Performance Optimization, and Emerging Hardware: Revised Selected Papers/6th Workshop, BPOE 2015, Kohala,HI,USA, August 2015
Candela - A Topology Description Language
Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language
Correct Hardware Design and Verification Methods: Proc./ IFIP WG10.5 Advanced Research Working Conference CHARME 95. Frankfurt/Main, Germany, Oktober 1995
Digital Signal Processors: Toward Vision 2001
Extended Application of Ada to Cover ECBS with 04S
Higher-Level Hardware Synthesis
Neural Information Processing, Part I: Proc./23rd Information Conference, ICONIP 2016, Kyoto, Japan, October 2016
Relating Event and Trace Semantics of Hardware Description Languages
Sustained Spatial Data Management in Real-World Projects - A Research Focus
TDL: A Hardware Description Language for Retargetable Postpass Optimizations and Analyses
Tools and Algorithms for the Construction and Analysis of Systems: Proc./20th International Conference, TACAS 2014 Held as Part of the ETAPS 2014, Grenoble, France, April 2014
Trusted Systems: Proc./5th International Conference, INTRUST 2013, Graz, Austria, December 2013
Жизнь без стрессов
Использование контрактных спецификаций для представления требований и функционального тестирования моделей аппаратуры
Исследование и разработка базовых подсистем САПР радиоэлектронной аппаратуры
Методы и средства моделирования хардвера распределенных вычислительных систем
Микроэлектронная аппаратура: Учеб. пособие для ВТУЗов в 9 книгах. Книга 8.
О некоторых методах моделирования аппаратуры электромагнитного каротажа
Продукты года
Разработка тестовых систем для многомодульных моделей аппаратуры