咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是561-570 订阅
排序:
Sedna: Native XML database management system (internals overview)  10
Sedna: Native XML database management system (internals over...
收藏 引用
2010 International Conference on Management of Data, SIGMOD '10
作者: Taranov, Ilya Shcheklein, Ivan Kalinin, Alexander Novak, Leonid Kuznetsov, Sergei Pastukhov, Roman Boldakov, Alexander Turdakov, Denis Antipin, Konstantin Fomichev, Andrey Pleshachkov, Peter Velikhov, Pavel Zavaritski, Nikolai Grinev, Maxim Grineva, Maria Lizorkin, Dmitry Institute for System Programming Russian Academy of Sciences Alexander Solzhenitsyn street 25 109004 Moscow Russia ETH Zurich CAB F 78 Universitätstrasse 6 8092 Zürich Switzerland Google Balchug street 7 115035 Moscow Russia
We present a native XML database management system, Sedna, which is implemented from scratch as a full-featured database management system for storing large amounts of XML data. We believe that the key contribution of... 详细信息
来源: 评论
Reconstruction of Class Hierarchies for Decompilation of C++ Programs
Reconstruction of Class Hierarchies for Decompilation of C++...
收藏 引用
(CSMR) European Conference on Software Maintenance and Reengineering
作者: A. Fokin K. Troshina A. Chernov Computational Mathematics and Cybernetics Department Moscow State University Moscow Russia Institute for System Programming Russian Academy of Science Moscow Russia
This paper presents a method for automatic reconstruction of polymorphic class hierarchies from the assembly code obtained by compiling a C++ program. If the program is compiled with run-time type information (RTTI), ... 详细信息
来源: 评论
Reconstruction of Composite Types for Decompilation
Reconstruction of Composite Types for Decompilation
收藏 引用
IEEE International Workshop on Source Code Analysis and Manipulation
作者: Katerina Troshina Yegor Derevenets Alexander Chernov Institute of System Programming Russian Academy of Science Moscow Russia Computational Mathematics and Cybernetics Dept Moscow State University Moscow Russia
Decompilation is reconstruction of a program in a high-level language from a program in a low-level language. This paper presents a method for automatic reconstruction of composite types (structures, arrays and combin... 详细信息
来源: 评论
Parameters Extraction of Pseudo-Code PM Combined with SFM Signal Based on QMFBT Techniques
Parameters Extraction of Pseudo-Code PM Combined with SFM Si...
收藏 引用
International Conference on Multimedia Technology
作者: Jing Liu Hui-chang Zhao Shu-ning Zhang Department of Electronic Engineering and Optoelectronic Technology Nanjing University of Science and Technology of PLA Nanjing China Institute for System Programming Russian Academy of Sciences Moscow Russia Computational Math and Cybernetics Dept. Moscow State University Moscow Russia
To extract feature parameters of Pseudo-code binary phase modulation combined with sine frequency modulation continuous wave(PRBC-SFMCW), the linear decomposition techniques using Quadrature Mirror Filter Bank Tree (Q... 详细信息
来源: 评论
Generation of test scripts for application with GUI optimized for manual execution
Generation of test scripts for application with GUI optimize...
收藏 引用
2009 5th Central and Eastern European Software Engineering Conference in Russia, CEE-SECR 2009
作者: Barancev, A.V. Groshev, S.G. Omelchenko, V.A. Institute for System Programming of RAS Russia
The article describes the method for constructing sequences of user actions that are optimized for manual execution, based on the model in the form of a diagram of states and transitions. Scenarios for such implementa... 详细信息
来源: 评论
A system for backward binary compatibility analysis of shared libraries in linux
A system for backward binary compatibility analysis of share...
收藏 引用
2009 5th Central and Eastern European Software Engineering Conference in Russia, CEE-SECR 2009
作者: Ponomarenko, Andrey Rubanov, Vladimir Khoroshilov, Alexey Institute for System Programming Russian Academy of Sciences 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 ... 详细信息
来源: 评论
Extracting key terms from noisy and multi-theme documents  09
Extracting key terms from noisy and multi-theme documents
收藏 引用
18th International World Wide Web Conference, WWW 2009
作者: Grineva, Maria Grinev, Maxim Lizorkin, Dmitry Institute for System Programming Russian Academy of Sciences Russia
We present a novel method for key term extraction from text documents. In our method, document is modeled as a graph of semantic relationships between terms of that document. We exploit the following remarkable featur... 详细信息
来源: 评论
DataGuide-based distribution for XML documents
DataGuide-based distribution for XML documents
收藏 引用
6th Spring Young Researchers' Colloquium on Databases and Information systems, SYRCoDIS 2009
作者: Kalinin, Alexander Institute for System Programming Russian Academy of Sciences Russia
Distribution is a well-known solution to increase performance and provide load balancing in case you need optimal resource utilization. Together with replication it also allows improved reliability, accessibility and ... 详细信息
来源: 评论
Practical Escape Analysis in an Open World
收藏 引用
电子学报(英文版) 2009年 第1期18卷 31-36页
作者: SHI Xiaohua JIN Maozhong WU Gansha LUEH Gueiyuan Software Engineering Institute Beihang University Beijing 100083 China Programming System Laboratory Microprocessor Technology Laboratory Intel Corporation China
A novel escape analysis framework that handles the Java open-world features is proposed and evaluated. The novel approach analyzes a Java program with an optimistic view that the program is in a closed world and appli... 详细信息
来源: 评论
Early creation of cross toolkits for embedded systems
Early creation of cross toolkits for embedded systems
收藏 引用
1st International Workshop on Networked Embedded and Control system Technologies: European and Russian R and D Cooperation - NESTER 2009 In Conjunction with ICINCO 2009
作者: Pakulin, Nikolay Rubanov, Vladimir Institute for System Programming of the Russian Academy of Sciences Moscow Russia
Cross toolkits (assembler, linker, debugger, simulator, profiler) play a key role in the development cycle of embedded systems. Early creation of cross toolkits and possibility to quickly adapt them allows using them ... 详细信息
来源: 评论