咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是351-360 订阅
排序:
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...
来源: 评论
On CPU and GPU parallelization of VM2D code for 2D flows simulation using vortex method  6
On CPU and GPU parallelization of VM2D code for 2D flows sim...
收藏 引用
6th ECCOMAS European Conference on Computational Mechanics: Solids, Structures and Coupled Problems, ECCM 2018 and 7th ECCOMAS European Conference on Computational Fluid Dynamics, ECFD 2018
作者: Kuzmina, Kseniia S. Marchevsky, Ilia K. Ryatina, Evgeniya P. Bauman Moscow State Technical University 2-nd Baumanskaya st. 5 Moscow105005 Russia Ivannikov Institute for System Programming of the RAS Alexander Solzhenitsyn st. 25 Moscow109004 Russia
VM2D is an open-source software being developed by the authors for two-dimensional incompressible flows simulations around airfoils. VM2D is based on meshless Lagrangian vortex methods. The main operations of the algo... 详细信息
来源: 评论
Research on automatic generation of fuzz-target for software library functions
Research on automatic generation of fuzz-target for software...
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Chi Thien Tran Dmitry Ponomarev Andrey Kuznhesov Ivannikov Institute for System Programming of the RAS 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... 详细信息
来源: 评论
Crash Report Accumulation During Continuous Fuzzing
arXiv
收藏 引用
arXiv 2024年
作者: Yegorov, Ilya Savidov, Georgy Ivannikov Institute for System Programming of the RAS Russia Lomonosov Moscow State University Moscow Russia
Crash report accumulation is a necessary step during continuous fuzzing. Dynamic software analysis techniques like fuzzing and dynamic symbolic execution generate a large number of crashes for analysis. However, the t... 详细信息
来源: 评论
Using open source software for solving aeroelasticity case for wind turbine blade  6
Using open source software for solving aeroelasticity case f...
收藏 引用
6th ECCOMAS European Conference on Computational Mechanics: Solids, Structures and Coupled Problems, ECCM 2018 and 7th ECCOMAS European Conference on Computational Fluid Dynamics, ECFD 2018
作者: Lukashin, Pavel S. Melnikova, Valeriia G. Shcheglov, Georgy A. Strijhak, Sergei V. Bauman Moscow State Technical University 5/1 2-nd Baumanskaya st. Moscow105005 Russia Ivannikov Institute for System Programming of the RAS 25 Alexander Solzhenitsyn st. Moscow109004 Russia
Due to the development of Wind Energy and construction of new wind farms in the Russian Federation and Europe there is a need for solution of application-oriented problems and development of effective methods for nume... 详细信息
来源: 评论
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...
来源: 评论
Strong Optimistic Solving for Dynamic Symbolic Execution
arXiv
收藏 引用
arXiv 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... 详细信息
来源: 评论
LibAFL-DiFuzz: Advanced Architecture Enabling Directed Fuzzing
arXiv
收藏 引用
arXiv 2024年
作者: Parygina, Darya Mezhuev, Timofey Kuts, Daniil Ivannikov Institute for System Programming of the RAS Russia Lomonosov Moscow State University Moscow Russia
Directed fuzzing performs best for targeted program testing via estimating the impact of each input in reaching predefined program points. But due to insufficient analysis of the program structure and lack of flexibil... 详细信息
来源: 评论
Open Source Code for 2D Incompressible Flow Simulation by Using Meshless Lagrangian Vortex Methods
Open Source Code for 2D Incompressible Flow Simulation by Us...
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Kseniia S. Kuzmina Ilia K. Marchevsky Evgeniya P. Ryatina Bauman Moscow State Technical University Ivannikov Institute for System Programming of RAS Moscow Russia
Open Source C++ code is developed for 2D incompressible flow simulation by using vortex methods. The code has modular structure, it permits users to simulate flow around airfoils (as well as around system of airfoils)... 详细信息
来源: 评论
About One Property of Number Rank in RNS
About One Property of Number Rank in RNS
收藏 引用
IEEE NW Russia Young Researchers in Electrical and Electronic Engineering Conference (EIConRusNW)
作者: Mikhail Babenko Elena Golimblevskaia North-Caucasus Federal University Stavropol Russia Ivannikov Institute for System Programming Moscow Russia
An approximate value of the number rank is used to increase the speed of homomorphic encryption algorithms. The use of an approximate rank of a number allows reducing the computational complexity of the data encryptio... 详细信息
来源: 评论