咨询与建议

限定检索结果

文献类型

  • 174 篇 会议
  • 64 篇 期刊文献
  • 4 册 图书

馆藏范围

  • 242 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 136 篇 工学
    • 113 篇 计算机科学与技术...
    • 94 篇 软件工程
    • 31 篇 力学(可授工学、理...
    • 20 篇 控制科学与工程
    • 13 篇 机械工程
    • 12 篇 信息与通信工程
    • 11 篇 电气工程
    • 11 篇 安全科学与工程
    • 8 篇 航空宇航科学与技...
    • 6 篇 动力工程及工程热...
    • 6 篇 电子科学与技术(可...
    • 6 篇 生物工程
    • 4 篇 轻工技术与工程
    • 3 篇 光学工程
    • 3 篇 化学工程与技术
    • 3 篇 石油与天然气工程
    • 2 篇 建筑学
    • 2 篇 土木工程
    • 2 篇 测绘科学与技术
  • 83 篇 理学
    • 50 篇 数学
    • 33 篇 物理学
    • 17 篇 统计学(可授理学、...
    • 10 篇 系统科学
    • 6 篇 生物学
    • 4 篇 化学
    • 4 篇 大气科学
  • 25 篇 管理学
    • 13 篇 管理科学与工程(可...
    • 11 篇 图书情报与档案管...
    • 7 篇 工商管理
  • 2 篇 经济学
    • 2 篇 应用经济学
  • 1 篇 哲学
  • 1 篇 法学
  • 1 篇 历史学
  • 1 篇 农学

主题

  • 19 篇 static analysis
  • 12 篇 conferences
  • 9 篇 computational mo...
  • 7 篇 libraries
  • 7 篇 fuzzing
  • 7 篇 codes
  • 7 篇 numerical models
  • 7 篇 source coding
  • 6 篇 registers
  • 6 篇 programming
  • 6 篇 numerical simula...
  • 6 篇 software testing
  • 6 篇 software
  • 6 篇 testing
  • 6 篇 mathematical mod...
  • 6 篇 standards
  • 5 篇 tools
  • 5 篇 instruments
  • 5 篇 computer archite...
  • 5 篇 computer bugs

机构

  • 57 篇 ivannikov instit...
  • 36 篇 ivannikov instit...
  • 29 篇 lomonosov moscow...
  • 17 篇 moscow institute...
  • 14 篇 lomonosov moscow...
  • 12 篇 ivannikov instit...
  • 11 篇 ivannikov instit...
  • 9 篇 bauman moscow st...
  • 9 篇 bauman moscow st...
  • 8 篇 ivannikov instit...
  • 7 篇 moscow institute...
  • 7 篇 institute for sy...
  • 6 篇 ivannikov instit...
  • 5 篇 tomsk state univ...
  • 5 篇 ivannikov instit...
  • 5 篇 programming of t...
  • 5 篇 lomonosov moscow...
  • 4 篇 college of engin...
  • 4 篇 ivannikov instit...
  • 4 篇 mohamed bin zaye...

作者

  • 15 篇 yevtushenko nina
  • 12 篇 vishnyakov alexe...
  • 11 篇 kuts daniil
  • 10 篇 parygina darya
  • 10 篇 fedotov andrey
  • 8 篇 gasnikov alexand...
  • 8 篇 burdonov igor
  • 7 篇 logunova vlada
  • 7 篇 marchevsky ilia
  • 6 篇 daniil kuts
  • 6 篇 epikhin andrey
  • 6 篇 ilia marchevsky
  • 6 篇 kobrin eli
  • 6 篇 savidov georgy
  • 6 篇 nina yevtushenko
  • 5 篇 andrey belevants...
  • 5 篇 borodin alexey
  • 5 篇 alexey vishnyako...
  • 5 篇 alexey borodin
  • 5 篇 alexander kamkin

语言

  • 235 篇 英文
  • 5 篇 其他
  • 4 篇 俄文
检索条件"机构=Institute for System Programming of RAS"
242 条 记 录,以下是221-230 订阅
排序:
The Unknown Component Problem: Theory and Applications
收藏 引用
2014年
作者: Tiziano Villa Nina V Yevtushenko Robert King Brayton Alan Mishchenko Alexandre F Petrenko Alberto L Sangiovanni-Vincentelli
The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification. The authors tackle this pr...
来源: 评论
system Software for the Computing system "Electronica SSBIS"
System Software for the Computing System "Electronica SSBIS"
收藏 引用
International Conference on Computer Technology in Russia and in the Former Soviet Union (SoRuCom)
作者: Victor Ivannikov Sergey Gaisaryan Alexander Tomilin RAS Institute for System Programming Moscow Russia
By 1991, several copies of two vector-pipeline supercomputers: “Electronica SSBIS” (the development of the Research institute “Delta”, MEI USSR and the institute of Cybernetics, AS USSR - chief designer Vladimir A... 详细信息
来源: 评论
Deriving complete finite tests based on state machines
Deriving complete finite tests based on state machines
收藏 引用
East-West Design & Test Symposium (EWDTS)
作者: Igor Burdonov Alexander Kossatchev Nina Yevtushenko Institute for System Programming of the RAS Moscow Russia Tomsk State University Tomsk Russia
Many state machine based strategies return complete but infinite test suites. A usual approach to guarantee the fault coverage with respect to some kind of faults is to limit the number of faults, i.e., to consider a ... 详细信息
来源: 评论
Combined Approach to Solving Problems in Binary Code Analysis
Combined Approach to Solving Problems in Binary Code Analysi...
收藏 引用
International Conference on Computer Science and Information Technologies
作者: Alexander Getman Vartan Padaryan Mikhail Solovyev Institute for System Programming of the Russian Academy of Sciences (ISP RAS)
This paper proposes a decomposition of generic software security problems, mapping them to smaller problems of static and dynamic binary code analysis.
来源: 评论
Performance Optimizations in an LLVM-based Cloud Application Store
Performance Optimizations in an LLVM-based Cloud Application...
收藏 引用
International Conference on Computer Science and Information Technologies
作者: Viktor Ivanikov Shamil Kurmangaleev Andrey Belevantsev Arutyun Avetisyan Institute for System Programming of the Russian Academy of Sciences (ISP RAS)
This paper describes the two-stage compilation system based on LLVM compiler infrastructure and the performance optimizations made possible by this deployment technique.
来源: 评论
Dynamic verification of hybrid systems
Dynamic verification of hybrid systems
收藏 引用
Tools & Methods of Program Analysis (TMPA)
作者: Nikolay Pakulin Department of Software Engineeing Institute for System Programming of RAS Moscow Russia
In the recent decade we face aggressive replacement of analog control loops with digital ones. Even for critical systems there are ongoing projects for digital control: “Smart Grids” in power industry, “Integrated ... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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, LATW
作者: Mikhail Chupilko Alexander Kamkin Institute for System Programming RAS 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... 详细信息
来源: 评论
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... 详细信息
来源: 评论