咨询与建议

限定检索结果

文献类型

  • 174 篇 会议
  • 64 篇 期刊文献
  • 3 册 图书

馆藏范围

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

日期分布

学科分类号

  • 136 篇 工学
    • 113 篇 计算机科学与技术...
    • 94 篇 软件工程
    • 31 篇 力学(可授工学、理...
    • 20 篇 控制科学与工程
    • 13 篇 机械工程
    • 12 篇 信息与通信工程
    • 11 篇 电气工程
    • 11 篇 安全科学与工程
    • 8 篇 航空宇航科学与技...
    • 6 篇 动力工程及工程热...
    • 6 篇 电子科学与技术(可...
    • 6 篇 生物工程
    • 4 篇 轻工技术与工程
    • 3 篇 光学工程
    • 3 篇 化学工程与技术
    • 3 篇 石油与天然气工程
    • 2 篇 建筑学
    • 2 篇 土木工程
    • 2 篇 测绘科学与技术
  • 83 篇 理学
    • 50 篇 数学
    • 33 篇 物理学
    • 17 篇 统计学(可授理学、...
    • 10 篇 系统科学
    • 6 篇 生物学
    • 4 篇 化学
    • 4 篇 大气科学
  • 25 篇 管理学
    • 13 篇 管理科学与工程(可...
    • 11 篇 图书情报与档案管...
    • 7 篇 工商管理
  • 2 篇 经济学
    • 2 篇 应用经济学
  • 1 篇 哲学
  • 1 篇 法学
  • 1 篇 历史学
  • 1 篇 农学

主题

  • 19 篇 static analysis
  • 12 篇 conferences
  • 9 篇 computational mo...
  • 7 篇 libraries
  • 7 篇 fuzzing
  • 7 篇 codes
  • 7 篇 numerical models
  • 7 篇 source coding
  • 6 篇 registers
  • 6 篇 programming
  • 6 篇 numerical simula...
  • 6 篇 software testing
  • 6 篇 software
  • 6 篇 testing
  • 6 篇 mathematical mod...
  • 6 篇 standards
  • 5 篇 tools
  • 5 篇 instruments
  • 5 篇 computer archite...
  • 5 篇 computer bugs

机构

  • 57 篇 ivannikov instit...
  • 36 篇 ivannikov instit...
  • 29 篇 lomonosov moscow...
  • 17 篇 moscow institute...
  • 14 篇 lomonosov moscow...
  • 12 篇 ivannikov instit...
  • 11 篇 ivannikov instit...
  • 9 篇 bauman moscow st...
  • 9 篇 bauman moscow st...
  • 7 篇 moscow institute...
  • 7 篇 ivannikov instit...
  • 7 篇 institute for sy...
  • 6 篇 ivannikov instit...
  • 5 篇 tomsk state univ...
  • 5 篇 ivannikov instit...
  • 5 篇 programming of t...
  • 5 篇 lomonosov moscow...
  • 4 篇 college of engin...
  • 4 篇 ivannikov instit...
  • 4 篇 mohamed bin zaye...

作者

  • 15 篇 yevtushenko nina
  • 12 篇 vishnyakov alexe...
  • 11 篇 kuts daniil
  • 10 篇 parygina darya
  • 10 篇 fedotov andrey
  • 8 篇 gasnikov alexand...
  • 8 篇 burdonov igor
  • 7 篇 logunova vlada
  • 7 篇 marchevsky ilia
  • 6 篇 daniil kuts
  • 6 篇 epikhin andrey
  • 6 篇 ilia marchevsky
  • 6 篇 kobrin eli
  • 6 篇 savidov georgy
  • 6 篇 nina yevtushenko
  • 5 篇 andrey belevants...
  • 5 篇 borodin alexey
  • 5 篇 alexey vishnyako...
  • 5 篇 alexey borodin
  • 5 篇 alexander kamkin

语言

  • 234 篇 英文
  • 5 篇 其他
  • 4 篇 俄文
检索条件"机构=Institute for System Programming of RAS"
241 条 记 录,以下是21-30 订阅
排序:
Vector supercomputer “Electronica SS BIS”
Vector supercomputer “Electronica SS BIS”
收藏 引用
Ivannikov Memorial Workshop (IVMEM)
作者: Igor Burdonov Sergey Gaisaryan Alexander Kosachev Sergei Prokhorov Victor Shnitman 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... 详细信息
来源: 评论
Numerical Simulation of Supersonic Jet Noise Using Open Source Software  1
收藏 引用
23rd International Conference on Computational Science, ICCS 2023
作者: Epikhin, Andrey But, Ivan Ivannikov Institute for System Programming of the RAS Moscow109004 Russia Keldysh Institute of Applied Mathematics of the RAS Moscow125047 Russia Bauman Moscow State Technical University Moscow105005 Russia
The paper is devoted to the study of various numerical algorithms for calculating the flow and acoustics characteristics of supersonic jets implemented in open source software. The ideally expanded supersonic jet with... 详细信息
来源: 评论
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...
来源: 评论
Numeric Truncation Security Predicate
Numeric Truncation Security Predicate
收藏 引用
2023 Ivannikov ISPras Open Conference, ISPras 2023
作者: Mezhuev, Timofey Kobrin, Ilay Vishnyakov, Alexey Kuts, Daniil Ivannikov Institute for System Programming of the Ras Moscow Russia Lomonosov Moscow State University Moscow Russia Yandex Cloud Moscow Russia
Numeric truncation is a widely spread error in software written in languages with static data typing, such as C/C++ or Java. It occurs when the significant bits of the value with a bigger type size are truncated durin... 详细信息
来源: 评论
Training Policy for Privacy-Preserving Logistic Regression in Federated Learning Environments  2
Training Policy for Privacy-Preserving Logistic Regression i...
收藏 引用
2nd IEEE International Conference on Federated Learning Technologies and Applications, FLTA 2024
作者: Cortés-Mendoza, Jorge M. Tchernykh, Andrei González-Vélez, Horacio Cloud Competency Centre National College of Ireland Dublin Ireland Computer Science Department CICESE Research Center Ensenada Mexico Institute for System Programming RAS Moscow Russia
Logistic Regression (LR) is a widely used statistical model for classification problems. However, its training and evaluation in a shared environment increase the possibility of information leaking. A federated LR red... 详细信息
来源: 评论
Halocline Internal Wave Attractors Visualization
Scientific Visualization
收藏 引用
Scientific Visualization 2024年 第50期16卷 82-94页
作者: Elistratov, Stepan A Shirshov Institute of Oceanology of RAS Russia B Ivannikov Institute for System Programming of RAS Russia C Sobolev Institute of Mathematics the Siberian Branch of the RAS Russia
The phenomenon of wave attractor, originating from ocean dynamics, in the last couple decades has become widely-studied both laboratorily and numerically. However, their discoveries in wild nature are still rare hence... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Strong Optimistic Solving for Dynamic Symbolic Execution
Strong Optimistic Solving for Dynamic Symbolic Execution
收藏 引用
2022 Ivannikov Memorial Workshop, IVMEM 2022
作者: Parygina, Darya Vishnyakov, Alexey Fedotov, Andrey Ivannikov Institute for System Programming of the RAS Russia Lomonosov Moscow State University Moscow Russia
Dynamic symbolic execution (DSE) is an effective method for automated program testing and bug detection. It is increasing the code coverage by the complex branches exploration during hybrid fuzzing. DSE tools invert t... 详细信息
来源: 评论
Interprocedural static analysis for Go with closure support
Interprocedural static analysis for Go with closure support
收藏 引用
2022 Ivannikov Open Conference, ISPras 2022
作者: Borodin, Alexey Dvortsova, Varvara Volkov, Alexander Ivannikov Institute for System Programming of the Ras Russia Lomonosov Moscow State University Moscow Russia
We present an interprocedural static analysis to detect errors in the Go source code. The analysis supports most of the language features, while the main focus of the paper is closures and defer statements. The analys... 详细信息
来源: 评论
Devirtualization for static analysis with low level intermediate representation
Devirtualization for static analysis with low level intermed...
收藏 引用
2022 Ivannikov Open Conference, ISPras 2022
作者: Galustov, Artemiy Borodin, Alexey Belevantsev, Andrey Ivannikov Institute for System Programming of the Ras Russia Lomonosov Moscow State University Moscow Russia
We propose a points-to analysis that can recover targets for function pointer calls, virtual calls and method calls for using in a static analysis. We use a flow-insensitive analysis, and the analysis results are inte... 详细信息
来源: 评论