咨询与建议

限定检索结果

文献类型

  • 482 篇 会议
  • 163 篇 期刊文献
  • 3 册 图书

馆藏范围

  • 648 篇 电子文献
  • 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...
  • 20 篇 institute for sy...
  • 19 篇 department of sy...
  • 18 篇 lomonosov moscow...
  • 17 篇 bauman moscow st...
  • 17 篇 institute for sy...
  • 17 篇 south ural state...
  • 17 篇 ivannikov instit...
  • 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...

语言

  • 626 篇 英文
  • 14 篇 其他
  • 10 篇 俄文
  • 1 篇 中文
检索条件"机构=Institute for System Programming"
648 条 记 录,以下是101-110 订阅
排序:
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 ...
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Olga Bazhenova “Linguistic platforms” laboratory Ivannikov Institute for System Programming of the Russian Academy of Sciences 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...
来源: 评论
Are the Type of Conjugation and Stress Related in the Mari Language?
Are the Type of Conjugation and Stress Related in the Mari L...
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Normanskaja Julia Viktorovna The Institute of linguistics of the RAS (Moscow) Ivannikov's Institute for System Programming of the RAS (Moscow) Moscow Russian Federation
The question about the Mari stress was the discussion's subject from 1775 (the year of the creating of the first grammar). In the modern Mari language, the type of stress depends on the dialect. Analyzing these da...
来源: 评论
Accelerated Methods with Compressed Communications for Distributed Optimization Problems under Data Similarity
arXiv
收藏 引用
arXiv 2024年
作者: Bylinkin, Dmitry Beznosikov, Aleksandr Moscow Institute of Physics and Technology Russia Ivannikov Institute for System Programming of the Russian Academy of Sciences Russia Sber AI Lab Skoltech Russia
In recent years, as data and problem sizes have increased, distributed learning has become an essential tool for training highperformance models. However, the communication bottleneck, especially for high-dimensional ... 详细信息
来源: 评论
A Survey of Open-source Tools for FPGA-based Inference of Artificial Neural Networks
A Survey of Open-source Tools for FPGA-based Inference of Ar...
收藏 引用
2021 Ivannikov Memorial Workshop, IVMEM 2021
作者: Lebedev, Mikhail Belecky, Pavel Plekhanov Russian University of Economics Ivannikov Institute for System Programming RAS Moscow Russia
During the recent years artificial neural networks have become a great part of everyday life. One of the big problems in AI is acceleration of neural network inference using different hardware: from CPUs and GPUs to F... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Detecting anomalous device loads during exploratory testing of mobile applications
Detecting anomalous device loads during exploratory testing ...
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Danila Mikhaltsov Konstantin Sorokin Ivannikov Institute for System Programming of the RAS Moscow Russia
Reputation and competitiveness of both mobile applications and mobile operating systems depend on their quality. Developers are using various techniques to ensure high quality. Recently, exploratory testing approaches... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Static Analysis for Go: Build Interception
Static Analysis for Go: Build Interception
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Varvara Dvortsova Alexey Izbyshev Alexey Borodin Andrey Belevantsev Ivannikov Institute for System Programming of the RAS Moscow Russia Lomonosov Moscow State University Moscow Russia
This paper presents a method for build interception of Go projects and utilizing the intercepted information for building an intermediate representation used in a static analyzer. The paper discusses two approaches: h...
来源: 评论
Unitary transform diagonalizing the Confluent Hypergeometric kernel
arXiv
收藏 引用
arXiv 2025年
作者: Gorbunov, Sergei M. Moscow Institute of Physics and Technology Moscow Region Dolgoprudny Russia Steklov Mathematical Institute of Russian Academy of Sciences Moscow Russia Institute for System Programming Russian Academy of Sciences Moscow Russia
We consider the image of the operator, inducing the determinantal point process with the confluent hypergeometric kernel. The space is described as the image of L2[0, 1] under a unitary transform, which generalizes th... 详细信息
来源: 评论