咨询与建议

限定检索结果

文献类型

  • 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 of System Programming"
651 条 记 录,以下是451-460 订阅
排序:
system-Wide Elimination of Unreferenced Code and Data in Dynamically Linked Programs
System-Wide Elimination of Unreferenced Code and Data in Dyn...
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Vladislav Ivanishin Evgeny Kudryashov Alexander Monakov Dmitry Melnik Jehyung Lee Ivannikov Institute for System Programming of Russian Academy of Sciences Samsung Electronics Software Center
Embedded devices may be significantly constrained in main memory, storage and CPU loads they can accommodate. The smaller the program, the faster it is loaded into memory. The smaller the system image, the cheaper can... 详细信息
来源: 评论
Influence of geometry on energy flow and instability in inertial wave attractors for rotating annular frustum
收藏 引用
AIP Conference Proceedings 2019年 第1期2116卷
作者: Ilias Sibgatullin Xiulin Xu Artem Tretyakov Evgeny Ermanyuk 1Moscow State University Institute of Mechanics Faculty of Mechanics and Mathematics Moscow Russia 2Ivannikov Institute of System Programming Russian Academy of Sciences Moscow Russia 3Shirshov Institute of Oceanology of the Russian Academy of Sciences Moscow Russia 4Lavrentyev Institute of Hydrodynamics of the Russian Academy of Sciences Moscow Russia
Internal and inertial wave attractors appear as a result of propagation of waves obeying very specific dispersion relation. In closed containers, some boundaries of which are inclined with respect to the anisotropy di...
来源: 评论
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)... 详细信息
来源: 评论
3D hydrodynamical simulation of accretion disk in binary star system using RKDG CFD solver
收藏 引用
Journal of Physics: Conference Series 2018年 第1期1103卷
作者: M P Galanin V V Lukin V M Chechetkin Keldysh Institute of Applied Mathematics of the RAS Moscow Russia Ivannikov Institute for System Programming of the RAS Moscow Russia
We present the results of 3D-hydrodynamical simulations of accretion disk in close binary star system. The model includes the optical star filling its Roche lobe, a gas stream emanating from the inner Lagrangian point...
来源: 评论
Preface
收藏 引用
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2018年 10742 LNCS卷
作者: Voronkov, Andrei Petrenko, Alexander K. The University of Manchester Manchester United Kingdom Ivannikov Institute for System Programming of RAS Moscow Russia
来源: 评论
Scientific Data Lake for High Luminosity LHC project and other data-intensive particle and astro-particle physics experiments
收藏 引用
Journal of Physics: Conference Series 2020年 第1期1690卷
作者: A Alekseev A Kiryanov A Klimentov T Korchuganova V Mitsyn D Oleynik A Smirnov S Smirnov A Zarochentsev Compiler Technology Department Ivannikov Institute for System Programming of the RAS Moscow 109004 Russia Cloud technologies and Big Data analytics laboratory Plekhanov Russian University of Economics Moscow 117997 Russia ATLAS group Universidad Andres Bello Santiago 7550196 Chile Department of computing resources and technologies NRC 'Kurchatov Institute' - PNPI 188300 Gatchina Russia Physics Department Brookhaven National Laboratory Upton NY 11973 USA Laboratory of Information Technologies Joint Institute for Nuclear Research Dubna 141980 Russia Institute of Nuclear Physics and Engineering National Research Nuclear University MEPhI Moscow 115409 Russia Laboratory of Ultra-High Energy Physics Saint Petersburg State University Saint Petersburg 198504 Russia
The next phase of LHC Operations – High Luminosity LHC (HL-LHC), which is aimed at ten-fold increase in the luminosity of proton-proton collisions at the energy of 14 TeV, is expected to start operation in 2027-2028 ...
来源: 评论
RKDG method for 2D gas dynamics simulation on uniform rectangular meshes
收藏 引用
Journal of Physics: Conference Series 2019年 第1期1348卷
作者: Victoria Korchagova Ivan Fufaev Vladimir Lukin Ilia Marchevsky Sofya Sautkina Bauman Moscow State Technical University 2-nd Baumanskaya st. 5 Moscow 105005 Russia Ivannikov Institute for System Programming of the RAS Alexander Solzhenitsyn st. 25 Moscow 109004 Russia Keldysh Institute of Applied Mathematics RAS Miusskaya sq. 4 Moscow 125047 Russia
This paper is devoted to a numerical simulation of 2D gas dynamics flows on uniform rectangular meshes using the Runge - Kutta - Discontinuous - Galerkin (RKDG) method. The RKDG algorithm was implemented with in-house...
来源: 评论
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... 详细信息
来源: 评论
Monte-Carlo Tree Search with Tree Shape Control
Monte-Carlo Tree Search with Tree Shape Control
收藏 引用
IEEE Ukraine Conference on Electrical and Computer Engineering
作者: Oleksandr I. Marchenko Oleksii O. Marchenko Department of System Programming and Specialized Computer Systems National Technical University of Ukraine "Igor Sikorsky Kyiv polytechnic institute"
The paper, basing on analysis of the Monte-Carlo Tree Search (MCTS) method and specific features of its behavior for various cases of usage, proposes a new variant of the method, which was called as Monte-Carlo Tree S... 详细信息
来源: 评论
On the high-accuracy approach to flow simulation aroundthe airfoils by using vortex method
收藏 引用
IOP Conference Series: Materials Science and Engineering 2018年 第1期468卷
作者: K S Kuzmina I K Marchevsky V S Moreva Bauman Moscow State Technical University Moscow Russia Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia
Some problems connected to vortex methods development for 2D incompressible flow simulation around airfoils are discussed. In the numerical schemes and algorithms which are normally used in the vortex methods, the air...
来源: 评论