Static Verification Tools for C Programs and Linux Device Drivers: A Survey
Труды Института системного программирования РАН, 2018 The survey considers methods and techniques used in modern static verification tools for C programs. It describes two main approaches Counter Example Guided Abstraction Refinement (CEGAR) and Bounded Model Checking (BMC) and techniques used to ...
M. U. Mandrykin +3 more
doaj
Научно-технический вестник информационных технологий, механики и оптикиThe CIAO (Cooperative Interaction Automata Objects) specifcation language is intended to describe the behavior of distributed and parallel event-driven systems. This class of systems includes various software and hardware systems for control, monitoring,
I. V. Afanasieva +2 more
doaj +1 more source
Verification of 10 Gigabit Ethernet controllers
Труды Института системного программирования РАН, 2018 This article proposes approaches used to verify 10 Gigabit Ethernet controllers developed by MCST. We present principles of the device operation - they provide a set of memory-mapped registers and use direct memory access, and their characteristics.
M. V. Petrochenkov +2 more
doaj +1 more source
Высокопроизводительные вычисления на графических процессорах в задачах оптимизации стратегий механической торговли [PDF]
, 2018 Lishaev O.V. High-performance computing on graphics processors in the problems of optimizing the strategies of mechanical tradingСекция 4.
Лишаёв, О. В.
core
Логическое проектирование цифровых устройств
InformatikaДискретными называются устройства, функционирующие в дискретном времени и осуществляющие преобразование дискретной информации. Дискретная информация чаще всего представляется в цифровой 0, 1 (двоичной) форме, поэтому дискретные устройства называют также ...
doaj
Transfer of methods, and parameters of validation/verification
Регуляторные исследования и экспертиза лекарственных средств, 2018 The article analyses foreign and national recommendations on transfer of methods. It substantiates the need to adequately reproduce test methods that introduce a specific analytical procedure in testing laboratories - in order to be able to give a ...
S. I. Kuleshova
doaj
[Gonadotropin-dependent precocious puberty: genetic and clinical characteristics]. [PDF]
Probl Endokrinol (Mosk), 2023 Khabibullina DA +4 more
europepmc +1 more source
Система менеджмента корпоративной социальной ответственности как условие формирования активного социально-экономического пространства [PDF]
, 2008 Показана роль изменения природы институтов государства, бизнеса и общества с использованием современных методов их взаимодействия, применяемых как в отечественной, так и в зарубежной практике, в формировании активного социально-экономического ...
Рощина, И. В. +1 more
core
[Replicative and biochemical ageing features among females with primary ovarian insufficiency]. [PDF]
Probl Endokrinol (Mosk), 2023 Mikheev RK +5 more
europepmc +1 more source
Verification of rotation methods of irradiation based on flats and volume matrix detectors [PDF]
, 2018 The results of a comparison of planar and bulk matrix detectors are presented in this paper to test irradiation techniques with intensity modulation. Verification was performed on two and three-dimensional matrix detectors MatriXX, Ocravius and ArcCHECK.
Двуреченский, М. Г. +1 more
core