咨询与建议

限定检索结果

文献类型

  • 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 of System Programming"
649 条 记 录,以下是91-100 订阅
排序:
Dynamic symbolic execution of Java programs using JNI  11
Dynamic symbolic execution of Java programs using JNI
收藏 引用
11th International Conference on Computer Science and Information Technologies, CSIT 2017
作者: Vartanov, Sergey Institute for System Programming of the Russian Academy of Sciences Lomonosov Moscow State University Moscow Russia
For the sake of better performance, platform-specific facilities support, or the use of legacy code, Java applications may use JNI (Java Native Interface) to call native functions. We present an approach to perform dy... 详细信息
来源: 评论
Graph Neural Network for Crawling Target Nodes in Social Networks
Graph Neural Network for Crawling Target Nodes in Social Net...
收藏 引用
2022 Ivannikov Open Conference, ISPRAS 2022
作者: Lukyanov, Kirill Drobyshevskiy, Mikhail Shaikhelislamov, Danil Turdakov, Denis Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia Moscow Russia
Social networks crawling is in the focus of active research the last years. One of the challenging task is to collect target nodes in an initially unknown graph given a budget of crawling steps. Predicting a node prop... 详细信息
来源: 评论
A parallel algorithm for fixed-dimensional linear programming
收藏 引用
Parallel Algorithms and Applications 1995年 第1期6卷 17-24页
作者: Kuzyurin, Nikolai N. Shabanov, Leonid V. Institute of System Programming Russian Academy of Science Moscow 109004 B. Communisticheskaja 25 Russian Federation
Simple parallel algorithm for fixed-dimensional Linear programming is developed. It provides a straight-forward implementation on MIMD architectures with high efficiency. The implementation on transputer arrays is des... 详细信息
来源: 评论
Concurrent testing of Java components using Java PathFinder
Concurrent testing of Java components using Java PathFinder
收藏 引用
2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006
作者: Mutilin, Vadim Institute for System Programming of Russian Academy of Sciences 25 B. Communisticheskaya Moscow Russia
Concurrent systems work nondeterministically. For concurrent systems, UniTESK-based test suite executes methods with different parameters in different states, but it does not guarantee that all possible execution path... 详细信息
来源: 评论
4D modelling of large industrial projects using spatio-temporal decomposition
4D modelling of large industrial projects using spatio-tempo...
收藏 引用
1st European Conference for Product and Process Modelling, ECPPM 2010
作者: Semenov, V.A. Kazakov, K.A. Morozov, S.V. Tarlapan, O.A. Zolotov, V.A. Dengenis, T. Institute for System Programming RAS Moscow Russia Synchro Ltd. Coventry United Kingdom
There has been a growing interest in the emerging technology of four-dimensional modelling and planning of industrial projects. In comparison with traditional 3D CAD and project management systems, 4D modelling provid... 详细信息
来源: 评论
Cross-platform graphics subsystem for an ARINC 653-compatible real-time operating system
Cross-platform graphics subsystem for an ARINC 653-compatibl...
收藏 引用
2021 Ivannikov Ispras Open Conference, ISPRAS 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... 详细信息
来源: 评论
Research on automatic generation of fuzz-target for software library functions
Research on automatic generation of fuzz-target for software...
收藏 引用
2022 Ivannikov Open Conference, ISPRAS 2022
作者: Tran, Chi Thien Ponomarev, Dmitry Kuznhesov, Andrey Programming of the Ras Ivannikov Institute for System Moscow Russia Llc 'Fobos-nt' Moscow Russia
To avoid re-development, software libraries are widely used. However, the automated testing of software libraries remains challenging. This article focuses on the use of fuzzing technology and automatic code generatio... 详细信息
来源: 评论
Effective extraction of thematically grouped key terms from text
Effective extraction of thematically grouped key terms from ...
收藏 引用
Social Semantic Web: Where Web 2.0 Meets Web 3.0 - Papers from the AAAI Spring Symposium
作者: Grineva, Maria Grinev, Maxim Lizorkin, Dmitry Institute for System Programming of Russian Academy of Sciences 25 A. Solzhenitsyna Moscow 109004 Russia
We present a novel method for extraction of key terms from text documents. The important and novel feature of our method is that it produces groups of key terms, while each group contains key terms semantically relate... 详细信息
来源: 评论
Classification of the Stavropol Dialect of the Estonian Language Based on Field Record Analysis Using Digital Methods
Classification of the Stavropol Dialect of the Estonian Lang...
收藏 引用
2023 Ivannikov ISPRAS Open Conference, ISPRAS 2023
作者: Dogadushkin, D. Normankaja, J. Ivannikov Institute for System Programming of the Russian Academy of Sciences 'Linguistic Platforms' Laboratory Moscow Russia
The question of accurate classification of a language or a dialect becomes particularly relevant when its speakers, due to migrations, find themselves in isolated regions. Geographically distant from their original pl... 详细信息
来源: 评论
The Position of the Upper Kama Dialect in the Komi Language Dialectal Area: Evidence from the LingvoDoc Platform
The Position of the Upper Kama Dialect in the Komi Language ...
收藏 引用
2023 Ivannikov ISPRAS Open Conference, ISPRAS 2023
作者: Bazhenova, Olga Ivannikov Institute for System Programming of the Russian Academy of Sciences 'Linguistic Platforms' Laboratory Moscow Russia
The Upper Kama dialect is spoken by the Komi ethnic group residing in the upper Kama River region. The idiom developed independently from the area of distribution of Komi dialects and existed solely in oral form. In K... 详细信息
来源: 评论