咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是581-590 订阅
排序:
Applying Map-Reduce Paradigm for Parallel Closed Cube Computation
Applying Map-Reduce Paradigm for Parallel Closed Cube Comput...
收藏 引用
International Conference on Advances in Databases, Knowledge, and Data Applications, DBKDA
作者: Kuznecov Sergey Kudryavcev Yury Institute of System Programming Russian Academy of Science Moscow Russia Faculty of Computational Mathematics and Cybernetics Moscow State University Moscow Russia
After many years of studies, efficient data cube computation remains an open field of research due to ever-growing amounts of data. One of the most efficient algorithms (quotient cubes) is based on the notion of cube ... 详细信息
来源: 评论
Profile-based type reconstruction for decompilation
IEEE International Conference on Program Comprehension
收藏 引用
IEEE International Conference on Program Comprehension 2009年 263-267页
作者: Troshina, K. Chernov, A. Fokin, A. Institute for System Programming RAS 25 Alexander Solzhenitsyn st. Moscow 109004 Russia Moscow State University Computational Math. and Cybernetics Dept. Leninskie Gory Moscow Russia
Decompilation is reconstruction of a program in a highlevel 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 ...
来源: 评论
Efficient implementation of XQuery constructor expressions
Efficient implementation of XQuery constructor expressions
收藏 引用
5th Spring Young Researchers Colloquium on Databases and Information systems, SYRCoDIS 2008
作者: Grinev, Maxim Novak, Leonid Taranov, Ilya Institute of System Programming Russia
Element constructor is one of most expensive operations of the XQuery language as it requires deep copy of the nodes which make up the content of the constructed element. In this paper we propose various optimization ... 详细信息
来源: 评论
Virtualization-based separation of privilege: Working with sensitive data in untrusted environment
Virtualization-based separation of privilege: Working with s...
收藏 引用
1st EuroSys Workshop on Virtualization Technology for Dependable systems,VTDS 2009
作者: Burdonov, Igor Kosachev, Alexander Iakovenko, Pavel Institute for System Programming RAS Moscow Romania
Contemporary commodity operating systems are too big and do not inspire trust in their security and reliability. Still they are used for processing sensitive data due to the vast amount of legacy software and good sup... 详细信息
来源: 评论
Optimizing concurrent processing of write-then-read transactions
Optimizing concurrent processing of write-then-read transact...
收藏 引用
5th Spring Young Researchers Colloquium on Databases and Information systems, SYRCoDIS 2008
作者: Kalinin, Alexander Institute for System Programming Russian Academy of Sciences Russia
Write-then-read transaction (W\R) is a transaction that consists of two consecutive phases: write phase containing write and read operations in random order, and second phase containing read operations and write opera... 详细信息
来源: 评论
Application-tailored XML storage
Application-tailored XML storage
收藏 引用
5th Spring Young Researchers Colloquium on Databases and Information systems, SYRCoDIS 2008
作者: Grinev, Maxim Shcheklein, Ivan Institute for System Programming Russian Academy of Sciences Russia
Several native approaches to storing large XML data sets exist. In all of these approaches the internal data representation is designed to support any ad-hoc XQuery query. In this paper we argue that XQuery and its da... 详细信息
来源: 评论
ISE language: The ADL for efficient development of cross toolkits
ISE language: The ADL for efficient development of cross too...
收藏 引用
1st International Workshop on Model Based Architecting and Construction of Embedded systems, ACES-MB 2008 - Held as Part of the 2008 11th International Conference on Model Driven Engineering Languages and systems, MoDELS 2008
作者: Pakulin, Nikolay Rubanov, Vladimir Institute for System Programming Russian Academy of Sciences Moscow Russia
Cross toolkits (assembler, linker, debugger, simulator, profiler) are widely used for software-hardware codesign;an early creation of cross toolkits is an important success factor for industrial embedded systems. At t... 详细信息
来源: 评论
Directed Generation of Test Data for Static Semantics Checker
Directed Generation of Test Data for Static Semantics Checke...
收藏 引用
作者: 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... 详细信息
来源: 评论
Coverage-directed verification of microprocessor units based on cycle-accurate contract specifications
Coverage-directed verification of microprocessor units based...
收藏 引用
East-West Design and Test Symposium
作者: Kamkin, Alexander Software Engineering Department Institute for System Programming Russian Academy of Sciences 25 B. Kommunisticheskaya Moscow 109004 Russia
In this paper we describe a method for simulation-based verification of microprocessor units based on cycle-accurate contract specifications. Such specifications describe behavior of a unit in the form of precondition... 详细信息
来源: 评论
Formal Methods and Innovation Economy: Facing New Challenges
Formal Methods and Innovation Economy: Facing New Challenges
收藏 引用
International Conference on Software Engineering and Formal Methods (SEFM)
作者: Alexander K. Petrenko Olga L. Petrenko Institute for System Programming Russian Academy of Science Moscow Russia
Formal methods (FM) are being actively developed nowadays. Still they find little use even in the target industry domains that require high quality, robust and standard-conforming software. Some of the difficulties in... 详细信息
来源: 评论