Results 41 to 50 of about 5,262 (215)
Сучасний стан наукових досліджень та технологій в промисловостіПредметом дослідження є засоби та підходи до віртуалізації в середовищах з обмеженими ресурсами, зокрема на одноплатних комп’ютерах, а також їх здатність забезпечувати якісну роботу цифрових двійників.
Oleh Svietlinskyi, Ilona Revenchuk
doaj +3 more sources
On Some Limitations of Information Flow Tracking in Full-system Emulators
Труды Института системного программирования РАН, 2018 Tracking and verification of data flows includes set of techniques that can be applied to make applications more secure, to perform software analysis for debugging or reverse engineering, and so on. Taint analysis is one of the techniques used to control
M. A. Klimushenkova +5 more
doaj +1 more source
USB HW/SW Co-Simulation Environment with Custom Test Tool Integration [PDF]
Electronics, 2014 This paper describes a new verification environment for USB 2.0 controller. New methodology is presented, where a co-simulation environment is used as one of the starting points for the embedded hardware/software development and as an accelerator of the ...
Grigor Y. Zargaryan +3 more
doaj +1 more source
Design high-confidence computers using trusted instructional set architecture and emulators
High-Confidence Computing, 2021 High-confidence computing relies on trusted instructional set architecture, sealed kernels, and secure operating systems. Cloud computing depends on trusted systems for virtualization tasks.
Shuangbao (Paul) Wang, Ph.D.
doaj +1 more source
Methods to improve reverse debugging performance
Труды Института системного программирования РАН, 2018 Reverse debugging is software development technique that effectively helps to fix bugs caused by nondeterministic program behavior. It allows inspecting past program’s state without rerun.
M. A. Klimushenkova, P. M. Dovgalyuk
doaj +1 more source
Binary translation library function replacement optimization processing mechanism for domestic platform [PDF]
Jisuanji gongcheng, 2019 In binary translation,library functions localization processings do not directly translate library functions in source files but use library functions of local target machines to improve translation performance.Aiming at the related characteristics of ...
ZHANG Jiahao,SHAN Zheng,YUE Feng,FU Liguo,WANG Jun
doaj +1 more source
Global register allocation during dynamic binary translation
Труды Института системного программирования РАН, 2018 Register allocation have a significant impact on performance of generated code. This paper explores the problem of global register alloction during dynamic binary translation.
K. A. Batuzov
doaj +1 more source
Hardware-software co-simulation for medical X-ray control units [PDF]
EAI Endorsed Transactions on Industrial Networks and Intelligent Systems, 2016 In this paper we present our solution to master the complex-ity of product adaption cycles of a medical X-ray controlunit. We present the real hardware and software platformand our mapping of it to a virtual X-ray control unit, im-plemented as our ...
Bruno Kleinert +3 more
doaj +1 more source
Automated Dynamic Firmware Analysis at Scale: A Case Study on Embedded Web Interfaces
, 2015 Embedded devices are becoming more widespread, interconnected, and web-enabled than ever. However, recent studies showed that these devices are far from being secure.
Costin, Andrei +2 more
core +2 more sources
Run-time Spatial Mapping of Streaming Applications to Heterogeneous Multi-Processor Systems [PDF]
, 2009 In this paper, we define the problem of spatial mapping. We present reasons why performing spatial mappings at run-time is both necessary and desirable. We propose what is—to our knowledge—the first attempt at a formal description of spatial mappings for
Braak, Timon D. ter +4 more
core +3 more sources