咨询与建议

限定检索结果

文献类型

  • 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 of System Programming"
648 条 记 录,以下是531-540 订阅
排序:
Model-based testing of safety critical real-Time control logic software  7
Model-based testing of safety critical real-Time control log...
收藏 引用
7th Workshop on Model-Based Testing, MBT 2012
作者: Gerlits, Yevgeny Khoroshilov, Alexey Institute for System Programming of the Russian Academy of Sciences lexander Solzhenitsyn st. 25 Moscow1009004 Russia
The paper presents the experience of the authors in model based testing of safety critical real-Time control logic software. It describes specifics of the corresponding industrial settings and discusses technical deta... 详细信息
来源: 评论
Deterministic Replay of system's Execution with Multi-target QEMU Simulator for Dynamic Analysis and Reverse Debugging
Deterministic Replay of System's Execution with Multi-target...
收藏 引用
(CSMR) European Conference on Software Maintenance and Reengineering
作者: Pavel Dovgalyuk Institute for System Programming Russian Academy of Science Moscow Russia
This paper describes the design and implementation of full-system logging and deterministic replay mechanisms in QEMU simulator for several target platforms.
来源: 评论
Modern HPC cluster virtualization using KVM and palacios
Modern HPC cluster virtualization using KVM and palacios
收藏 引用
International Conference on High Performance Computing
作者: Alexander Kudryavtsev Vladimir Koshelev Arutvun Avetisyan Institute for System Programming Russian Academy of Sciences Moscow Russia
In this paper we explore the potential of virtualization being applied to High Performance Computing (HPC). We demonstrate the importance of proper NUMA architecture emulation when running HPC task inside virtual mach...
来源: 评论
Keyterm extraction from microblogs' messages using Wikipedia-based keyphraseness measure
Keyterm extraction from microblogs' messages using Wikipedia...
收藏 引用
International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT)
作者: Anton Korshunov Information Systems Department The Institute for System Programming Russian Academy of Sciences Moscow Russia
The paper describes a method for keyterm extraction from messages of microblogs. The described approach utilizes the information obtained by the analysis of structure and content of Wikipedia. The algorithm is based o... 详细信息
来源: 评论
Operating system of the multi-machine computer AS-6  1st
Operating system of the multi-machine computer AS-6
收藏 引用
1st IFIP WG 9.7 Conference on Perspectives on Soviet and Russian Computing, SoRuCom 2006
作者: Bourdonov, I.B. Ivannikov, V.P. Kossatchev, A.S. Kuznetsov, S.D. Tomilin, A.N. Institute for System Programming of RAS Russia
The S.A. Lebedev institute developed operating system for the AS-6 distributed computing system (OS AS-6) in the 1970s. The OS AS-6 consisted of peer operating systems of separate machines making up the AS-6 computer ... 详细信息
来源: 评论
Extracting objects and their attributes from tables in text documents
Extracting objects and their attributes from tables in text ...
收藏 引用
7th Spring Researchers Colloquium on Databases and Information systems, SYRCoDIS 2011
作者: Astrakhantsev, Nikita Institute for System Programming Russian Academy of Sciences Russia
Extracting information from tables is an important and rather complex part of information retrieval. For the task of objects extraction from HTML tables we introduce the following methods: determining table orientatio...
来源: 评论
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... 详细信息
来源: 评论
A TLM-based approach to functional verification of hardware components at different abstraction levels
A TLM-based approach to functional verification of hardware ...
收藏 引用
Latin American Test Workshop
作者: Chupilko, Mikhail Kamkin, Alexander Institute for System Programming of RAS A. Solzhenitsyn st. 25 109004 Moscow Russia
Verification has long been recognized as an integral part of the hardware design process. When designing a system, engineers usually use various design representations and concretize them step by step up to a physical... 详细信息
来源: 评论
Using algebraic models of programs for detecting metamorphic malwares
收藏 引用
Journal of Mathematical Sciences 2011年 第5期172卷 740-750页
作者: Podlovchenko, R.I. Kuzyurin, N.N. Shcherbina, V.S. Zakharov, V.A. Moscow State University Moscow Russian Federation Institute for System Programming Russian Academy of Sciences Moscow Russian Federation
Polymorphic and metamorphic viruses are the most sophisticated malicious programs that give a lot of trouble to virus scanners. Each time when these viruses infect new executables or replicate themselves, they complet...
来源: 评论