咨询与建议

限定检索结果

文献类型

  • 1,192 篇 期刊文献
  • 845 篇 会议

馆藏范围

  • 2,037 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,806 篇 工学
    • 1,737 篇 计算机科学与技术...
    • 1,557 篇 软件工程
    • 81 篇 信息与通信工程
    • 75 篇 控制科学与工程
    • 71 篇 电子科学与技术(可...
    • 69 篇 电气工程
    • 36 篇 建筑学
    • 35 篇 材料科学与工程(可...
    • 35 篇 土木工程
    • 34 篇 机械工程
    • 20 篇 生物医学工程(可授...
    • 18 篇 测绘科学与技术
    • 18 篇 航空宇航科学与技...
    • 15 篇 生物工程
    • 14 篇 仪器科学与技术
    • 10 篇 光学工程
    • 9 篇 力学(可授工学、理...
    • 4 篇 安全科学与工程
  • 258 篇 理学
    • 211 篇 数学
    • 51 篇 统计学(可授理学、...
    • 27 篇 物理学
    • 15 篇 生物学
    • 14 篇 系统科学
    • 8 篇 化学
  • 171 篇 管理学
    • 128 篇 管理科学与工程(可...
    • 56 篇 图书情报与档案管...
    • 52 篇 工商管理
  • 25 篇 教育学
    • 17 篇 教育学
    • 10 篇 心理学(可授教育学...
  • 12 篇 军事学
  • 8 篇 经济学
    • 8 篇 应用经济学
  • 5 篇 医学
  • 2 篇 法学
  • 2 篇 文学

主题

  • 2,037 篇 computer systems...
  • 12 篇 response time (c...
  • 5 篇 mathematical mod...
  • 4 篇 computer archite...
  • 4 篇 data communicati...
  • 3 篇 matlab
  • 3 篇 software enginee...
  • 3 篇 computer operati...
  • 3 篇 control educatio...
  • 3 篇 parallel process...
  • 3 篇 client server co...
  • 2 篇 computer simulat...
  • 2 篇 data storage equ...
  • 2 篇 model predictive...
  • 2 篇 database systems
  • 2 篇 computer softwar...
  • 2 篇 sorting
  • 2 篇 algorithms
  • 2 篇 laboratory educa...
  • 2 篇 approximation th...

机构

  • 4 篇 ibm corp thomas ...
  • 3 篇 univ of californ...
  • 3 篇 columbia univ ny...
  • 3 篇 harvard univ cam...
  • 2 篇 univ of glasgow ...
  • 2 篇 univ of tokyo
  • 2 篇 weizmann inst of...
  • 2 篇 univ of rocheste...
  • 2 篇 ibm corp thomas ...
  • 2 篇 silicon graphics...
  • 2 篇 cornell univ ith...
  • 2 篇 brown univ provi...
  • 2 篇 department of co...
  • 2 篇 korea univ korea...
  • 2 篇 massachusetts in...
  • 2 篇 johns hopkins un...
  • 2 篇 new york univ ny...
  • 2 篇 stanford univ st...
  • 2 篇 univ edinburgh d...
  • 2 篇 lockheed palo al...

作者

  • 29 篇 anon
  • 9 篇 kim k.h.
  • 9 篇 ramamoorthy c.v.
  • 8 篇 boggs jr. j.k.
  • 7 篇 larson l.e.
  • 7 篇 edel t.r.
  • 6 篇 boggs j.k.
  • 5 篇 lynch nancy a.
  • 5 篇 carter w.c.
  • 5 篇 brannon t.l.
  • 5 篇 ferrari domenico
  • 5 篇 fischer michael ...
  • 4 篇 wileden jack c.
  • 4 篇 clarke edmund m.
  • 4 篇 laventhal mark s...
  • 4 篇 boebert w.e.
  • 4 篇 borodin allan
  • 4 篇 goldberg robert ...
  • 4 篇 jordan harry f.
  • 4 篇 meritt a.s.

语言

  • 1,339 篇 英文
  • 632 篇 其他
  • 41 篇 德文
  • 10 篇 法文
  • 7 篇 俄文
  • 3 篇 匈牙利文
  • 2 篇 日文
  • 1 篇 丹麦文
  • 1 篇 波兰文
  • 1 篇 中文
检索条件"主题词=Computer systems programming"
2037 条 记 录,以下是2001-2010 订阅
排序:
RESIDUE CHECKING OF CONNECTIVES AND, OR, EXCLUSIVE OR.
IBM Technical Disclosure Bulletin
收藏 引用
IBM Technical Disclosure Bulletin 1972年 第7期15卷 2163-2165页
作者: Levine, S.R.
来源: 评论
Definition, Representation and Simulation of Protocols in a Network Context.
Bulletin Scientifique de l'Association des Ingenieurs Electr...
收藏 引用
Bulletin Scientifique de l'Association des Ingenieurs Electriciens Sortis de l'Institut Electrotechnique Montefiore 1975年 第2期88卷 115-126页
作者: Danthine, Andre Bremer, Joseph
The hierarchical structure of protocols and the functions associated with them are first introduced. A representation model based on the theory of colloquy and on the interlocutor concept is described. It is shown tha... 详细信息
来源: 评论
Analyzing patterns of message passing
收藏 引用
SIGPLAN Notices (ACM Special Interest Group on programming Languages) 1989年 第4期24卷 191-193页
作者: Ball, Charles R. Leung, Theodore W. Waldspurger, Carl A. MIT United States
The analysis of concurrent programs is a field which is still in its infancy. This paper describes our work on the analysis of concurrent programs under the Actor model of computation. The Actor model of computation i... 详细信息
来源: 评论
Introduction to object-based reflective concurrent computation
收藏 引用
SIGPLAN Notices (ACM Special Interest Group on programming Languages) 1989年 第4期24卷 50-54页
作者: Yonezawa, Akinori Watanabe, Takuo Tokyo Inst of Technology Japan
In a computational system, reflection is the process of reasoning about and acting upon the computational system itself. Reasoning and acting involve accessing and changing part or the whole of the system. The whole m... 详细信息
来源: 评论
WRITE-READ CHAINING.
IBM Technical Disclosure Bulletin
收藏 引用
IBM Technical Disclosure Bulletin 1972年 第5期15卷 1560-1562页
作者: Melen, E.
Writing and reading are command chained, and the sme buffer is utilized for both input and output.
来源: 评论
INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, DIGEST OF PAPERS, NEWTON, MASS, JUN 19-21 1972.
收藏 引用
1972年
作者: Kennedy, P.J. Quinn, T.M. Sawin III, D.H. Maki, G.K. Groenig, S.R. Patterson, W.W. Metze, G.A. Siewiorek, D.P. McCluskey, E.J. Hecht, H. Bouricius, W.G. Carter, W.C. Hsieh, E.P. Jessep, D.C. Wadia, A.B.
Following is a continuation of the list of titles and authors. Recovery Strategies in the No. 2 Electronic Switching System. By P. J. Kennedy and T. M. Quinn. Design of Asynchronous Sequential Machines for Fault Detec... 详细信息
来源: 评论
DYNAMIC RETRIEVAL OF PAGE TABLES IN A TWO-LEVEL DYNAMIC ADDRESS TRANSLATION SYSTEM.
IBM Technical Disclosure Bulletin
收藏 引用
IBM Technical Disclosure Bulletin 1973年 第4期16卷 1198-1199页
作者: Kern, R.M. Meritt, A.S.
来源: 评论
COMPARISON OF VARIOUS METHODS FOR DETECTING AND UTILIZING PARALLELISM IN A SINGLE INSTRUCTION STREAM.
IEEE
收藏 引用
IEEE 1977年 67-76页
作者: Shapiro, Henry D.
By analyzing the data dependency graph of a program it is possible to determine the potential for program speedups by simultaneous execution of logically inddpendent operations. When concurrent execution of instructio... 详细信息
来源: 评论
ENSURING INPUT DATA INTEGRITY IN A HIGH-VOLUME ENVIRONMENT.
AFIPS Conference Proceedings
收藏 引用
AFIPS Conference Proceedings 1973年 4卷
作者: Stover, Robert F. Krishnaswamy, S.
This article presents the sources and types of error possible in a data entry system, the possible methods of detection and procedures for correction. A quantitative method of evaluating the cost of errors in determin... 详细信息
来源: 评论
ANALYSIS OF ASYNCHRONOUS MULTIPROCESSOR ALGORITHMS WITH APPLICATIONS TO SORTING.
IEEE
收藏 引用
IEEE 1977年 128-135页
作者: Robinson, John T.
Efficient algorithms for asynchronous multiprocessor systems must achieve a balance between low process communication and high adaptability to variations in process speed. Algorithms which employ problem decomposition... 详细信息
来源: 评论