咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是441-450 订阅
排序:
Energy Consumption and Quality of Service Optimization in Containerized Cloud Computing
Energy Consumption and Quality of Service Optimization in Co...
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Rewer Canosa Andrei Tchernykh Jorge M. Cortés-Mendoza Raúl Rivera-Rodriguez Jose Lozano Rizk Arutyun Avetisyan Zhihui Du Gleb Radchenko Eduardo R. Concepción Morales CICESE Research Center Ensenada Mexico Institute for System Programming of the Russian Academy of Sciences Moscow Russia Tsinghua University Beijing China South Ural State University Chelyabinsk Russia Metropolitan University Quito Ecuador
Lightweight virtualization technology has emerged as an alternative to traditional hypervisor-based virtualization. Containers based on an operating system level virtualization have shown superior performance and more... 详细信息
来源: 评论
Automatic Dynamic Binary Translator Generation from Instruction Set Description
Automatic Dynamic Binary Translator Generation from Instruct...
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Alexandr Bezzubikov Nikita Belov Kirill Batuzov Institute for System Programming of the Russian Academy of Sciences Moscow Russia
Implementing a new target architecture in a full-system emulator is a labor consuming task. The most tedious part is to manually write a target machine code translator to emulator's internal representation. In thi... 详细信息
来源: 评论
Coreference Resolution for Russian: Taking Stock and Moving Forward
Coreference Resolution for Russian: Taking Stock and Moving ...
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Alexandra Khadzhiiskaia Andrey Sysoev Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia
Coreference resolution is targeted at collecting all mentions of an entity within a text into a single cluster. Various approaches for this task have already been proposed but the problem is still challenging. RU-EVAL... 详细信息
来源: 评论
On the deductive security of queries to confidential databases in cloud computing systems
收藏 引用
Moscow University Computational Mathematics and Cybernetics 2017年 第1期41卷 38-43页
作者: Varnovsky, N.P. Zakharov, V.A. Shokurov, A.V. Information Security Institute Moscow State University Moscow 119991 Russian Federation Faculty of Computational Mathematics and Cybernetics Moscow State University Moscow 119991 Russian Federation Institute for System Programming of the Russian Academy of Sciences Moscow Russian Federation
We study certain simple models of confidential databases in cloud computing systems. In the framework of these models we introduce a concept of deductive security for queries to such databases, find necessary and suff... 详细信息
来源: 评论
Source code optimization using equivalent mutants
arXiv
收藏 引用
arXiv 2018年
作者: López, Jorge Kushik, Natalia Yevtushenko, Nina SAMOVAR CNRS Télécom SudParis Université Paris-Saclay 9 rue Charles Fourier Évry91000 France Ivannikov Institute for System Programming of the Russian Academy of Sciences 25 Alexander Solzhenitsyn street Moscow109004 Russia
Context: A mutant is a program obtained by syntactically modifying a program’s source code;an equivalent mutant is a mutant, which is functionally equivalent to the original program. Mutants are primarily used in mut... 详细信息
来源: 评论
Exact solutions of boundary integral equation arising in vortex methods for incompressible flow simulation around elliptical and Zhukovsky airfoils
收藏 引用
Journal of Physics: Conference Series 2019年 第1期1348卷
作者: Kseniia Kuzmina Ilia Marchevsky Evgeniya Ryatina Ivannikov Institute for System Programming of the RAS Alexander Solzhenitsyn st. 25 Moscow 109004 Russia Bauman Moscow State Technical University 2-nd Baumanskaya st. 5 Moscow 105005 Russia
The problem of 2D incompressible flow simulation around airfoils using vortex methods is considered. An exact solution for the boundary integral equation with respect to a free vortex sheet intensity at the airfoil su...
来源: 评论
Cost-Efficient Numerical Schemes for the Boundary Integral Equation Solution in 2D Vortex Methods
收藏 引用
Journal of Physics: Conference Series 2019年 第1期1348卷
作者: Kseniia Kuzmina Ilia Marchevsky Victoriya Moreva Evgeniya Ryatina Ivannikov Institute for System Programming of the RAS Alexander Solzhenitsyn st. 25 Moscow 109004 Russia Bauman Moscow State Technical University 2-nd Baumanskaya st. 5 Moscow 105005 Russia
The problem of the flow simulation around airfoils using Lagrangian vortex methods is considered. Numerical schemes of the second order of accuracy for free vortex sheet intensity distribution along the airfoil are de...
来源: 评论
Application of reactingCentralFOAM for modeling processes in combustion test chamber
收藏 引用
AIP Conference Proceedings 2018年 第1期2027卷
作者: K. B. Koshelev S. V. Strijhak Ivannikov Institute for System Programming of the Russian Academy of Sciences 109004 Moscow Russia
Features of numerical simulation of multicomponent reactive mixture flows using the OpenFOAM package reactingCentralFoam solver are considered. The specifics of the construction of the project on the basis of the calc...
来源: 评论
Scale effects in internal wave attractors
arXiv
收藏 引用
arXiv 2018年
作者: Brouzet, C. Sibgatullin, I.N. Ermanyuk, E.V. Joubaud, S. Dauxois, Thierry Univ Lyon ENS de Lyon Univ Claude Bernard CNRS Laboratoire de Physique LyonF-69342 France Moscow State University 119991 Institute for System Programming 109004 Shirshov Institute of Oceanology Moscow117997 Russia Lavrentyev Institute of Hydrodynamics Novosibirsk630090 Russia Novosibirsk State University Novosibirsk630090 Russia
As a necessary preliminary step toward geophysically significant extrapolations, we study the scale effects in internal wave attractors in the linear and nonlinear regimes. We use two geometrically similar experimenta... 详细信息
来源: 评论
Studying parameters of turbulent wakes for model wind turbines
收藏 引用
AIP Conference Proceedings 2018年 第1期2027卷
作者: S. V. Strijhak K. B. Koshelev A. S. Kryuchkova Ivannikov Institute for System Programming of the Russian Academy of Sciences 109004 Moscow Russia
The wind energy is an important part of renewable energy. The wind farms can operate in various climatic conditions on a large territory of Russian Federation. The features of numerical simulation of turbulent flows u...
来源: 评论