咨询与建议

限定检索结果

文献类型

  • 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 of System Programming"
651 条 记 录,以下是61-70 订阅
排序:
Sydr-Fuzz: Continuous Hybrid Fuzzing and Dynamic Analysis for Security Development Lifecycle
Sydr-Fuzz: Continuous Hybrid Fuzzing and Dynamic Analysis fo...
收藏 引用
2022 Ivannikov Open Conference, ISPRAS 2022
作者: Vishnyakov, Alexey Kuts, Daniil Logunova, Vlada Parygina, Darya Kobrin, Eli Savidov, Georgy Fedotov, Andrey Ivannikov Institute for System Programming of the Ras Russia Moscow Institute of Physics and Technology Moscow Russia Lomonosov Moscow State University Russia
Nowadays automated dynamic analysis frameworks for continuous testing are in high demand to ensure software safety and satisfy the security development lifecycle (SDL) requirements. The security bug hunting efficiency... 详细信息
来源: 评论
Khanty Dialects at the Turn of the 18th-21st Centuries: Lexical and Phonetic Differences
Khanty Dialects at the Turn of the 18th-21st Centuries: Lexi...
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: I.M. Moldanova Institute for System Programming of the Russian Academy of Sciences Moscow Russia
The article delves into the analysis of materials drawn from both the earliest written texts and contemporary field data, leveraging the sophisticated linguistic capabilities of Lingvodoc 3.0 [***]. Within the Khanty ...
来源: 评论
Futag: Automated fuzz target generator for testing software libraries
Futag: Automated fuzz target generator for testing software ...
收藏 引用
2021 Ivannikov Memorial Workshop, IVMEM 2021
作者: Tran, Chi Thien Kurmangaleev, Shamil Ivannikov Institute for System Programming RAS Moscow Russia
Recently, Fuzzing is one of the most successful techniques to expose bugs in software. For testing large programs or large codebase with many features and entry-points, the creation of fuzz-targets remains a big chall... 详细信息
来源: 评论
Concept of an Optical Distance and Speed Sensor Using Novel Offsetless Spatial Frequency Filters in the Area of Functional Safety  32
Concept of an Optical Distance and Speed Sensor Using Novel ...
收藏 引用
32nd IEEE International Symposium on Industrial Electronics, ISIE 2023
作者: Wasinski, Frank Bonath, Werner Ricklefs, Ubbo Borcsok, Josef Schwarz, Michael Hahn, Eike University of Applied Sciences THM Dept. of Electrical Engineering and Information Technology Giessen Germany Institute for Computer Architecture and System Programming University of Kassel ICAS Kassel Germany
Optical speed sensors based on the spatial frequency filter method are a proven technology that offer high measurement accuracy over a wide speed range. Newly developed variants also enable measurements at very low sp... 详细信息
来源: 评论
A viscous effect of wave attractor in geometry with underwater peak
收藏 引用
Intelligent Marine Technology and systems 2024年 第1期2卷 1-9页
作者: Elistratov, Stepan But, Ivan Shirshov Institute of Oceanology of RAS Moscow Russia Ivannikov Institute for System Programming of RAS Moscow Russia Sobolev Institute of Mathematics of Siberian Branch of RAS Novosibirsk Russia
The influence of the viscosity on a wave attractor flow has been previously studied, particularly in relation to the widening of the hydrodynamical structures. In this work, we simulate an attractor flow with a peculi...
来源: 评论
Dedoc: A Universal system for Extracting Content and Logical Structure From Textual Documents
Dedoc: A Universal System for Extracting Content and Logical...
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Oksana Belyaeva Anastasiia Bogatenkova Denis Turdakov Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow
Document analysis has been a longstanding topic of research because of its great impact on a wide range of practical applications. The sheer number of different document formats and domains make this task particularly...
来源: 评论
A Dataset for Information Extraction from News Web Pages
A Dataset for Information Extraction from News Web Pages
收藏 引用
2022 Ivannikov Open Conference, ISPRAS 2022
作者: Varlamov, Maksim Galanin, Denis Bedrin, Pavel Duda, Sergey Lazarev, Vladimir Yatskov, Alexander Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia Lomonosov Moscow State University Moscow Russia
In this paper we propose a new dataset for information extraction from news web pages. Accurate collection of news articles is necessary to build systems that aggregate and analyze data from a large number of news sou... 详细信息
来源: 评论
Towards Symbolic Pointers Reasoning in Dynamic Symbolic Execution
Towards Symbolic Pointers Reasoning in Dynamic Symbolic Exec...
收藏 引用
2021 Ivannikov Memorial Workshop, IVMEM 2021
作者: Kuts, Daniil Ivannikov Institute for System Programming RAS Moscow Russia
Dynamic symbolic execution is a widely used technique for automated software testing, designed for execution paths exploration and program errors detection. A hybrid approach has recently become widespread, when the m... 详细信息
来源: 评论
A Practical Approach for Reliability Prediction of Safety Critical Software Using Multi-Model Ensemble Techniques  7
A Practical Approach for Reliability Prediction of Safety Cr...
收藏 引用
7th International Conference on system Reliability and Safety, ICSRS 2023
作者: Ouertani, Aymen Krini, Ossmane Börcsök, Habil. Josef Institute of Functional Safety & Cyber Security Baden-Wuerttemberg Cooperative State University Lörrach Germany Computer Architecture und System Programming University of Kassel Kassel Germany
This paper introduces a novel and comprehensive approach for estimating the reliability of safety critical software components in autonomous vehicle motion systems. The proposed approach in this paper presents a combi... 详细信息
来源: 评论
Slurm PaaS in a cloud environment for development and debug purposes
Slurm PaaS in a cloud environment for development and debug ...
收藏 引用
2021 Ivannikov Ispras Open Conference, ISPRAS 2021
作者: Ozerova, Tatiana Aksenova, Elena Borisenko, Oleg Kraposhin, Matvey Khashba, Eshsou Ivannikov Institute For System Programming Of The Ras Moscow Russia
Nowadays specialized distributed services and sig-nificant amounts of computing resources are used for solving tasks in Big Data processing and analysis. Cloud environments allow people to create virtual clusters with... 详细信息
来源: 评论