咨询与建议

限定检索结果

文献类型

  • 85 篇 会议
  • 59 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 129 篇 工学
    • 103 篇 计算机科学与技术...
    • 33 篇 软件工程
    • 22 篇 电气工程
    • 7 篇 力学(可授工学、理...
    • 7 篇 动力工程及工程热...
    • 5 篇 机械工程
    • 3 篇 信息与通信工程
    • 3 篇 土木工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 控制科学与工程
    • 2 篇 测绘科学与技术
    • 2 篇 环境科学与工程(可...
    • 1 篇 石油与天然气工程
    • 1 篇 航空宇航科学与技...
  • 29 篇 理学
    • 17 篇 数学
    • 14 篇 物理学
    • 2 篇 地理学
  • 12 篇 管理学
    • 12 篇 管理科学与工程(可...
    • 2 篇 工商管理
  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 文学
    • 1 篇 外国语言文学

主题

  • 9 篇 openfoam
  • 6 篇 software enginee...
  • 6 篇 residue number s...
  • 5 篇 computer science
  • 5 篇 reliability
  • 5 篇 operating system...
  • 5 篇 finite volume me...
  • 5 篇 artificial intel...
  • 5 篇 cloud computing
  • 4 篇 software enginee...
  • 4 篇 ansible
  • 4 篇 semantics
  • 4 篇 security
  • 4 篇 general
  • 4 篇 uncertainty
  • 4 篇 cloud storage
  • 3 篇 computational fl...
  • 3 篇 model-based test...
  • 3 篇 wave attractor
  • 3 篇 internal waves

机构

  • 56 篇 ras ivannikov in...
  • 26 篇 ras inst syst pr...
  • 21 篇 south ural state...
  • 12 篇 north caucasus f...
  • 11 篇 cicese res ctr e...
  • 8 篇 moscow inst phys...
  • 7 篇 lomonosov moscow...
  • 5 篇 tomsk state univ...
  • 4 篇 natl res univ hi...
  • 4 篇 bauman moscow st...
  • 4 篇 ras keldysh inst...
  • 4 篇 ras ivannikov in...
  • 4 篇 cicese res ctr e...
  • 4 篇 ivannikov inst s...
  • 4 篇 russian acad sci...
  • 3 篇 lomonosov moscow...
  • 3 篇 ras shirshov ins...
  • 3 篇 ocean univ china...
  • 3 篇 plekhanov russia...
  • 3 篇 king abdullah un...

作者

  • 21 篇 tchernykh andrei
  • 17 篇 avetisyan arutyu...
  • 13 篇 babenko mikhail
  • 12 篇 yevtushenko nina
  • 8 篇 radchenko gleb
  • 8 篇 tchernykh a.
  • 7 篇 cortes-mendoza j...
  • 7 篇 miranda-lopez va...
  • 6 篇 epikhin andrey
  • 6 篇 gasnikov alexand...
  • 5 篇 el-fakih khaled
  • 5 篇 tvardovskii alek...
  • 5 篇 sargsyan sevak
  • 4 篇 semenov v. a.
  • 4 篇 kurmangaleev sha...
  • 4 篇 chervyakov nikol...
  • 4 篇 nesmachnow sergi...
  • 4 篇 borisenko oleg
  • 4 篇 beznosikov aleks...
  • 3 篇 yang bo

语言

  • 139 篇 英文
  • 4 篇 其他
  • 1 篇 俄文
检索条件"机构=Inst Syst Programming RAS"
144 条 记 录,以下是131-140 订阅
排序:
system Software for the Computing system "Electronica SSBIS"  3
System Software for the Computing System "Electronica SSBIS"
收藏 引用
2014 Third International Conference on Computer Technology in Russia and in the Former Soviet Union (SoRuCom)
作者: Ivannikov, Victor Gaisaryan, Sergey Tomilin, Alexander RAS Inst Syst 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  12
Deriving complete finite tests based on state machines
收藏 引用
IEEE East West Design and Test Symposium (EWDTS)
作者: Burdonov, Igor Kossatchev, Alexander Yevtushenko, Nina RAS Inst Syst Programming Moscow Russia Tomsk State Univ 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 ... 详细信息
来源: 评论
Dynamic verification of hybrid systems
Dynamic verification of hybrid systems
收藏 引用
Conference on Tools and Methods of Program Analysis (TMPA)
作者: Pakulin, Nikolay RAS Inst Syst Programming Dept Software Engineeing 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, "... 详细信息
来源: 评论
Global path planning in 4D environments using topological mapping
Global path planning in 4D environments using topological ma...
收藏 引用
9th European Conference on Product and Process Modelling
作者: Semenov, V. A. Kazakov, K. A. Zolotov, V. A. Inst Syst Programming RAS Moscow Russia
Global path planning is a challenging problem raised in many fields of research. It is of particular interest to construction planning community facing the requirements of trustworthiness and feasibility of the projec... 详细信息
来源: 评论
Concurrent Planning Using Semantics-driven Reconciliation
Concurrent Planning Using Semantics-driven Reconciliation
收藏 引用
18th ISPE International Conference on Concurrent Engineering - Improving Complex systems Today
作者: Semenov, Vitaly Morozov, Sergey Tarlapan, Oleg Zolotov, Vladislav RAS Inst Syst Programming 25 Alexander Solzhenitsyn St Moscow 109004 Russia
Concurrent planning, scheduling, and monitoring are challenging problems relating to effective communication and collaboration among key project participants like managers, planners, designers, cost analysts, and prod... 详细信息
来源: 评论
Establishing Linux Driver Verification Process
Establishing Linux Driver Verification Process
收藏 引用
7th International Andrei Ershov Memorial Conference on Perspectives of systems Informatics
作者: Khoroshilov, Alexey Mutilin, Vadim Petrenko, Alexander Zakharov, Vladimir RAS Inst Syst Programming Moscow 117901 Russia
This paper presents an initiative program aimed at enhancing Linux device driver designing and maintenance by launching a long-term process that will attend the OS kernel development. This process includes two adjacen... 详细信息
来源: 评论
On-line hierarchical job scheduling on grids with admissible allocation
收藏 引用
JOURNAL OF SCHEDULING 2010年 第5期13卷 545-552页
作者: Tchernykh, Andrei Schwiegelshohn, Uwe Yahyapour, Ramin Kuzjurin, Nikolai CICESE Res Ctr Dept Comp Sci Ensenada 22830 Baja California Mexico Tech Univ Dortmund Robot Res Inst D-44221 Dortmund Germany Tech Univ Dortmund IT & Media Ctr D-44221 Dortmund Germany RAS Inst Syst Programming Moscow 117901 Russia
In this paper, we address non-preemptive online scheduling of parallel jobs on a Grid. Our Grid consists of a large number of identical processors that are divided into several machines. We consider a Grid scheduling ... 详细信息
来源: 评论
Automatically Tuning Sparse Matrix-Vector Multiplication for GPU Architectures
Automatically Tuning Sparse Matrix-Vector Multiplication for...
收藏 引用
5th International Conference on High Performance Embedded Architectures and Compilers
作者: Monakov, Alexander Lokhmotov, Anton Avetisyan, Arutyun Inst Syst Programming RAS 25 Solzhenitsyna St Moscow 109004 Russia Imperial Coll London Dept Computat London SW7 2AZ England
Graphics processors are increasingly used in scientific applications due to their high computational power, which comes from hardware with multiple-level parallelism and memory hierarchy. Sparse matrix computations fr... 详细信息
来源: 评论
Implementing Blocked Sparse Matrix-Vector Multiplication on NVIDIA GPUs
收藏 引用
9th SAMOS International Workshop
作者: Monakov, Alexander Avetisyan, Arutyun RAS Inst Syst Programming Moscow 117901 Russia
We discuss implementing blocked sparse matrix-vector multiplication for NVIDIA GPUs. We outline an algorithm and various optimizations, and identify potential future improvements and challenging tasks. In comparison w... 详细信息
来源: 评论
Collaborative software engineering using metamodel-driven approach
Collaborative software engineering using metamodel-driven ap...
收藏 引用
16th IEEE International Workshop on Enabling Technologies - Infrastructure for Collaborative Enterprises
作者: Semenov, Vitaly RAS Inst Syst Programming Moscow 117901 Russia
A metamodel-driven approach to collaborative software engineering is presented The approach employs optimistic replication of UML models and a novel semantics-based method for reconciliation of long-lived transactions... 详细信息
来源: 评论