咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是641-650 订阅
Modular parallel programming in mpC for distributed memory machines
Modular parallel programming in mpC for distributed memory m...
收藏 引用
Aizu International Symposium on Parallel Algorithms/Architecture Synthesis
作者: D. Arapov V. Ivannikov A. Kalinov A. Lastovetsky I. Ledovskih T. Lewis Institute for System Programming Russian Academy of Science Moscow Russia Naval Postgraduate School Monterrey CA USA
The mpC language is an ANSI C superset supporting modular parallel programming for distributed memory machines. It allows the user to specify dynamically an application topology, and the mpC programming environment us... 详细信息
来源: 评论
A programming environment for heterogenous distributed memory machines
A programming environment for heterogenous distributed memor...
收藏 引用
Heterogeneous Computing Workshop
作者: D. Arapov A. Kalinov A. Lastovetsky I. Ledovskih T. Lewis Institute for System Programming Russian Academy of Science Moscow Russia Code CS Naval Postgraduate School Monterrey CA USA
mpC is a medium level programming language for distributed memory machines (DMM). The language is an ANSI C superset based on the notion of a network comprising virtual processors of different types and performances c... 详细信息
来源: 评论
Managing the computing space in the mpC compiler
Managing the computing space in the mpC compiler
收藏 引用
International Conference on Parallel Architecture and Compilation Techniques (PACT)
作者: D. Arapov A. Kalinov A. Lastovetsky Institute for System Programming Russian Academy of Science Moscow Russia
The mpC parallel programming language is an ANSI C superset based on the notion of a network comprising processor nodes of different types connected with links of different lengths. It allows the user to describe a ne... 详细信息
来源: 评论
Efficient metaobject control using mediators  2nd
Efficient metaobject control using mediators
收藏 引用
Proceedings of the 1996 2nd International Andrei Ershov Memorial Conference on Perspectives of system Informatics
作者: Ivannikov, V. Zadorozhny, V. Kossmann, R. Novikov, B. Institute of System Programming Russian Academy of Sciences Bolshaya Kommunisticheskaya 25 Moscow 109004 Russian Federation Nortel Technologies Station C P.O. Box 3511 Ottawa K1Y 4H7 ON Canada University of St.-Petersburg St.-Petersburg Russian Federation
In this paper we propose an approach to optimization of reflection which combines flexibility and efficiency while implementing metaobject-based systems. The main idea is to flatten nested metainterpreter layers using... 详细信息
来源: 评论
A parallel algorithm for fixed-dimensional linear programming
收藏 引用
Parallel Algorithms and Applications 1995年 第1期6卷 17-24页
作者: Kuzyurin, Nikolai N. Shabanov, Leonid V. Institute of System Programming Russian Academy of Science Moscow 109004 B. Communisticheskaja 25 Russian Federation
Simple parallel algorithm for fixed-dimensional Linear programming is developed. It provides a straight-forward implementation on MIMD architectures with high efficiency. The implementation on transputer arrays is des... 详细信息
来源: 评论
CLEER - AN AI-system DEVELOPED TO ASSIST EQUIPMENT ARRANGEMENTS ON WARSHIPS
收藏 引用
NAVAL ENGINEERS JOURNAL 1989年 第3期101卷 127-137页
作者: ZHOU, HH SILVERMAN, BG SIMKOL, J Dr. H. Harry Zhou:is a research professor at the Institute for Artificial Intelligence of The George Washington University. Dr. Zhou received his master's degree and Ph.D. in computer science from Vanderbilt University in 1984 and 1987 respectively. He did his dissertation in the fields of artificial intelligence analogical reasoning and machine learning. His research interests include: classifier systems genetic algorithms learning by analogy inductive learning adaptive expert systems automated knowledge acquisition and adaption. He is also interested in data base design programming languages mental modeling and software engineering. Dr. Barry G. Silverman:is director of the Institute for Artificial Intelligence and a professor at the Engineering Administration Department of The George Washington University. He is also president of IntelliTek Inc. an AI consulting firm. Dr. Silverman received the B.S.E. M.S.E. and Ph.D. degrees from the University of Pennsylvania. He has been a principal developer of four generic AI products as well as eight AI applications. Since 1979 he has written over 100 papers and reports on these AI efforts. Joel Simkol:is a research scientist currently engaged in designing expert system architectures to support electronic warfare vulnerability analyses threat assessments shipboard topside antenna arrangements and C3countermeasures employment. Mr. Simkol's work in applying expert systems technology to electromagnetic interference and to spectrum management has generated increased interest and participation from all branches of government agencies.
This paper describes a modularized AI system being built to help improve electromagnetic compatibility (EMC) among shipboard topside equipment and their associated systems. CLEER is intended to act as an easy to use i... 详细信息
来源: 评论
INNOVATIONS IN COMPUTER-AIDED-DESIGN OF MARINE TURBINES USING INTERACTIVE GRAPHICS
收藏 引用
NAVAL ENGINEERS JOURNAL 1980年 第2期92卷 207-217页
作者: GINGRICH, JK WINTER, RL Mr. John K. Gingrich joined the General Electric Company after his graduation from Lafayette College in 1948. His early assignments were with the General Engineering Laboratory and the Knolls Atomic Power Laboratory in Schenectady. N. Y. He joined the Marine Turbine and Gear Department in 1968 as Manager Engineering Administration. and assumed his present assignment as Manager Engineering Resource Planning & Administration in 1976. Mr. Gingrich was instrumental in procuring the Interactive Graphics System for the Medium Steam Department. having headed up the Study Team and is now responsible for the Interactive Graphics Systems management including new procurements. He is a member of the American Institute of Design Drafting and is currently the Chairman of the Computer-Aided Drafting Committee in that organization. Mr. Reinhold L. Winter is a graduate of the General Electric Apprentice Program and Salem State College from which he received his B.S. degree in Business Administration. He has nineteen years experience with the General Electric Company including eight years in Business Systems and Programming two years in Computer Operations Management and six years in his present position as Manager Engineering Business Systems. He was a member of the original Study Team that investigated and selected the present Applicon Interactive Graphics (IAG) equipment and currently is responsible for the management of software and hardware support for the ZAG Facility.
This paper discusses the Interactive Graphics system used by the General Electric Company, Medium Steam Turbine Department (Engineering & Manufacturing) for designing, drafting, and manufacturing applications. A b...
来源: 评论
Advanced Technologies in Robotics and Intelligent systems  1
收藏 引用
丛书名: Mechanisms and Machine Science
1000年
作者: Sergey Yu. Misyurin Vigen Arakelian Arutyun I. Avetisyan
来源: 评论
Software Technology: Methods and Tools  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Manuel Mazzara Bertrand Meyer Jean-Michel Bruel Alexander Petrenko
​This book constitutes the refereed proceedings of the 51st International Conference on Software Technology: Methods and Tools, TOOLS 2019, held in Innopolis, Russia, in October 2019.;The 19 revised full papers and 13... 详细信息
来源: 评论
Automated Analog programming In Hybrid systems: A Method of Making the Analog Computer Accessible to All Engineers
收藏 引用
Naval Engineers Journal 1966年 第5期78卷 895-899页
作者: HANNA, ENSIGN JOHN H. MILLAN, ENSIGN HAROLD E. The Authors are 1966 graduates of the United States Coast Guard Academy. For the past year they have been engaged in the Academy Scholars Program which allows selected First Class Cadets at the Academy to devote the greater percentage of their academic hours to advanced study. Their investigation was entitled “Project AMTRAP” Automated Methods for Translating and Patching in Hybrid Systems. It concerned itself with the development of automatic methods for programming analog computers and the design and construction of a simple hybrid system for test purposes. Their work in the project forms the basis for this paper. They are currently assigned as student engineers on Coast Guard Cutters Ensign Hanna on the CASTLE ROCK in Boston Massachusetts and Ensign Millan on the MENDOTA based in Wilmington North Carolina. Both are members of the Institute of Electrical and Electronics Engineers.
来源: 评论