咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是551-560 订阅
排序:
Header-driven generation of sanity API tests for shared libraries
Header-driven generation of sanity API tests for shared libr...
收藏 引用
Central and Eastern European Software Engineering Conference
作者: Ponomarenko, Andrey Rubanov, Vladimir Institute for System Programming Russian Academy of Sciences Russia
There are thousands of various software libraries being developed in the modern world - completely new libraries emerge as well as new versions of existing ones regularly appear. Unfortunately, developers of many libr... 详细信息
来源: 评论
Automated verification of shared libraries for backward binary compatibility
Automated verification of shared libraries for backward bina...
收藏 引用
International Conference on Advances in system Testing and Validation Lifecycle
作者: Ponomarenko, Andrey Rubanov, Vladimir Institute for System Programming Russian Academy of Sciences Moscow Russia
This paper discusses a problem of ensuring backward binary compatibility when developing shared libraries. Linux (and GCC environment) is used as the main example. Breakage of the compatibility may result in crashing ... 详细信息
来源: 评论
4D modelling of large industrial projects using spatio-temporal decomposition
4D modelling of large industrial projects using spatio-tempo...
收藏 引用
1st European Conference for Product and Process Modelling, ECPPM 2010
作者: Semenov, V.A. Kazakov, K.A. Morozov, S.V. Tarlapan, O.A. Zolotov, V.A. Dengenis, T. Institute for System Programming RAS Moscow Russia Synchro Ltd. Coventry United Kingdom
There has been a growing interest in the emerging technology of four-dimensional modelling and planning of industrial projects. In comparison with traditional 3D CAD and project management systems, 4D modelling provid... 详细信息
来源: 评论
Constructing test sequences for hardware designs with parallel starting operations using implicit FSM models
Constructing test sequences for hardware designs with parall...
收藏 引用
East-West Design and Test Symposium
作者: Chupilko, Mikhail Institute for System Programming Russian Academy of Sciences 25 A. Solzhenitsyn Street Moscow 109004 Russia
The paper concerns functional testing of hardware models using finite state machines (FSM). Test construction is done by traversing FSM state graph. In this paper we propose a technique for irredundant description of ... 详细信息
来源: 评论
A lock-free cache-friendly software queue buffer for decoupled software pipelining
A lock-free cache-friendly software queue buffer for decoupl...
收藏 引用
2010 International Computer Symposium, ICS 2010
作者: Chen, Wen Ren Yang, Wuu Hsu, Wei Chung Programming Language and System Lab Institute of Computer Science and Engineering National Chiao Tung University Hsinchu 30013 Taiwan System Lab. Institute of Computer Science and Engineering National Chiao Tung University Hsinchu 30013 Taiwan
Multicore has become a trend on server and client computers in recent years. Parallelization is one way to fully utilize the computing power provided by multicore architectures. Most applications of interest have comp... 详细信息
来源: 评论
Header-driven generation of sanity API tests for shared libraries
Header-driven generation of sanity API tests for shared libr...
收藏 引用
Central and Eastern European Software Engineering Conference in Russia (CEE-SECR)
作者: Andrey Ponomarenko Vladimir Rubanov Institute for System Programming Russian Academy of Science Russia
There are thousands of various software libraries being developed in the modern world - completely new libraries emerge as well as new versions of existing ones regularly appear. Unfortunately, developers of many libr... 详细信息
来源: 评论
Automated Verification of Shared Libraries for Backward Binary Compatibility
Automated Verification of Shared Libraries for Backward Bina...
收藏 引用
International Conference on Advances in system Testing and Validation Lifecycle, VALID
作者: Andrey Ponomarenko Vladimir Rubanov Institute for System Programming Russian Academy of Science Moscow Russia
This paper discusses a problem of ensuring backward binary compatibility when developing shared libraries. Linux (and GCC environment) is used as the main example. Breakage of the compatibility may result in crashing ... 详细信息
来源: 评论
Constructing test sequences for hardware designs with parallel starting operations using implicit FSM models
Constructing test sequences for hardware designs with parall...
收藏 引用
East-West Design & Test Symposium (EWDTS)
作者: Mikhail Chupilko Institute for System Programming Russian Academy of Science Moscow Russia
The paper concerns functional testing of hardware models using finite state machines (FSM). Test construction is done by traversing FSM state graph. In this paper we propose a technique for irredundant description of ... 详细信息
来源: 评论
Developing cycle-accurate contract specifications for synchronous parallel-pipeline hardware: Application to verification
Developing cycle-accurate contract specifications for synchr...
收藏 引用
International Baltic Electronics Conference, BEC
作者: M. Chupilko A. Kamkin Institute for System Programming Russian Academy of Sciences Moscow Russia
The paper describes a methodology for formal cycle-accurate specification of synchronous parallel-pipeline hardware. The main application of the methodology is simulation-based verification of control-intensive digita... 详细信息
来源: 评论
Reconstruction of class hierarchies for decompilation of C++ programs
Reconstruction of class hierarchies for decompilation of C++...
收藏 引用
作者: Fokin, A. Troshina, K. Chernov, A. Computational Math. and Cybernetics Dept. Moscow State University Leninskie Gory Moscow Russia Institute for System Programming Russian Academy of Sciences 25 Alexander Solzhenitsyn st. 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), ... 详细信息
来源: 评论