咨询与建议

限定检索结果

文献类型

  • 482 篇 会议
  • 163 篇 期刊文献
  • 6 册 图书

馆藏范围

  • 651 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 364 篇 工学
    • 298 篇 计算机科学与技术...
    • 236 篇 软件工程
    • 47 篇 力学(可授工学、理...
    • 43 篇 控制科学与工程
    • 33 篇 信息与通信工程
    • 30 篇 机械工程
    • 23 篇 电气工程
    • 20 篇 安全科学与工程
    • 19 篇 电子科学与技术(可...
    • 15 篇 化学工程与技术
    • 15 篇 航空宇航科学与技...
    • 14 篇 生物工程
    • 12 篇 动力工程及工程热...
    • 11 篇 仪器科学与技术
    • 10 篇 生物医学工程(可授...
    • 9 篇 光学工程
    • 9 篇 交通运输工程
    • 8 篇 石油与天然气工程
    • 7 篇 材料科学与工程(可...
    • 7 篇 土木工程
  • 203 篇 理学
    • 122 篇 数学
    • 68 篇 物理学
    • 45 篇 统计学(可授理学、...
    • 16 篇 生物学
    • 16 篇 系统科学
    • 13 篇 化学
  • 64 篇 管理学
    • 33 篇 图书情报与档案管...
    • 31 篇 管理科学与工程(可...
    • 13 篇 工商管理
  • 8 篇 医学
    • 8 篇 临床医学
  • 6 篇 法学
  • 5 篇 农学
  • 3 篇 经济学
  • 1 篇 哲学
  • 1 篇 教育学
  • 1 篇 历史学

主题

  • 29 篇 static analysis
  • 24 篇 libraries
  • 20 篇 conferences
  • 19 篇 computer archite...
  • 18 篇 computational mo...
  • 17 篇 software
  • 15 篇 programming
  • 15 篇 safety
  • 14 篇 linux
  • 13 篇 registers
  • 13 篇 semantics
  • 13 篇 numerical models
  • 12 篇 tools
  • 12 篇 hardware
  • 12 篇 testing
  • 11 篇 xml
  • 11 篇 software testing
  • 10 篇 machine learning
  • 10 篇 cloud computing
  • 10 篇 mathematical mod...

机构

  • 57 篇 ivannikov instit...
  • 45 篇 lomonosov moscow...
  • 42 篇 ivannikov instit...
  • 36 篇 ivannikov instit...
  • 24 篇 moscow institute...
  • 21 篇 ivannikov instit...
  • 21 篇 institute for sy...
  • 19 篇 department of sy...
  • 18 篇 lomonosov moscow...
  • 18 篇 ivannikov instit...
  • 17 篇 bauman moscow st...
  • 17 篇 institute for sy...
  • 17 篇 south ural state...
  • 15 篇 institute for sy...
  • 15 篇 north-caucasus f...
  • 15 篇 institute for sy...
  • 13 篇 bauman moscow st...
  • 12 篇 ivannikov instit...
  • 11 篇 ivannikov instit...
  • 11 篇 ivannikov instit...

作者

  • 22 篇 yevtushenko nina
  • 14 篇 alexander kamkin
  • 13 篇 khoroshilov alex...
  • 12 篇 turdakov denis
  • 12 篇 josef börcsök
  • 12 篇 vishnyakov alexe...
  • 11 篇 mostafa abotaleb
  • 11 篇 kuts daniil
  • 10 篇 gasnikov alexand...
  • 10 篇 parygina darya
  • 10 篇 fedotov andrey
  • 10 篇 arutyun avetisya...
  • 9 篇 denis turdakov
  • 9 篇 avetisyan arutyu...
  • 9 篇 ilia marchevsky
  • 9 篇 burdonov igor
  • 9 篇 el-kenawy el-say...
  • 9 篇 nina yevtushenko
  • 9 篇 abotaleb mostafa
  • 8 篇 drobyshevskiy mi...

语言

  • 629 篇 英文
  • 14 篇 其他
  • 10 篇 俄文
  • 1 篇 中文
检索条件"机构=Institute for System Programming"
651 条 记 录,以下是321-330 订阅
排序:
Runtime Verification of Linux Kernel Modules Based on Call Interception
Runtime Verification of Linux Kernel Modules Based on Call I...
收藏 引用
International Conference on Software Testing, Verification, and Validation, ICST
作者: Vladimir V. Rubanov Eugene A. Shatokhin Department of Software Engineering Institute of System Programming of the Russian Academy of Sciences Moscow Russia
Verification of Linux kernel modules and especially device drivers is a critically important task. However, due to the special nature of the kernel operation, it is very challenging to perform runtime analysis of part... 详细信息
来源: 评论
Deriving adaptive homing sequences for weakly initialized nondeterministic FSMs
Deriving adaptive homing sequences for weakly initialized no...
收藏 引用
2019 IEEE East-West Design and Test Symposium, EWDTS 2019
作者: Vinarskii, Evgenii Tvardovskii, Aleksandr Evtushenko, Larisa Yevtushenko, Nina Computer Science Department Lomonosov Moscow State University Moscow Russia Radiophysical Department Tomsk State University Tomsk Russia Software Engineering Deparment Ivannikov Institute for System Programming Moscow Russia
State identification sequences, such as homing and distinguishing sequences (HS and DS), are widely used in FSM (Finite State Machine) based testing in order to reduce the size of a returned complete test suite as wel... 详细信息
来源: 评论
Devirtualization for static analysis with low level intermediate representation
Devirtualization for static analysis with low level intermed...
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Artemiy Galustov Alexey Borodin Andrey Belevantsev Ivannikov Institute for System Programming of the RAS Lomonosov Moscow State University Moscow Russia
We propose a points-to analysis that can recover targets for function pointer calls, virtual calls and method calls for using in a static analysis. We use a flow-insensitive analysis, and the analysis results are inte... 详细信息
来源: 评论
Using Lingvodoc platform for researching genetic and areal semantic shifts: the case of Ob-Ugric basic vocabulary
Using Lingvodoc platform for researching genetic and areal s...
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Idaliya Fedotova Ivannikov Institute for System Programming of the Russian Academy of Sciences HSE university Moscow Russia
Typology of semantic shifts has been in the focus of linguistic typology for the last 20 years. Emergence of cross-linguistic databases and linguistic platforms has taken the study of semantic changes to the new level... 详细信息
来源: 评论
Emotions simulation in methodology of autonomous adaptive control
Emotions simulation in methodology of autonomous adaptive co...
收藏 引用
IEEE International Symposium on Intelligent Control (ISIC)
作者: A.A. Zhdanov A.N. Yinokurov Simulation Systems Department Institute for System Programming Russian Academy of Science Moscow Russia
We offer a standpoint that emotions are a necessary mechanism for autonomous control systems. By an autonomous controlled object we understand an object, that is controlled by a control system which is its on-board su... 详细信息
来源: 评论
Interprocedural static analysis for Go with closure support
Interprocedural static analysis for Go with closure support
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Alexey Borodin Varvara Dvortsova Alexander Volkov Ivannikov Institute for System Programming of the RAS Lomonosov Moscow State University Moscow Russia
We present an interprocedural static analysis to detect errors in the Go source code. The analysis supports most of the language features, while the main focus of the paper is closures and defer statements. The analys... 详细信息
来源: 评论
Reconstruction of class hierarchies for decompilation of C++ programs
Reconstruction of class hierarchies for decompilation of C++...
收藏 引用
作者: Fokin, A. Troshina, K. Chernov, A. Computational Math. and Cybernetics Dept. Moscow State University Leninskie Gory Moscow Russia Institute for System Programming Russian Academy of Sciences 25 Alexander Solzhenitsyn st. Moscow Russia
This paper presents a method for automatic reconstruction of polymorphic class hierarchies from the assembly code obtained by compiling a C++ program. If the program is compiled with run-time type information (RTTI), ... 详细信息
来源: 评论
Python Fuzzing for Trustworthy Machine Learning Frameworks
arXiv
收藏 引用
arXiv 2024年
作者: Yegorov, Ilya Kobrin, Eli Parygina, Darya Vishnyakov, Alexey Fedotov, Andrey Ivannikov Institute for System Programming of the RAS Russia Lomonosov Moscow State University Russia
Ensuring the security and reliability of machine learning frameworks is crucial for building trustworthy AI-based systems. Fuzzing, a popular technique in secure software development lifecycle (SSDLC), can be used to ... 详细信息
来源: 评论
Deriving complete finite tests based on state machines
Deriving complete finite tests based on state machines
收藏 引用
East-West Design & Test Symposium (EWDTS)
作者: Igor Burdonov Alexander Kossatchev Nina Yevtushenko Institute for System Programming of the RAS Moscow Russia Tomsk State University Tomsk Russia
Many state machine based strategies return complete but infinite test suites. A usual approach to guarantee the fault coverage with respect to some kind of faults is to limit the number of faults, i.e., to consider a ... 详细信息
来源: 评论
Integrating AADL-Based Tool Chain into Existing Industrial Processes
Integrating AADL-Based Tool Chain into Existing Industrial P...
收藏 引用
IEEE International Conference on Engineering of Complex Computer systems
作者: Alexey Khoroshilov Igor Koverninskiy Alexander Petrenko Alexander Ugnenko Institute for System Programming Russian Academy of Science Moscow Russia GosNIIAS Moscow Russia
The paper presents a case study of building solution for automation of Integrated Modular Avionics system design and system integration processes within existing industrial environment on base of model driven approach... 详细信息
来源: 评论