咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是441-450 订阅
排序:
Academician Ivannikov Victor Petrovich
Academician Ivannikov Victor Petrovich
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Arutyun I. Avetisyan Sergei P. Prokhorov Ivannikov Institute for System Programming of Russian Academy of Sciences Moscow Russia Vavilov Institute for History of Science and Technology of Russian Academy of Sciences Moscow Russia
The article is dedicated to Victor Ivannikov, a prominent Russian scientist who worked in computer science, primarily system programming. His practical work was primarily related to the development of operating system... 详细信息
来源: 评论
Assessing the Coverage of W-Based Conformance Testing Methods Over Code Faults
SSRN
收藏 引用
SSRN 2024年
作者: El-Fakih, Khaled Hassan, Faiz Alzaatreh, Ayman Yevtushenko, Nina College of Engineering American University of Sharjah Sharjah United Arab Emirates Ivannikov Institute for System Programming of the RAS Moscow Russia
We present novel empirical assessments of prominent finite state machine (FSM) conformance test derivation methods against their coverage of code faults. We consider a number of realistic extended FSM examples with th... 详细信息
来源: 评论
Sydr: Cutting Edge Dynamic Symbolic Execution
Sydr: Cutting Edge Dynamic Symbolic Execution
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Alexey Vishnyakov Andrey Fedotov Daniil Kuts Alexander Novikov Darya Parygina Eli Kobrin Vlada Logunova Pavel Belecky Shamil Kurmangaleev Ivannikov Institute for System Programming of the RAS Moscow Russia Lomonosov Moscow State University Moscow Russia Moscow Institute of Physics and Technology Moscow Russia
The security development lifecycle (SDL) is becoming an industry standard. Dynamic symbolic execution (DSE) has enormous amount of applications in computer security (fuzzing, vulnerability discovery, reverse-engineeri... 详细信息
来源: 评论
About cloud storage systems survivability
About cloud storage systems survivability
收藏 引用
2020 International Workshop on Data Mining and Knowledge Engineering, YRID 2020
作者: Kucherov, Nikolay Dvoryaninova, Inna Babenko, Mikhail Sotnikova, Natalia Hung, Nguyen Viet North-Caucasus Federal University 1 Pushkin Street Stavropol355017 Russia Institute for System Programming Russian Academy of Sciences 25 Alexander Solzhenitsyn st. Moscow109004 Russia LeQuyDon Technical University 236 Hoang Quoc Viet Hanoi Viet Nam
This article proposes an approach to improving reliability and survivability based on modular arithmetic. The proposed approach makes it possible to increase the survivability of cloud storage systems, as well as reli... 详细信息
来源: 评论
EgoLP: Fast and Distributed Community Detection in Billion-Node Social Networks
EgoLP: Fast and Distributed Community Detection in Billion-N...
收藏 引用
IEEE International Conference on Data Mining Workshops (ICDM Workshops)
作者: Nazar Buzun Anton Korshunov Valeriy Avanesov Ilya Filonenko Ilya Kozlov Denis Turdakov Hangkyu Kim Institute for System Programming of the Federal Agency of Scientific Organizations Moscow Russia Samsung Electronics Co. Ltd Suwon South Korea
Community structure is one of the most important and characteristic features of social networks. Numerous methods for discovering implicit user communities from a social graph of users have been proposed in recent yea... 详细信息
来源: 评论
Automatic Type Reconstruction in Disassembled C Programs
Automatic Type Reconstruction in Disassembled C Programs
收藏 引用
Working Conference on Reverse Engineering
作者: K. Dolgova A. Chernov Institute for System Programming Russian Academy of Science Moscow Russia Computational Mathematics and Cybernetics Department Moscow State University Moscow Russia
This paper presents an algorithm for automatic type reconstruction from target assembly code compiled by a C compiler. The primitive language types are recovered by an iterative algorithm, which operates over the latt... 详细信息
来源: 评论
Fog computing state of the art: Concept and classification of platforms to support distributed computing systems
arXiv
收藏 引用
arXiv 2021年
作者: Kirsanova, Alexandra A. Radchenko, Gleb I. Tchernykh, Andrei N. South Ural State University Chelyabinsk Russia CICESE Research Center Ensenada Mexico Ivannikov Institute for System Programming of the RAS Russia
As the Internet of Things (IoT) becomes a part of our daily life, there is a rapid growth in the connected devices. A well-established approach based on cloud computing technologies cannot provide the necessary qualit... 详细信息
来源: 评论
Experimental Evaluation of Timed Finite State Machine Based Test Derivation
Experimental Evaluation of Timed Finite State Machine Based ...
收藏 引用
Annual Siberian Russian Workshop on Electron Devices and Materials (EDM)
作者: Aleksandr S. Tvardovskii Evgenii M. Vinarskii Nina V. Yevtushenko Tomsk State University Tomsk Russia Lomonosov Moscow State University Moscow Russia Ivannikov Institute for System Programming Moscow Russia
Finite State Machines (FSMs) are widely used for deriving tests with guaranteed fault coverage for various kinds of discrete and hybrid systems such as telecommunication protocols and services. A Timed FSM (TFSM) seem... 详细信息
来源: 评论
Reconstruction of Class Hierarchies for Decompilation of C++ Programs
Reconstruction of Class Hierarchies for Decompilation of C++...
收藏 引用
(CSMR) European Conference on Software Maintenance and Reengineering
作者: A. Fokin K. Troshina A. Chernov Computational Mathematics and Cybernetics Department Moscow State University Moscow Russia Institute for System Programming Russian Academy of Science 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), ... 详细信息
来源: 评论
Reconstruction of Composite Types for Decompilation
Reconstruction of Composite Types for Decompilation
收藏 引用
IEEE International Workshop on Source Code Analysis and Manipulation
作者: Katerina Troshina Yegor Derevenets Alexander Chernov Institute of System Programming Russian Academy of Science Moscow Russia Computational Mathematics and Cybernetics Dept Moscow State University Moscow Russia
Decompilation is reconstruction of a program in a high-level language from a program in a low-level language. This paper presents a method for automatic reconstruction of composite types (structures, arrays and combin... 详细信息
来源: 评论