咨询与建议

限定检索结果

文献类型

  • 38 篇 会议
  • 10 篇 期刊文献
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 30 篇 工学
    • 21 篇 计算机科学与技术...
    • 15 篇 软件工程
    • 6 篇 力学(可授工学、理...
    • 6 篇 电气工程
    • 5 篇 信息与通信工程
    • 4 篇 电子科学与技术(可...
    • 4 篇 石油与天然气工程
    • 3 篇 动力工程及工程热...
    • 3 篇 控制科学与工程
    • 3 篇 船舶与海洋工程
    • 3 篇 安全科学与工程
    • 2 篇 仪器科学与技术
    • 2 篇 土木工程
    • 2 篇 交通运输工程
    • 2 篇 航空宇航科学与技...
    • 1 篇 生物工程
    • 1 篇 公安技术
    • 1 篇 网络空间安全
  • 12 篇 理学
    • 6 篇 物理学
    • 5 篇 数学
    • 2 篇 海洋科学
    • 1 篇 大气科学
    • 1 篇 生物学
    • 1 篇 统计学(可授理学、...
  • 2 篇 管理学
    • 2 篇 管理科学与工程(可...
  • 1 篇 法学
    • 1 篇 公安学

主题

  • 4 篇 computational mo...
  • 3 篇 linux
  • 3 篇 optimization
  • 3 篇 numerical simula...
  • 3 篇 blades
  • 3 篇 software
  • 3 篇 propellers
  • 3 篇 wakes
  • 2 篇 tools
  • 2 篇 reliability
  • 2 篇 computer archite...
  • 2 篇 manuals
  • 2 篇 geophysical meas...
  • 2 篇 specifications
  • 2 篇 software testing
  • 2 篇 contracts
  • 2 篇 ground penetrati...
  • 2 篇 kernel
  • 2 篇 testing
  • 2 篇 microprocessors

机构

  • 7 篇 ivannikov instit...
  • 4 篇 college of engin...
  • 3 篇 ivannikov instit...
  • 3 篇 school of naval ...
  • 3 篇 ivannikov instit...
  • 3 篇 programming of t...
  • 3 篇 software enginee...
  • 2 篇 ivannikov instit...
  • 2 篇 institute of nuc...
  • 2 篇 software enginee...
  • 2 篇 department of ne...
  • 2 篇 ocean university...
  • 2 篇 shandong provinc...
  • 2 篇 samsung electron...
  • 2 篇 cloud technologi...
  • 2 篇 software enginee...
  • 2 篇 laboratory of in...
  • 2 篇 compiler technol...
  • 2 篇 key laboratory o...
  • 2 篇 laboratory of ul...

作者

  • 9 篇 yevtushenko nina
  • 4 篇 qin zhang
  • 4 篇 kossachev alexan...
  • 4 篇 burdonov igor
  • 3 篇 epikhin andrey
  • 3 篇 wan decheng
  • 3 篇 andrey epikhin
  • 3 篇 nina yevtushenko
  • 3 篇 strijhak sergei
  • 2 篇 vladislav ivanis...
  • 2 篇 xin liu
  • 2 篇 avetisyan arutyu...
  • 2 篇 pozin boris a.
  • 2 篇 igor burdonov
  • 2 篇 kamkin alexander
  • 2 篇 mkoyan ruslan
  • 2 篇 vinarskii evgeni...
  • 2 篇 cavalli ana rosa
  • 2 篇 bo yang
  • 2 篇 kraposhin matvey

语言

  • 49 篇 英文
检索条件"机构=Software Engineering of Ivannikov Institute for System Programming"
49 条 记 录,以下是31-40 订阅
排序:
Visualization of behavioral aspects of AADL-models  11
Visualization of behavioral aspects of AADL-models
收藏 引用
11th International Conference on Computer Science and Information Technologies, CSIT 2017
作者: Zelenov, Sergey Buzdalov, Denis Software Engineering Department Institute for System Programming Russian Academy of Sciences Moscow Russia
In the paper, we describe a metamodel to represent dynamics of AADL-models. The metamodel allows to visualize step-by-step a process of models' behavioral aspects analysis. In particular, it essentially helps to d... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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 ...
来源: 评论
Preface
收藏 引用
CEUR Workshop Proceedings 2019年 2514卷 1-2页
作者: Avetisyan, Arutyun Ivar, Jacobson Pozin, Boris A. Petrenko, Alexander K. Pozin, Boris A. Petrenko, Alexander K. Cavalli, Ana Rosa Petrenko, Alexander K. Avetisyan, Arutyun Arlazarov, Vladimir Avdoshin, Sergey Batovrin, Victor K. Bershadsky, Alexander M. Boichenko, Alexander Juris, Borzovs Vasenin, Valery A. Schlingloff, Holger Kalyanov, Georgy Kantorovich, Georgy G. Korolev, Anton Kosolapov, Mikhail S. Kostogryzov, Andrey I. Koznov, Dmitry V. Kuznetsov, Sergey Prokhorov, Sergei Soyfer, Victor A. Starykh, Vladimir A. Stolyarov, Gennady K. Stupnikov, Sergey A. Telnov, Yury Ph. Shmid, Alexander Mira, Kajko-Mattssen Miroslawa Wentzl, Wilfried Mayer, Walter H. Yevtushenko, Nina Zakharov, Victor Zmeev, Oleg Cavalli, Ana Rosa Petrenko, Alexander K. Pozin, Boris A. RAS ISP Russia Ivar Jacobson International Switzerland NRU HSE «-leasing» Co Russia NRU HSE ISP RAS Russia Information and Analytical Systems «-leasing» Co Russia Department of Network Software TELECOM and Management SudParis France NRU HSE Russia Software Engineering of Ivannikov Institute for System Programming RAS Russia RAS System Analysis Institute of Federal Research Centre Informatics and Management Russia Russia Penza State University Russia Federal State Educational Centre of Higher Learning «Plekhanov Russian University of Economics» Russia CISA Academy of Sciences of Latvia State University of Latvia Latvia MSU Institut für Offene Kommunikationssysteme FOKUS Germany Verifikation und Testtheorie an der Humboldt-Universität zu Berlin Germany Institute of Control Sciences RAS Russia Institute of Sociology RAS NRU HSE Russia ISO IEEC Institute of Informatics Problems Federal Research Centre IM RAS Russia St. Petersburg State University Russia Institute for System Programming RAS Moscow State University Russia SRI Korolev Samara State Aerospace University Russia Belarus FRC IM RAS Russia FSEC «Plekhanov Russian University of Economics» Russia KTH School of Information and Communication Technology Sweden Governmental Agricultural Analyst Austria Austria Ivannikov Institute for System Programming RAS Russia Institute of Informatics Problems Federal Research Centre IM RAS Russia Tomsk State University Russia
来源: 评论
Simulation of transonic low-Reynolds jets using quasi-gas dynamics equations
收藏 引用
Journal of Physics: Conference Series 2019年 第1期1382卷
作者: M V Kraposhin A S Epikhin T G Elizarova K A Vatutin Ivannikov Institute for System Programming of the RAS Russia Moscow Solzhenitsyna str. 25 The Department of Aeromechanics and Flight Engineering Moscow Institute of Physics and Technology Russia Moscow Region Jukovskiy Gagarin str. 16 Keldysh Institute of Applied Mathematics of the RAS Russia Moscow Miusskaya Sqr. 4 Bauman Moscow State Technical University Russia Moscow 2nd Baumanskay str. 5 building 1 Faculty of Mechanics and Mathematics Lomonosov Moscow State University Russia Moscow GSP-1 Leninskiye gory 1
In this paper application of the OpenFOAM solver QGDFoam for numerical simulation of transonic viscous flows is considered. The developed solver, which implements regularized or quasi- gas dynamics (QGD) algorithms, i...
来源: 评论
Assessment of Turbulent Wake Behind two Wind Turbines Using Multi-Fractal Analysis
Assessment of Turbulent Wake Behind two Wind Turbines Using ...
收藏 引用
ivannikov ISPRAS Open Conference (ISPRAS)
作者: Arina Kryuchkova Jackson Tellez-Alvarez Sergei Strijhak Jose M. Redondo Russian Academy of Sciences Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia Department of Civil and Environmental Engineering Technical University of Catalonia BarcelonaTech Barcelona Spain Department of Physics Technical University of Catalonia BarcelonaTech Barcleona Spain
In this paper we present preliminary results of the multi-fractal analysis for describing the behavior of turbulence evolution in the wake behind two model wind turbines using the program ImaCal. The wind energy is an... 详细信息
来源: 评论
Preface
收藏 引用
CEUR Workshop Proceedings 2017年 1989卷 5-7页
作者: Pozin, Boris A. Cavalli, Ana Rosa Petrenko, Alexander K. Department of Information and Analytical Systems EC-leasing Co. Russia Department of Network Software TELECOM and Management SudParis France Department of System Engineering Institute of System Programming of RAS Russia
来源: 评论
Ontological Approach to the Formal Specification of the Standard Life Cycle
Ontological Approach to the Formal Specification of the Stan...
收藏 引用
Science and Information Conference
作者: Ekaterina Lavrishcheva Software Engineering Department Institute for System Programming of the RAS Prof. MIPT Moscow Russia
Approach is offered to the formal specification of Standard Life Cycle (LC) of the program systems (PS) by the ontology facilities with purpose automation and generation of the variants LC for making the appropriate k... 详细信息
来源: 评论
Reconfigurable model-based test program generator for microprocessors
Reconfigurable model-based test program generator for microp...
收藏 引用
International Workshop on Variability-intensive systems Testing, Validation, and Verification
作者: Kamkin, Alexander Kornykhin, Eugene Vorobyev, Dmitry Software Engineering Department Institute for System Programming Russian Academy of Sciences Moscow Russia
Automatic generation and simulation of test programs is known to be the main means for verifying microprocessors. The problem is that test program generators for new designs are often developed from scratch with littl... 详细信息
来源: 评论
Runtime verification of linux kernel modules based on call interception
Runtime verification of linux kernel modules based on call i...
收藏 引用
IEEE International Conference on software Testing, Verification and Validation
作者: Rubanov, Vladimir V. Shatokhin, Eugene A. Department of Software Engineering Institute for System Programming Russian Academy of Sciences Moscow Russia
Verification of Linux kernel modules and especially device drivers is a critically important task. However, due to the special nature of the kernel operation, it is very challenging to perform runtime analysis of part... 详细信息
来源: 评论