咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是631-640 订阅
排序:
A parallel language and its programming system for heterogeneous networks
收藏 引用
Concurrency and Computation: Practice and Experience 2000年 第13期12卷
作者: Alexey Lastovetsky Dmitry Arapov Alexey Kalinov Ilya Ledovskih Institute for System Programming Russian Academy of Sciences 25 Bolshaya Kommunisticheskaya str. Moscow 109004 Russia 50 Hollybrook Park Bray County Wicklow Ireland
The paper presents a new parallel language, mpC, designed specially for programming high-performance computations on heterogeneous networks of computers, as well as its supportive programming environment. The main ide... 详细信息
来源: 评论
MpC + ScaLAPACK = efficient solving linear Algebra problems on heterogeneous networks
MpC + ScaLAPACK = efficient solving linear Algebra problems ...
收藏 引用
5th International Conference on Parallel Processing, Euro-Par 1999
作者: Kalinov, Alexey Lastovetsky, Alexey Institute for System Programming Russian Academy of Sciences 25 Bolshaya Kommunisticheskaya str. Moscow 109004 Russia
The paper presents experience of using mpC for accelerating ScaLAPACK applications on heterogeneous networks of computers. The mpC is a language, specially designed for parallel programming for heterogeneous networks.... 详细信息
来源: 评论
Emotions simulation in methodology of autonomous adaptive control
Emotions simulation in methodology of autonomous adaptive co...
收藏 引用
IEEE International Symposium on Intelligent Control (ISIC)
作者: A.A. Zhdanov A.N. Yinokurov Simulation Systems Department Institute for System Programming Russian Academy of Science Moscow Russia
We offer a standpoint that emotions are a necessary mechanism for autonomous control systems. By an autonomous controlled object we understand an object, that is controlled by a control system which is its on-board su... 详细信息
来源: 评论
InSight-reverse engineer CASE tool
InSight-reverse engineer CASE tool
收藏 引用
International Conference on Software Engineering (ICSE)
作者: N. Rajala D. Campara N. Mansurov SW Development Management Nortel Limited Ottawa ONT Canada Head of Department Institute for System Programming Moscow Russia
Building upon existing software systems while maintaining or improving software quality is a major goal of software engineering. To achieve this, every software engineering phase (requirements analysis, software desig... 详细信息
来源: 评论
Testing of Communicating systems: Proceedings of the IFIP TC6 11th International Workshop on Testing of Communicating systems (Iwtcs '98), August 31-September 2, 1998, Tomsk, Russia
Testing of Communicating Systems: Proceedings of the IFIP TC...
收藏 引用
1998年
作者: Alexandre A Petrenko Nina V Yevtushenko
来源: 评论
Locally explicit construction of Rödl's asymptotically good packings
Locally explicit construction of Rödl's asymptotically good...
收藏 引用
23rd International Symposium on the Mathematical Foundations of Computer Science, MFCS 1998
作者: Kuzjurin, Nikolai N. Institute for System Programming Russian Academy of Sciences B. Kommunisticheskaya 25 Moscow 109004 Russia
We present a family of asymptotically good packings of l-subsets of an n-set by k-subsets and an algorithm that given a natural i finds the ith k-subset of this family. The bit complexity of this algorithm is almost l... 详细信息
来源: 评论
Experiments with mpC: Efficient solving regular problems on heterogeneous networks of computers via irregularization
收藏 引用
5th International Symposium on Solving Irregularly Structured Problems in Parallel, IRREGULAR 1998
作者: Arapov, Dmitry Kalinov, Alexey Lastovetsky, Alexey Ledovskih, Ilya Institute for System Programming Russian Academy of Sciences 25 Bolshaya Kommunisticheskaya str. Moscow 109004 Russia
mpC is a medium-level parallel language for programming heterogeneous networks of computers. It allows to write libraries of parallel routines adaptable to peculiarities of any particular executing multiprocessor syst... 详细信息
来源: 评论
About an autonomous adaptive control methodology
About an autonomous adaptive control methodology
收藏 引用
IEEE International Symposium on Intelligent Control (ISIC)
作者: A.A. Zhdanov Simulation Systems Department Institute for System Programming Russian Academy of Science Moscow Russia
We present the basis of the original autonomous adaptive control (AAC) methodology. It is an approach to the design of intelligent systems that simulate structure and functions of the nervous system and brain. The AAC... 详细信息
来源: 评论
Resource management in the mpC programming environment
Resource management in the mpC programming environment
收藏 引用
Annual Hawaii International Conference on system Sciences (HICSS)
作者: D. Arapov A. Kalinov A. Lastovetsky Institute for System Programming Russian Academy of Science Moscow Russia
The mpC (message-passing C) language was developed to write efficient and portable programs for wide range of distributed memory machines. It supports both task and data parallelism, allows both static and dynamic pro... 详细信息
来源: 评论
Cover model: a framework for design and execution of distributed applications
Cover model: a framework for design and execution of distrib...
收藏 引用
International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN)
作者: V.P. Ivannikov K.V. Dyshlevoi V.E. Kamensky A.V. Klimov S.G. Manzheley V.A. Omelchenko L.B. Solovskaya A.A. Vinokurov Institute for System Programming Russian Academy of Science Moscow Russia
Many problems of distributed object-oriented applications can be uniformly resolved in the frame of approach based on the concept of cover. The cover is defined as an environment that transparently controls all aspect... 详细信息
来源: 评论