咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是361-370 订阅
排序:
Experimental Evaluation of Homomorphic Comparison Methods
Experimental Evaluation of Homomorphic Comparison Methods
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Mikhail Babenko Andrei Tchernykh Bernardo Pulido-Gaytan Elena Golimblevskaia Jorge M. Cortés-Mendoza Arutyun Avetisyan Ivannikov Institute for System Programming Moscow Russia South Ural State University Chelyabinsk Russia CICESE Research Center Ensenada Mexico North-Caucasus Federal University Stavropol Russia
The use of cloud technologies for processing confidential data requires a solution to the data security problem. One of the mechanisms to solve it is homomorphic encryption. However, homomorphic encryption only allows... 详细信息
来源: 评论
Real-time analytics, hybrid transactional/analytical processing, in-memory data management, and non-volatile memory
Real-time analytics, hybrid transactional/analytical process...
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Sergey D. Kuznetsov Pavel E. Velikhov Qiang Fu Ivannikov Institute for System Programming of the RAS Lomonosov Moscow State University Moscow Institute of Physics and Technology (State University) National Research University Higher School of Economics Moscow Russia Huawei Russian Research Institute Moscow Russia
These days, real-time analytics is one of the most often used notions in the world of databases. Broadly, this term means very fast analytics over very fresh data. Usually the term comes together with other popular te... 详细信息
来源: 评论
Developing requirements management tool for safety-critical systems
Developing requirements management tool for safety-critical ...
收藏 引用
International Conference on Actual Problems of systems and Software Engineering
作者: Denis Kildishev Alexey Khoroshilov Software Engineering Ivannikov Institute for System Programming of the Russian Academy of Sciences
Requirements management is a significant part of development of complex safety-critical systems. Software support predetermines most aspects of requirements management process, its efficiency and seamlessness. The pap... 详细信息
来源: 评论
Detection of Variable Misuse Using Static Analysis Combined with Machine Learning
Detection of Variable Misuse Using Static Analysis Combined ...
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Gleb Morgachev Valery Ignatyev Andrey Belevantsev Ivannikov Institute for System Programming of the RAS Moscow Institute of Physics and Technology Moscow Russia
Industrial static analyzers are able to detect only several narrow classes of algorithmic errors, for example actual arguments order swapped with formal parameters, forgotten renaming of variable after copy-paste. How... 详细信息
来源: 评论
Iterative Approach to Solving Boundary Integral Equations in the Two-Dimensional Vortex Methods of Computational Hydrodynamics
收藏 引用
Journal of Applied and Industrial Mathematics 2019年 第4期13卷 672-684页
作者: Mikhailov, E.A. Marchevskii, I.K. Kuzmina, K.S. Lomonosov Moscow State University Leninskie gory 13 Moscow119991 Russia Bauman Moscow State Technical University Vtoraya Baumanskaya ul. 5 Moscow105005 Russia Ivannikov Institute for System Programming ul. Aleksandra Solzhenitsyna 25 Moscow109004 Russia
Under consideration are the issues of numerical solution of a. boundary integral equation describing the vorticity generation process on the streamlined airfoils in meshless vortex methods. The traditional approach ba... 详细信息
来源: 评论
Forecasting nonlinear nonstationary processes in machine learning task  3
Forecasting nonlinear nonstationary processes in machine lea...
收藏 引用
3rd IEEE International Conference on Data Stream Mining and Processing, DSMP 2020
作者: Bidyuk, Peter Gozhyj, Aleksandr Kalinina, Irina Vysotska, Victoria Vasilev, Mikhail Malets, Romanna Department of Mathematical Methods of System Analysis National Technical University of Ukraine Igor Sikorsky Kyiv Polytechnic Institute Kyiv Ukraine Petro Mohyla Black Sea National University Department of Intelligent Information Systems Nikolaev Ukraine National University Lvivska Politechnika Department of Information Systems and Networks Lviv Ukraine Ivan Franko Lviv National University Programming Department Lviv Ukraine
The article discusses the features of the solving the forecasting problems using machine learning techniques. The issues of accounting and correctly processing non-linear non-stationary processes in the problems of mo... 详细信息
来源: 评论
Deriving tests for the synchronous composition of deterministic complete Finite State Machines  20
Deriving tests for the synchronous composition of determinis...
收藏 引用
20th Conference Scientific Services and Internet, SSI 2018
作者: Burdonov, I.B. Evtushenko, N.V. Kossatchev, A.S. Ivannikov Institute for System Programming Russian Academy of Sciences Russia
The paper is devoted to deriving tests with guaranteed fault coverage for Finite State Machines (FSM). FSMs and their compositions are widely used when deriving tests for various systems, including interactive service... 详细信息
来源: 评论
The verification of tunnel methods of the Extensible Authentication Protocol (EAP)  20
The verification of tunnel methods of the Extensible Authent...
收藏 引用
20th Conference Scientific Services and Internet, SSI 2018
作者: Nikeshin, A.V. Shnitman, V.Z. Ivannikov Institute for System Programming Russian Academy of Sciences Russia
In modern networks one of the main mechanisms of information security is the establishing of a secure tunnel and transmitting data under the protection of that tunnel. The same mechanism is used in some authentication... 详细信息
来源: 评论
Technology of assembly of intellectual and information resources internet  21
Technology of assembly of intellectual and information resou...
收藏 引用
21st Conference on Scientific Services and Internet, SSI 2019
作者: Lavrischeva, E.M. Petrenko, A.K. Pozin, B.A. Ivannikov Institute for System Programming of the Russian Academy of Sciences 25 Alexander Solzhenitsyn st. Moscow109004 Russia Moscow Institute of physics and technology 9 Institutsky per. Dolgoprudny Moscow region141700 Russia NRU Higher School of Economics 20 Myasnitskaya Ulitsa Moscow101000 Russia Lomonosov Moscow State University GSP-1 Leninskie Gory Moscow119991 Russia EC-leasing Building 1 125 Warshavskoye Shosse Moscow117587 Russia
The technology of Assembly of intellectual (Reuses) and information (data) resources which are developed and saved up in libraries and storages of the Internet, in applied web-systems of different function is offered.... 详细信息
来源: 评论
Deriving adaptive homing sequences for weakly initialized nondeterministic FSMs
Deriving adaptive homing sequences for weakly initialized no...
收藏 引用
2019 IEEE East-West Design and Test Symposium, EWDTS 2019
作者: Vinarskii, Evgenii Tvardovskii, Aleksandr Evtushenko, Larisa Yevtushenko, Nina Computer Science Department Lomonosov Moscow State University Moscow Russia Radiophysical Department Tomsk State University Tomsk Russia Software Engineering Deparment Ivannikov Institute for System Programming Moscow Russia
State identification sequences, such as homing and distinguishing sequences (HS and DS), are widely used in FSM (Finite State Machine) based testing in order to reduce the size of a returned complete test suite as wel... 详细信息
来源: 评论