咨询与建议

限定检索结果

文献类型

  • 481 篇 会议
  • 162 篇 期刊文献
  • 6 册 图书

馆藏范围

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

日期分布

学科分类号

  • 363 篇 工学
    • 298 篇 计算机科学与技术...
    • 236 篇 软件工程
    • 45 篇 力学(可授工学、理...
    • 43 篇 控制科学与工程
    • 33 篇 信息与通信工程
    • 30 篇 机械工程
    • 23 篇 电气工程
    • 20 篇 安全科学与工程
    • 19 篇 电子科学与技术(可...
    • 15 篇 化学工程与技术
    • 15 篇 航空宇航科学与技...
    • 14 篇 生物工程
    • 11 篇 仪器科学与技术
    • 11 篇 动力工程及工程热...
    • 10 篇 生物医学工程(可授...
    • 9 篇 光学工程
    • 9 篇 交通运输工程
    • 8 篇 石油与天然气工程
    • 7 篇 材料科学与工程(可...
    • 7 篇 土木工程
  • 202 篇 理学
    • 121 篇 数学
    • 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
  • 14 篇 linux
  • 14 篇 safety
  • 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...
  • 20 篇 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 篇 vishnyakov alexe...
  • 11 篇 mostafa abotaleb
  • 11 篇 kuts daniil
  • 11 篇 josef börcsök
  • 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...

语言

  • 628 篇 英文
  • 13 篇 其他
  • 10 篇 俄文
  • 1 篇 中文
检索条件"机构=Institute for System Programming"
649 条 记 录,以下是41-50 订阅
排序:
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Vector supercomputer 'Electronica SS BIS'
Vector supercomputer 'Electronica SS BIS'
收藏 引用
2024 Ivannikov Memorial Workshop, IVMEM 2024
作者: Burdonov, Igor Gaisaryan, Sergey Kosachev, Alexander Prokhorov, Sergei Shnitman, Victor Ivannikov Institute for System Programming RAS Moscow Russia
The article outlines the basic design principles of the Electronica SS BIS software and computing complex, aimed at addressing the most complex scientific problems. The developers have researched heterogeneous computi... 详细信息
来源: 评论
Automated verification of shared libraries for backward binary compatibility
Automated verification of shared libraries for backward bina...
收藏 引用
International Conference on Advances in system Testing and Validation Lifecycle
作者: Ponomarenko, Andrey Rubanov, Vladimir Institute for System Programming Russian Academy of Sciences Moscow Russia
This paper discusses a problem of ensuring backward binary compatibility when developing shared libraries. Linux (and GCC environment) is used as the main example. Breakage of the compatibility may result in crashing ... 详细信息
来源: 评论
Verifying Multiple Virtual Networks in Software Defined Networks
Verifying Multiple Virtual Networks in Software Defined Netw...
收藏 引用
2021 IEEE East-West Design and Test Symposium, EWDTS 2021
作者: Burdonov, Igor Yevtushenko, Nina Kossachev, Alexandr Ivannikov Institute for System Programming of RAS Software Engineering Department Moscow Russia Ivannikov Institute for System Programming Software Engineering Deparment Moscow Russia
Software Defined Network (SDN) technology is one of the modern network virtualization technologies. When implementing a virtual network on the SDN data plane, undesired effects may occur: the appearance of undesired p... 详细信息
来源: 评论
Optimal mapping of a parallel application processes onto heterogeneous platform
Optimal mapping of a parallel application processes onto het...
收藏 引用
19th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2005
作者: Kalinov, Alexey Klimov, Sergey Institute for System Programming Russian Academy of Sciences 25 Bolshaya Kommunisticheskaya str. Moscow 1090045 Russia Institute for System Programming Russian Academy of Sciences
The paper is devoted to analysis of a strategy of computation distribution on heterogeneous parallel systems. According to this strategy processes of parallel program are distributed over the processors according to t... 详细信息
来源: 评论
A discrete-event simulator for early validation of avionics systems  1
A discrete-event simulator for early validation of avionics ...
收藏 引用
1st International Workshop on Architecture Centric Virtual Integration, ACVI 2014, Co-located with the 17th International Conference on Model Driven Engineering Languages and systems, MoDELS 2014
作者: Buzdalov, Denis Khoroshilov, Alexey Institute for System Programming Russian Academy of Sciences Moscow Russia
The paper discusses problems arising in development of avionics systems and considers how discrete-event simulation on the base of architecture models at the early stages of avionics design can help to mitigate some o... 详细信息
来源: 评论
Spatial-temporal reasoning in construction scenes using advanced directional relations  26
Spatial-temporal reasoning in construction scenes using adva...
收藏 引用
26th International Conference on Computer Graphics and Vision, GraphiCon 2016
作者: Petrishchev, Konstantin Kazakov, Konstantin Semenov, Vitaly Institute for System Programming Russian Academy of Sciences Moscow Russia
Visual spatial-temporal (4D) modeling technologies play an important role in the realization of complex construction projects and programs facing the problems of trustworthy planning, advanced communication among stak... 详细信息
来源: 评论
Practical Escape Analysis in an Open World
收藏 引用
电子学报(英文版) 2009年 第1期18卷 31-36页
作者: SHI Xiaohua JIN Maozhong WU Gansha LUEH Gueiyuan Software Engineering Institute Beihang University Beijing 100083 China Programming System Laboratory Microprocessor Technology Laboratory Intel Corporation China
A novel escape analysis framework that handles the Java open-world features is proposed and evaluated. The novel approach analyzes a Java program with an optimistic view that the program is in a closed world and appli... 详细信息
来源: 评论
Static analysis usage for customizable semantic checks of C and C++ programming languages constraints
Static analysis usage for customizable semantic checks of C ...
收藏 引用
7th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2014
作者: Ignatyev, Valery Institute for System Programming Russian Academy of Sciences Moscow Russia
We propose the formal model of programming language constraints, which allows specifying stylistic, syntax and contextual rules. We also give the classification of those constraints. We describe the developed program ... 详细信息
来源: 评论