咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是361-370 订阅
排序:
Dynamic analysis of ARINC 653 RTOS with LLVM
arXiv
收藏 引用
arXiv 2021年
作者: Cheptsov, Vitaly Khoroshilov, Alexey Ivannikov Institute for System Programming of the Russian Academy of Sciences Higher School of Economics Moscow Russia
Existing standards for airborne-embedded software systems impose a number of requirements applicable to the software development cycle of hard real-time operating systems found in modern aircraft. The measures taken a... 详细信息
来源: 评论
Cross-platform graphics subsystem for an ARINC 653-compatible real-time operating system
arXiv
收藏 引用
arXiv 2021年
作者: Raenchuk, Maksim Cheptsov, Vitaly Khoroshilov, Alexey Ivannikov Institute for System Programming Moscow Russia Lomonosov Moscow State University Moscow Russia
In the development of modern cockpits, there is a trend towards the use of large displays that combine information about air navigation and the status of aircraft equipment. Flight and equipment performance informatio... 详细信息
来源: 评论
Exception Analysis for Errors Detection in the SharpChecker Static Analyzer for C#
Exception Analysis for Errors Detection in the SharpChecker ...
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Mikhail Belyaev Valery Ignatyev Ivannikov Institute for System Programming of the Russian Academy of Sciences (ISP RAS) Moscow Russian Federation
Exception handling is a widely used runtime error management method in object-oriented languages, especially C#, where it is deeply embedded in the standard library (CoreFX). Accurate and efficient exception analysis ... 详细信息
来源: 评论
Ontological Approach to the Formal Specification of the Standard Life Cycle
Ontological Approach to the Formal Specification of the Stan...
收藏 引用
Science and Information Conference
作者: Ekaterina Lavrishcheva Software Engineering Department Institute for System Programming of the RAS Prof. MIPT Moscow Russia
Approach is offered to the formal specification of Standard Life Cycle (LC) of the program systems (PS) by the ontology facilities with purpose automation and generation of the variants LC for making the appropriate k... 详细信息
来源: 评论
User Defined Checkers for Static Analysis with Symbolic Execution
User Defined Checkers for Static Analysis with Symbolic Exec...
收藏 引用
Ivannikov Memorial Workshop (IVMEM)
作者: Artemiy Galustov Alexey Borodin Ivannikov Institute for System Programming of the RAS Russia Lomonosov Moscow State University Moscow Russia
Many modern static analysis tools provide toolkits that allow creation of custom checkers by end users. The majority of existing solutions choose AST-based approaches to provide a simpler declarative API. Solutions ba... 详细信息
来源: 评论
Speed of convergence in the Central Limit Theorem for the determinantal point process with the Bessel kernel
arXiv
收藏 引用
arXiv 2024年
作者: Gorbunov, Sergei M. Moscow Institute of Physics and Technology Dolgoprudny Russia Institute for System Programming The Russian Academy of Sciences Moscow Russia
We consider a family of linear operators, diagonalized by the Hankel transform. The Fredholm determinants of these operators, restricted to L2[0, R], are expressed in a convenient form for asymptotic analysis as R → ... 详细信息
来源: 评论
The Algorithm of the Path Length Optimization on the Polyhedron Surface  49th
The Algorithm of the Path Length Optimization on the Pol...
收藏 引用
Advanced Problem in Mechanics III - Proceedings of the 49th International Summer School-Conference "Advanced Problems in Mechanics", 2021
作者: Gumirova, Alia Marchevsky, Ilia Safronov, Yurii Bauman Moscow State Technical University 2-nd Baumanskaya st. 5 Moscow105005 Russia Ivannikov Institute for System Programming of the RAS Al. Solzhenitsyn st. 25 Moscow109004 Russia
Finding a short path between two given points lying on the polyhedron is an actual problem arising in various applications in science and technology;polyhedron faces without any restrictions can be considered triangul... 详细信息
来源: 评论
Cross-platform graphics subsystem for an ARINC 653-compatible real-time operating system
Cross-platform graphics subsystem for an ARINC 653-compatibl...
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Maksim Raenchuk Vitaly Cheptsov Alexey Khoroshilov Ivannikov Institute for System Programming Moscow Russia Lomonosov Moscow State University Moscow Russia
In the development of modern cockpits, there is a trend towards the use of large displays that combine information about air navigation and the status of aircraft equipment. Flight and equipment performance informatio... 详细信息
来源: 评论
A Case Study of Valency Patterns for Motion Verbs in Vakh Khanty by Means of Lingvodoc
A Case Study of Valency Patterns for Motion Verbs in Vakh Kh...
收藏 引用
2022 Ivannikov Open Conference, ISPRAS 2022
作者: Novitskaya, Irina Vorobeva, Victoria National Research Tomsk State University Department of Foreign Languages Tomsk Russia Ivannikov Institute for System Programming of the Ras Information Systems Department Tomsk Moscow Russia Tpu Information Systems Department Tomsk Moscow Russia
The article presents a study of the syntactic compatibility of verbs of motion in the Vakh dialect of the Khanty language. The study was conducted with the help of the tools of the platform for documentation of the Ur... 详细信息
来源: 评论
Method of Activity of Intelligent Agent for Semantic Analysis of Software Requirements
Method of Activity of Intelligent Agent for Semantic Analysi...
收藏 引用
IEEE International Conference on Intelligent Data Acquisition and Advanced Computing systems
作者: Olga Pavlova Tetiana Hovorushchenko Artem Boyarchuk System Programming Department of Khmelnytsky National University Computer Engineering & System Programming Department of Khmelnytsky National University Lecturer of Computer Systems Networks and Cybersecurity Department of National Aerospace University "Kharkiv Aviation Institute"
The paper deals with the development of the method of activity and the realization of the intelligent agent (IA) for semantic analysis of the natural language software requirements. This IA performs the analysis of th... 详细信息
来源: 评论