Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
field programmable gate array
Связанные издания:
A Pipelined Multi-Core Machine with Operating System Support: Hardware Implementation and Correctness Proof
Applied Reconfigurable Computing: Architectures, Tools, and Applications: Proc./14th International Symposium, ARC 2018, Santorini, Greece, May 2018
Applied Reconfigurable Computing: Architectures, Tools, and Applications: Proc./16th International Symposium, ARC 2020, Toledo, Spain, April 2020
Applied Reconfigurable Computing: Architectures, Tools, and Applications: Proc./17th International Symposium, ARC 2021, Virtual Event, June 2021
Architecture of Computing Systems: Proc./34th International Conference, ARCS 2021, Virtual Event, June 2021
Automated Technology for Verification and Analysis: Proc./19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 2021
Computer Safety, Reliability, and Security: Proc./40th International Conference, SAFECOMP 2021 , York, UK, September 2021
DNA Computing and Molecular Programming: Proc./25th International Conference, DNA 25, Seattle,WA,USA, August 2019
Embedded Computer Systems: Architectures, Modeling, and Simulation: Proc./20th International Conference, SAMOS 2020, Samos, Greece, July 2020
Formal Methods for Industrial Critical Systems: Proc./26th International Conference, FMICS 2021, Paris, France, August 2021
High Performance Computing: Revised Selected Papers/ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 2019
Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
Model-Based Safety and Assessment: Proc./7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 2020
OpenMP: Enabling Massive Node-Level Parallelism: Proc./17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 2021
OpenMP: Portable Multi-Level Parallelism on Modern Systems: Proc./16th International Workshop on OpenMP, IWOMP 2020, Austin,TX,USA, September 2020
Reversible Computation: Proc./12th International Conference, RC 2020, Oslo, Norway, July 2020
Rigorous State-Based Methods: Proc./7th International Conference, ABZ 2020, Ulm, Germany, May 2020
Search-Based Software Engineering: Proc./12th International Symposium, SSBSE 2020, Bari, Italy, October 2020
Software Engineering and Formal Methods: Revised Selected Papers/SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 2019
Software Engineering and Formal Methods: SEFM 2020 Collocated Workshops: Revised Selected Papers/ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 2020
The Once-Only Principle: The TOOP Project
Transactions on Rough Sets XXII