咨询与建议

限定检索结果

文献类型

  • 482 篇 会议
  • 163 篇 期刊文献
  • 6 册 图书

馆藏范围

  • 651 篇 电子文献
  • 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...
  • 21 篇 institute for sy...
  • 19 篇 department of sy...
  • 18 篇 lomonosov moscow...
  • 18 篇 ivannikov instit...
  • 17 篇 bauman moscow st...
  • 17 篇 institute for sy...
  • 17 篇 south ural state...
  • 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...

语言

  • 629 篇 英文
  • 14 篇 其他
  • 10 篇 俄文
  • 1 篇 中文
检索条件"机构=Institute of System Programming"
651 条 记 录,以下是571-580 订阅
排序:
Effective extraction of thematically grouped key terms from text
Effective extraction of thematically grouped key terms from ...
收藏 引用
Social Semantic Web: Where Web 2.0 Meets Web 3.0 - Papers from the AAAI Spring Symposium
作者: Grineva, Maria Grinev, Maxim Lizorkin, Dmitry Institute for System Programming of Russian Academy of Sciences 25 A. Solzhenitsyna Moscow 109004 Russia
We present a novel method for extraction of key terms from text documents. The important and novel feature of our method is that it produces groups of key terms, while each group contains key terms semantically relate... 详细信息
来源: 评论
Specification-driven testbench development for synchronous parallel-pipeline designs
Specification-driven testbench development for synchronous p...
收藏 引用
2009 NORCHIP
作者: Chupilko, Mikhail Kamkin, Alexander Institute for System Programming of the Russian Academy of Sciences 25 A. Solzhenitsyn Street Moscow 109004 Russia
In this paper an approach to testbench development for synchronous parallel-pipeline designs is considered. The approach is based on cycle-accurate formal specifications of a design under verification. Specifications ... 详细信息
来源: 评论
Directed Generation of Test Data for Static Semantics Checker
Communications in Computer and Information Science
收藏 引用
Communications in Computer and Information Science 2009年 17卷 753-768页
作者: Arkhipova, M.V. Zelenov, S.V. Institute for System Programming of the Russian Academy of Sciences Russia
We present an automatic method, named SemaTESK, for generation of test sets for a translator front end. We focus on the validation and verification of static semantics checker. Most the know methods for semantics test... 详细信息
来源: 评论
A system for backward binary compatibility analysis of shared libraries in Linux
A system for backward binary compatibility analysis of share...
收藏 引用
Central and Eastern European Software Engineering Conference in Russia (CEE-SECR)
作者: Andrey Ponomarenko Vladimir Rubanov Alexey Khoroshilov Institute of System Programming Russian Academy of Science Russia
This paper discusses a problem of ensuring backward binary compatibility of Linux shared libraries. Breakage of the compatibility may result in crashing or incorrect behavior of applications built with an old version ... 详细信息
来源: 评论
Specification-driven testbench development for synchronous parallel-pipeline designs
Specification-driven testbench development for synchronous p...
收藏 引用
Norchip
作者: Mikhail Chupilko Alexander Kamkin Institute of System Programming Russian Academy of Science Moscow Russia
In this paper an approach to testbench development for synchronous parallel-pipeline designs is considered. The approach is based on cycle-accurate formal specifications of a design under verification. Specifications ... 详细信息
来源: 评论
New algorithms for lexical query optimization
New algorithms for lexical query optimization
收藏 引用
International Conference on Information Technology Interfaces
作者: Nikita Mendkovich Sergey Kuznetsov Institute of System Programming Russian Academy of Science Moscow Russia
New algorithms for query modifications are proposed. These algorithms involve lexical optimization based on mathematical transformations that have never been used for query optimization before.
来源: 评论
Development of parallel software for resolving the 3D task about the origin of the Tornado according to the Nikolaevskii theory
收藏 引用
Mathematical Models and Computer Simulations 2009年 第4期1卷 482-492页
作者: Avetisyan, A.I. Babkova, V.V. Gaisaryan, S.S. Gubar’, A. Yu. Institute for System Programming Russian Academy of Sciences Kommunisticheskaya ul. 25 Moscow 109004 Russian Federation Institute of Physics of the Earth Russian Academy of Sciences B. Gruzinskaya ul. 10 Moscow 123995 Russian Federation
The aim of the paper is to develop a scalable parallel program for numerical solution of the equation set that simulates processes and origin conditions of intensive atmospheric vortices (IAV) in 3D compressible atmos...
来源: 评论
HMM expanded to multiple interleaved chains as a model for Word Sense Disambiguation
PACLIC 23 - Proceedings of the 23rd Pacific Asia Conference ...
收藏 引用
PACLIC 23 - Proceedings of the 23rd Pacific Asia Conference on Language, Information and Computation 2009年 2卷 549-558页
作者: Turdakov, Denis Lizorkin, Dmitry Institute for System Programming of the Russian Academy of Sciences 25 Solzhenitsina st Moscow 109004 Russia
The paper proposes a method for Word Sense Disambiguation based on an expanded Hidden Markov Model. The method is based on our observation that natural language text typically traces multiple interleaved chains consis... 详细信息
来源: 评论
Parallel Monte Carlo study on caffeine-DNA interaction in aqueous solution
Parallel Monte Carlo study on caffeine-DNA interaction in aq...
收藏 引用
International Symposium on Parallel and Distributed Processing (IPDPS)
作者: M.D. Kalugin A.V. Teplukhin Institute of System Programming Russian Academy of Science Moscow Russia Institute of Mathematical Problems in Biology Russian Academy of Science Pushchino Russia
Monte Carlo simulation of the caffeine-DNA interaction in aqueous solution at room temperature was carried out using parallel calculations on supercomputer. Very large simulation boxes were used containing superhelica... 详细信息
来源: 评论
Profile-based type reconstruction for decompilation
Profile-based type reconstruction for decompilation
收藏 引用
IEEE Workshop on Program Comprehension
作者: K. Troshina A. Chernov A. Fokin Institute of System Programming RAS Moscow Russia Computational Mathematics and Cybernetics Department Moscow State University Moscow Russia
Decompilation is reconstruction of a program in a high-level language from a program in a low-level language. In most cases static decompilation is unable to completely reconstruct high-level data types due to loss of... 详细信息
来源: 评论