1. Главная
  2. Ресурсы
  3. Библиотечный поиск
MODEL CORRECTOPERATION OF COMPUTERPROGRAMS WITH MEMORY: научное издание Spiridonov I. (I.)Khramlyuk S. (A.)Kolesnikov S. (G.)2017 год

MODEL CORRECT OPERATION OF COMPUTER PROGRAMS WITH MEMORY : научное издание
статья из журнала

База данных: Каталог библиотеки СФУ
Аннотация:

This study describes a model of the correct program operation in frames of operational memory access and a method developed to improve the efficiency of determining the offending software behavior.
Рассматривается модель корректной работы программы по части доступа к оперативной памяти и методика, разработанная с целью повышения эффективности определения сбойного поведения ПО.

Год издания: 2017
Авторы: Spiridonov I. (I.), Khramlyuk S. (A.), Kolesnikov S. (G.), Maslova O. (V.)
Источник: Молодежь. Общество. Современная наука, техника и инновации

Похожие публикации

APPLIED PROGRAMS FORSIMULATION MODELINGIN THE ECONOMIC FIELD Rukosueva A.A.Kukartseva O.I.2022 год

APPLIED PROGRAMS FOR SIMULATION MODELING IN THE ECONOMIC FIELD : научное издание

  • Rukosueva A.A. и др.
  • 2022 год
MODELING THEOPERATION OF THEELECTRIC DRIVE USINGTHE SIMINTECH Egorova P.G.2020 год

MODELING THE OPERATION OF THE ELECTRIC DRIVE USING THE SIMINTECH : научное издание

  • Egorova P.G.
  • 2020 год
ВЕРОЯТНОСТНОЕСИМВОЛЬНОЕ ИСПОЛНЕНИЕ Прохоров А.И.Золотарев В.В.2015 год

ВЕРОЯТНОСТНОЕ СИМВОЛЬНОЕ ИСПОЛНЕНИЕ : научное издание

  • Прохоров А.И. и др.
  • 2015 год
MATHEMATICAL MODEL OFRELIABILITY OFINFORMATIONPROCESSING COMPUTERAPPLIANCES FORREAL-TIME CONTROLSYSTEMS Aab A.V.Galushin P.V.Popova A.V.2020 год

MATHEMATICAL MODEL OF RELIABILITY OF INFORMATION PROCESSING COMPUTER APPLIANCES FOR REAL-TIME… : научное издание

  • Aab A.V. и др.
  • 2020 год
Automation of FormalVerification ofPrograms in thePifagor Language Ushakova Maria SergeevnaLegalov Alexander Ivanovich2015 год

Automation of Formal Verification of Programs in the Pifagor Language : научное издание

  • Ushakova Maria Sergeevna и др.
  • 2015 год
Development of modelsfor recognition oftechnologicalsituations in theoperation of electriccentrifugal pumpsfor… Bukhtoyarov V.V.Tynchenko V.S.Petrovskiy E.A.2019 год

Development of models for recognition of technological situations in the operation of electric… : статья из журнала

  • Bukhtoyarov V.V. и др.
  • 2019 год
ALGORITHMS FORTESTING SPACEWIREEQUIPMENT INCOMPLIANCE WITH RMAPPROTOCOLSPECIFICATION Maksyutin A. S.2022 год

ALGORITHMS FOR TESTING SPACEWIRE EQUIPMENT IN COMPLIANCE WITH RMAP PROTOCOL SPECIFICATION : научное издание

  • Maksyutin A. S.
  • 2022 год
ANALYSIS OF THEINFLUENCE OF THEHUMAN FACTOR ONEFFECTIVENESS OF THESCENARIO APPROACH Feotkulov S.-A.S.Maslova O.V.2024 год

ANALYSIS OF THE INFLUENCE OF THE HUMAN FACTOR ON EFFECTIVENESS OF THE SCENARIO APPROACH : статья из журнала

  • Feotkulov S.-A.S. и др.
  • 2024 год

Показать ещё

Evaluation of themanufacturability ofaluminum alloy 1580for sheet stamping bycomputer modeling Konstantinov I.L.Sidelnikov S.B.Yuriev P.O.2023 год

Evaluation of the manufacturability of aluminum alloy 1580 for sheet stamping by computer modeling : научное издание

  • Konstantinov I.L. и др.
  • 2023 год
Creation of aComputer program formodelling geneticprocesses accordingto Mendel›s laws Masaev S.N.Khodykina A.A.2025 год

Creation of a Computer program for modelling genetic processes according to Mendel›s laws : научное издание

  • Masaev S.N. и др.
  • 2025 год
The Study of theSequential Inclusionof Paths in theAnalysis of ProgramCode for the Task ofSelecting Input Test… Serdyukov K. E.Avdeenko T. V.2020 год

The Study of the Sequential Inclusion of Paths in the Analysis of Program Code for the Task… : доклад, тезисы доклада

  • Serdyukov K. E. и др.
  • 2020 год
CRITERIA FOR FINDINGSENSITIVE INFORMATIONIN FTP-SERVERS Ayoshina O.A.Zolotarev V.V.2023 год

CRITERIA FOR FINDING SENSITIVE INFORMATION IN FTP-SERVERS : статья из журнала

  • Ayoshina O.A. и др.
  • 2023 год
ANALYSIS OF COMMONVULNERABILITY SCORINGSYSTEM VERSION 4.0 Seligeev S.V.2024 год

ANALYSIS OF COMMON VULNERABILITY SCORING SYSTEM VERSION 4.0 : статья из журнала

  • Seligeev S.V.
  • 2024 год
ANALYSIS OF THEOPERATION OF THE"EXPLUATANT" USERMODULE FORMAINTENANCE OFAN-24/26 AIRCRAFTS Ogorodnikova J.V.Pisarev N.S.2022 год

ANALYSIS OF THE OPERATION OF THE "EXPLUATANT" USER MODULE FOR MAINTENANCE OF AN-24/26 AIRCRAFTS : научное издание

  • Ogorodnikova J.V. и др.
  • 2022 год

The Use of Computer Models in the Software and Hardware Complex of Research Methods of Navigation… : статья из журнала

  • Bondarev V. N. и др.
  • 2016 год
SIMULATION COMPUTERMODEL FOR VIRTUALRESEARCH OFOPTOELECTRONICMEASURING SYSTEMS Gritskevich Y.V.Zvyagintseva P.A.Makarova D.G.2019 год

SIMULATION COMPUTER MODEL FOR VIRTUAL RESEARCH OF OPTOELECTRONIC MEASURING SYSTEMS : научное издание

  • Gritskevich Y.V. и др.
  • 2019 год