咨询与建议

限定检索结果

文献类型

  • 174 篇 会议
  • 64 篇 期刊文献
  • 4 册 图书

馆藏范围

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

日期分布

学科分类号

  • 136 篇 工学
    • 113 篇 计算机科学与技术...
    • 94 篇 软件工程
    • 31 篇 力学(可授工学、理...
    • 20 篇 控制科学与工程
    • 13 篇 机械工程
    • 12 篇 信息与通信工程
    • 11 篇 电气工程
    • 11 篇 安全科学与工程
    • 8 篇 航空宇航科学与技...
    • 6 篇 动力工程及工程热...
    • 6 篇 电子科学与技术(可...
    • 6 篇 生物工程
    • 4 篇 轻工技术与工程
    • 3 篇 光学工程
    • 3 篇 化学工程与技术
    • 3 篇 石油与天然气工程
    • 2 篇 建筑学
    • 2 篇 土木工程
    • 2 篇 测绘科学与技术
  • 83 篇 理学
    • 50 篇 数学
    • 33 篇 物理学
    • 17 篇 统计学(可授理学、...
    • 10 篇 系统科学
    • 6 篇 生物学
    • 4 篇 化学
    • 4 篇 大气科学
  • 25 篇 管理学
    • 13 篇 管理科学与工程(可...
    • 11 篇 图书情报与档案管...
    • 7 篇 工商管理
  • 2 篇 经济学
    • 2 篇 应用经济学
  • 1 篇 哲学
  • 1 篇 法学
  • 1 篇 历史学
  • 1 篇 农学

主题

  • 19 篇 static analysis
  • 12 篇 conferences
  • 9 篇 computational mo...
  • 7 篇 libraries
  • 7 篇 fuzzing
  • 7 篇 codes
  • 7 篇 numerical models
  • 7 篇 source coding
  • 6 篇 registers
  • 6 篇 programming
  • 6 篇 numerical simula...
  • 6 篇 software testing
  • 6 篇 software
  • 6 篇 testing
  • 6 篇 mathematical mod...
  • 6 篇 standards
  • 5 篇 tools
  • 5 篇 instruments
  • 5 篇 computer archite...
  • 5 篇 computer bugs

机构

  • 57 篇 ivannikov instit...
  • 36 篇 ivannikov instit...
  • 29 篇 lomonosov moscow...
  • 17 篇 moscow institute...
  • 14 篇 lomonosov moscow...
  • 12 篇 ivannikov instit...
  • 11 篇 ivannikov instit...
  • 9 篇 bauman moscow st...
  • 9 篇 bauman moscow st...
  • 8 篇 ivannikov instit...
  • 7 篇 moscow institute...
  • 7 篇 institute for sy...
  • 6 篇 ivannikov instit...
  • 5 篇 tomsk state univ...
  • 5 篇 ivannikov instit...
  • 5 篇 programming of t...
  • 5 篇 lomonosov moscow...
  • 4 篇 college of engin...
  • 4 篇 ivannikov instit...
  • 4 篇 mohamed bin zaye...

作者

  • 15 篇 yevtushenko nina
  • 12 篇 vishnyakov alexe...
  • 11 篇 kuts daniil
  • 10 篇 parygina darya
  • 10 篇 fedotov andrey
  • 8 篇 gasnikov alexand...
  • 8 篇 burdonov igor
  • 7 篇 logunova vlada
  • 7 篇 marchevsky ilia
  • 6 篇 daniil kuts
  • 6 篇 epikhin andrey
  • 6 篇 ilia marchevsky
  • 6 篇 kobrin eli
  • 6 篇 savidov georgy
  • 6 篇 nina yevtushenko
  • 5 篇 andrey belevants...
  • 5 篇 borodin alexey
  • 5 篇 alexey vishnyako...
  • 5 篇 alexey borodin
  • 5 篇 alexander kamkin

语言

  • 235 篇 英文
  • 5 篇 其他
  • 4 篇 俄文
检索条件"机构=Institute for System Programming of RAS"
242 条 记 录,以下是191-200 订阅
排序:
Multi-objective Optimization of Vehicle Routing with Environmental Penalty  10th
Multi-objective Optimization of Vehicle Routing with Environ...
收藏 引用
10th International Conference on Supercomputing, ISUM 2019
作者: Pulido-Gaytan, Luis Bernardo Tchernykh, Andrei Nesmachnow, Sergio Cristóbal-Salas, Alfredo Avetisyan, Arutyun Barrera, Harold Enrique Castro Hernandez, Carlos Jaime Barrios CICESE Research Center EnsenadaBC22860 Mexico Universidad de la República Montevideo Uruguay Universidad Veracruzana Veracruz Mexico Ivannikov Institute for System Programming of the RAS Moscow Russia University of Los Andes Bogotá Colombia Industrial University of Santander Bucaramanga Colombia
Cities host more than half of the population in only 2% of the earth’s surface and consume 75% of the resources extracted from the planet, this abrupt demographic growth in urban areas has worsened the level of pollu... 详细信息
来源: 评论
Simulation of viscoelastic flow past circular airfoil by using the modified LS-STAG immersed boundary method  10
Simulation of viscoelastic flow past circular airfoil by usi...
收藏 引用
10th All-Russian Conference on Irreversible Processes in Nature and Technology
作者: Puzikova, Valeria V. Applied Mathematics Department Bauman Moscow State Technical University 2-ya Baumanskaya st. 5 str. 1 Moscow105005 Russia Compiler Technology Department Ivannikov Institute for System Programming of the RAS Alexander Solzhenitsyn st. 25 Moscow109004 Russia
The LS-STAG immersed boundary cut-cell method modification for viscoelastic flow computations is presented. Rate type viscoelastic flow models (linear and quasilinear) are considered. Rate type viscoelastic flow model... 详细信息
来源: 评论
Scientific Data Lake for High Luminosity LHC project and other data-intensive particle and astro-particle physics experiments  5
Scientific Data Lake for High Luminosity LHC project and oth...
收藏 引用
5th International Conference on Particle Physics and Astrophysics, ICPPA 2020
作者: Alekseev, A. Kiryanov, A. Klimentov, A. Korchuganova, T. Mitsyn, V. Oleynik, D. Smirnov, A. Smirnov, S. Zarochentsev, A. Compiler Technology Department Ivannikov Institute for System Programming of the Ras Moscow109004 Russia Cloud Technologies and Big Data Analytics Laboratory Plekhanov Russian University of Economics Moscow117997 Russia Atlas Group Universidad Andres Bello Santiago7550196 Chile Department of Computing Resources and Technologies Nrc "kurchatov Institute"-PNPI Gatchina188300 Russia Physics Department Brookhaven National Laboratory UptonNY11973 United States Laboratory of Information Technologies Joint Institute for Nuclear Research Dubna141980 Russia Institute of Nuclear Physics and Engineering National Research Nuclear University MEPhI Moscow115409 Russia Laboratory of Ultra-High Energy Physics Saint Petersburg State University Saint Petersburg198504 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 and... 详细信息
来源: 评论
70 years of ongoing innovations
70 years of ongoing innovations
收藏 引用
Ivannikov ISPras Open Conference (ISPras)
作者: Arutyun Avetisyan Sergei Prokhorov Ivannikov Institute for System Programming of RAS Moscow Russia
The computer industry and the science of computer science that emerged in the Soviet Union in the late 1940s, constantly evolving and continuously transforming, went through several stages in its innovative developmen... 详细信息
来源: 评论
Better Reuse of Architecture Models: Profits and Costs
Better Reuse of Architecture Models: Profits and Costs
收藏 引用
SAE AeroTech Congress and Exhibition, AEROTECH 2017
作者: Buzdalov, Denis Khoroshilov, Alexey Institute for System Programming of RAS Russia
Different modelling techniques intended to deal with complexity of modern IMA systems are widely used now. Models can be used to help developers to lay out relevant information structurally. They can also be used to p... 详细信息
来源: 评论
OpenFOAM High Performance Computing Solver for Simulation of Internal Wave Attractors in Stratified Flows Using Regularized Hydrodynamic Equations
OpenFOAM High Performance Computing Solver for Simulation of...
收藏 引用
Ivannikov ISPras Open Conference (ISPras)
作者: Matvey Kraposhin Daniil Ryazanov Tatiana Elizarova Ilias Sibgatullin Michael Kalugin Vasily Velikhov Eygene Ryabinkin Lomonosov Moscow State University Ivannikov Institute for System Programming of the RAS Keldysh Institute of Applied Mathematics of the RAS NRC Kurchatov institute
Paper presents some results of the implementation of a quasi-hydrodynamic (QHD) approach as finite volume method (FVM) solver mulesQHDFoam on the basis of OpenFOAM. Application of the QHD numerical algorithm to the si... 详细信息
来源: 评论
Comparison of hierarchies for occlusion culling based on occlusion queries  27
Comparison of hierarchies for occlusion culling based on occ...
收藏 引用
27th International Conference on Computer Graphics and Vision, GraphiCon 2017
作者: Gonakhchyan, V.I. Ivannikov Institute for System Programming of the RAS Moscow Russia
Efficient interactive rendering of large datasets still poses a problem. Widely used algorithm frustum culling is too conservative and leaves a lot of hidden objects in view. Occlusion culling with hardware occlusion ... 详细信息
来源: 评论
On estimates of computational complexity and error of the fast algorithm in the vortex methods
收藏 引用
Journal of Physics: Conference Series 2020年 第1期1614卷
作者: K S Kuzmina V S Moreva Bauman Moscow State Technical University 105005 Russia Moscow 2nd Baumanskaya str. 5 Ivannikov Institute for System Programming of the RAS 109004 Russia Moscow Alexander Solzhenitsyn st. 25
One of the efficient ways to speedup calculations in the vortex method, namely the Barnes – Hut-type algorithm, is considered. This method is based on the introducing of a hierarchical structure of domains (binary tr...
来源: 评论
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... 详细信息
来源: 评论
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. ... 详细信息
来源: 评论