咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是431-440 订阅
排序:
Large-scale YouTube-8M video understanding with deep neural networks
arXiv
收藏 引用
arXiv 2017年
作者: Akopyan, Manuk Khashba, Eshsou Institute for System Programming
Video classification problem has been studied many years. The success of Convolutional Neural Networks (CNN) in image recognition tasks gives a powerful incentive for researchers to create more advanced video classifi... 详细信息
来源: 评论
Test Program Generator MicroTESK for RISC-V
Test Program Generator MicroTESK for RISC-V
收藏 引用
International Workshop on Microprocessor Test and Verification (MTV)
作者: Mikhail Chupilko Alexander Kamkin Artem Kotsynyak Alexander Protsenko Sergey Smolov Andrei Tatarnikov Ivannikov Institute for System Programming of the Russian Academy of Sciences (ISP RAS) Lomonosov Moscow State University (MSU) National Research University - Higher School of Economics (HSE)
The paper presents a test program generator for functional verification of RISC-V microprocessors. The generator is implemented on the base of MicroTESK framework and consists of formal specifications of RISC-V ISA an... 详细信息
来源: 评论
Preface
Lecture Notes in Computer Science (including subseries Lectu...
收藏 引用
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2019年 11771 LNCS卷 v页
作者: Mazzara, Manuel Bruel, Jean-Michel Meyer, Bertrand Petrenko, Alexander Innopolis University Innopolis Russia IUT de Blagnac Blagnac France Ivannikov Institute for System Programming Russian Academy of Sciences Moscow Russia
来源: 评论
Secure Verifiable Secret Short Sharing Scheme for Multi-Cloud Storage
Secure Verifiable Secret Short Sharing Scheme for Multi-Clou...
收藏 引用
International Conference on High Performance Computing and Simulation
作者: Maxim Deryabin Nikolay Chervyakov Andrei Tchernykh Mikhail Babenko Nikolay Kucherov Vanessa Miranda-Lopez Arutyun Avetisyan North-Caucasus Federal University CICESE Research Center Ensenada Mexico South Ural State University CICESE Research Center Institute for System Programming of the Russian Academy of Sciences
In this paper, we propose a new approach to the construction of computationally secure secret sharing scheme based on the simultaneous use of the Residue Number system (RNS), as the symmetric encryption, and the perfe... 详细信息
来源: 评论
Lemma functions for frama-C: C programs as proofs
arXiv
收藏 引用
arXiv 2018年
作者: Volkov, Grigoriy Mandrykin, Mikhail Efremov, Denis Faculty of Computer Science National Research University Higher School of Economics Moscow Russia Software Engineering Department Ivannikov Institute for System Programming Russian Academy of Sciences Moscow Russia
This paper describes the development of an auto-active verification technique in the Frama-C framework. We outline the lemma functions method and present the corresponding ACSL extension, its implementation in Frama-C... 详细信息
来源: 评论
Deductive verification of unmodified linux kernel library functions
arXiv
收藏 引用
arXiv 2018年
作者: Efremov, Denis Mandrykin, Mikhail Khoroshilov, Alexey National Research University Higher School of Economics Moscow Russia Ivannikov Institute for System Programming RAS Moscow Russia Moscow Institute of Physics and Technology Moscow Russia Lomonosov Moscow State University Moscow Russia
This paper presents results from the development and evaluation of a deductive verification benchmark consisting of 26 unmodified Linux kernel library functions implementing conventional memory and string operations. ... 详细信息
来源: 评论
Numerical simulation of jet flows in homogeneous and heterogeneous media
收藏 引用
Journal of Physics: Conference Series 2019年 第1期1404卷
作者: A K Shevchenko S V Strijhak S N Yakovenko Khristianovich Institute of Theoretical and Applied Mechanics Siberian Branch of Russian Academy of Sciences Novosibirsk 630090 Russia Ivannikov Institute for System Programming Russian Academy of Sciences Moscow 109004 Russia
Submerged jets at different Reynolds numbers (Re) with random perturbations added to the inlet velocity profile are simulated numerically by solving the Navier–Stokes equations. The effects of Re on flow behavior and...
来源: 评论
Monitoring and accounting for the distributed computing system of the ATLAS experiment  27
Monitoring and accounting for the distributed computing syst...
收藏 引用
27th Symposium on Nuclear Electronics and Computing, NEC 2019
作者: Barberis, D. Aimar, A. Alekseev, A. de Sousa Andrade, P.M. Rodrigues Beermann, T.A. Gardner, R.W. Bear, B. Garrido Korchuganova, T. Magnoni, L. Padolski, S. Schanet, E. Tsvetkov, N. Vukotić, I. Wenaus, T. Dipartimento di Fisica dell’Università di Genova e INFN Sezione di Genova Via Dodecaneso 33 GenovaI - 16146 Italy CERN Genève 23CH - 1211 Switzerland Institute of System Programming Russian Academy of Science Moscow Russia Universidad Andrés Bello Santiago Chile Plekhanov Russian University of Economics Stremyanny Lane 36 MoscowRU – 117997 Russia Bergische Universitaet Wuppertal Gaußstr. 20 WuppertalDE - 42119 Germany University of Chicago Enrico Fermi Institute 5640 S Ellis Ave ChicagoIL60637 United States Brookhaven National Laboratory UptonNY United States Fakultät für Physik Ludwig-Maximilians-Universität München Am Coulombwall 1 Garching bei MünchenDE - 85748 Germany
Over the years, ATLAS has developed a large number of monitoring and accounting tools for distributed computing applications. In advance of the increased experiment data rates and monitoring data volumes foreseen for ... 详细信息
来源: 评论
Multi-Agent Approach for Dynamic Elasticity of Virtual Machines Provisioning in Heterogeneous Distributed Computing Environment
Multi-Agent Approach for Dynamic Elasticity of Virtual Machi...
收藏 引用
International Conference on High Performance Computing & Simulation (HPCS)
作者: Alexander Feoktistov Ivan Sidorov Andrei Tchernykh Alexei Edelev Valery Zorkalzev Roman Kostromin Sergey Gorsky Igor Bychkov Arutyun Avetisyan Matrosov Institute for System Dynamics and Control Theory of the Siberian Branch of the Russian Academy of Sciences Irkutsk Russia Matrosov Inst. for Syst. Dynamics & Control Theor. Irkutsk Russia Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia Melentiev Energy Systems Institute of the Siberian Branch of the Russian Academy of Sciences Irkutsk Russia
We address dynamic elasticity issues of VM provisioning in a heterogeneous distributed computing environment that integrates resources of a data center. We consider the scenario when the center includes dedicated reso... 详细信息
来源: 评论
Transfer Learning for Morphological Tagging in Russian
Transfer Learning for Morphological Tagging in Russian
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Ivan Andrianov Vladimir Mayorov Ivannikov Institute for System Programming of the Russian Academy of Sciences
This paper is devoted to morphological tagging task for Russian. There are multiple corpora created for the task during the years of research. Unfortunately, these corpora often have incompatible annotation guidelines... 详细信息
来源: 评论