咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 2,043 篇 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,343 篇 英文
  • 634 篇 其他
  • 41 篇 德文
  • 10 篇 法文
  • 7 篇 俄文
  • 3 篇 匈牙利文
  • 2 篇 日文
  • 1 篇 丹麦文
  • 1 篇 波兰文
  • 1 篇 中文
检索条件"主题词=COMPUTER SYSTEMS PROGRAMMING"
2043 条 记 录,以下是501-510 订阅
排序:
PIPELINING COMPUTATIONS IN A TREE OF PROCESSORS
收藏 引用
30TH ANNUAL SYMP ON FOUNDATIONS OF computer SCIENCE
作者: KOSARAJU, SR Johns Hopkins Univ Dep of Comput Sci Baltimore MD USA
The computational power of a tree of processors is investigated. It is demonstrated that a tree of processors can solve certain problems impressively fast by exploiting the internal pipelining capabilities. Efficient ... 详细信息
来源: 评论
RMS: A RELIABILITY MODELING SYSTEM FOR SELF-REPAIRING computerS.
收藏 引用
1973年 131-135页
作者: Rennels, David A. Avizienis, Algirdas
This article examines implications of coverage on the performance measurements of self-repairing computers. An extension is made to the Mathur Reliability Model which results in an alternative formulation of coverage.... 详细信息
来源: 评论
LAST-COME-FIRST-SERVED PREEMPTIVE-RESUME SCHEDULING AS A CENTRAL PROCESSOR SCHEDULING DISCIPLINE.
收藏 引用
1974年 49-51页
作者: Wilhelm, Neil C.
The possibility of using last-come-first-served preemptive-resume scheduling as a means of increasing computer system throughput is explored. The distribution and moments of the waiting time are derived and compared w... 详细信息
来源: 评论
COMPARISON OF MODULA WITH OTHER SYSTEM programming LANGUAGES.
收藏 引用
1977年 129-133页
作者: Hoppe, Jiri
A comparison is made between Modula and some other programming languages. Especially considered are concepts for modularity, synchronizing, representation of parallel activitites and I/O handling.
来源: 评论
STRUCTURE OF DIGITAL SYSTEM DESCRIPTION LANGUAGES.
收藏 引用
1973年 31-34页
作者: Jordan, Harry F. Smith, Burton J.
Several languages have been developed for or applied to the problem of describing digital hardware systems. This paper points out some of the problems encountered in hardware descriptions, particularly where they are ... 详细信息
来源: 评论
Security for multithreaded programs under cooperative scheduling
收藏 引用
6th International Andrei Ershov Memorial Conference on Perspectives of systems Informatics
作者: Russo, Alejandro Sabelfeld, Andrei Chalmers Univ Technol Dept Comp Sci & Engn S-41296 Gothenburg Sweden
Information flow exhibited by multithreaded programs is subtle because the attacker may exploit scheduler properties when deducing secret information from publicly observable outputs. Volpano and Smith have introduced... 详细信息
来源: 评论
SORTING ON A PARALLEL POINTER MACHINE WITH APPLICATIONS TO SET EXPRESSION EVALUATION
收藏 引用
30TH ANNUAL SYMP ON FOUNDATIONS OF computer SCIENCE
作者: GOODRICH, MT KOSARAJU, SR Johns Hopkins Univ Dep of Comput Sci Baltimore MD USA
Optimal algorithms for sorting on parallel CREW (concurrent read, exclusive write) and EREW (exclusive read, exclusive write) versions of the pointer machine model are presented. Intuitively, these methods can be view... 详细信息
来源: 评论
AECM: an aspect enabled component model
AECM: an aspect enabled component model
收藏 引用
12th Asia-Pacific Software Engineering Conference
作者: Jalili, S Abadl, SMKO Tarbiat Modares Univ Dept Comp Engn Tehran Iran
In this paper, we propose a new component model called AECM that combines CBSD and AOSD and proposes a component definition language and an assembly definition language to improve reusability of components and aspects... 详细信息
来源: 评论
A system to mark programs automatically
A system to mark programs automatically
收藏 引用
5th International Conference on Quality Software (QSIC 2005)
作者: Ngo-Pham, K Bigham, J Rodaway, J Tokarchuk, L Queen Mary Univ London Dept Elect Engn London England
This paper describes a system to automatically mark student programs. It is a real time examination system that provides an environment for the compilation and execution of software and then marks it according to crit... 详细信息
来源: 评论
Program generation and components
Program generation and components
收藏 引用
3rd International Symposium on Formal Methods for Components and Objects
作者: Ancona, D Moggi, E Univ Genoa DISI I-16146 Genoa Italy
The first part of the paper gives a brief overview of meta-programming, in particular program generation, and its use in software development. The second part introduces a basic calculus, related to FreshML, that supp... 详细信息
来源: 评论