咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是71-80 订阅
排序:
DESIGN AND IMPLEMENTATION OF A TASK SUPERVISOR FOR MICROcomputerS.
Technical Report - Cement and Concrete Association
收藏 引用
Technical Report - Cement and Concrete Association 1979年 225-233页
作者: Werner, D.
An execution program is considered that supervises the cooperating tasks between independently running microcomputers. The supervisor consists of three main parts: the management of tasks, communication, and storage.
来源: 评论
SORT-AID: A SEARCH POST-PROCESSING TOOL SET.
收藏 引用
Microcomputers for information management 1986年 第4期3卷 281-295页
作者: Leigh, William Paz, Noemi Vital, Dennis Huffman, G.David Univ of Southern Mississippi Hattiesburg MS USA Univ of Southern Mississippi Hattiesburg MS USA
This article reports on the design and use of a computer system to aid bibliographic database searchers in the post-search, analysis phase of their work. The major task addressed is the determination of relevance of d... 详细信息
来源: 评论
Rank 2 intersection type assignment in term rewriting systems
收藏 引用
Fundamenta Informaticae 1996年 第2期26卷 141-166页
作者: Van Bakel, Steffen Universita degli Studi di Torino Torino Italy
A notion of type assignment on Curryfied Term Rewriting systems is introduced that uses Intersection Types of Rank 2, and in which all function symbols are assumed to have a type. Type assignment will consist of speci... 详细信息
来源: 评论
PARTIAL CORRECTNESS OF COMMUNICATING SEQUENTIAL PROCESSES.
Proceedings of International Wire and Cable Symposium
收藏 引用
Proceedings of International Wire and Cable Symposium 1981年 1-12页
作者: Chen, Zhou Chao Hoare, C.A.R.
A programming notation is introduced to describe the behavior of groups of parallel processes, communicating with each other over a network of named channels. An assertion is a predicate with free channel names, each ... 详细信息
来源: 评论
Program plan matching: experiments with a constraint-based approach
收藏 引用
SCIENCE OF computer programming 2000年 第2-3期36卷 285-302页
作者: Quilici, A Woods, S Zhang, YJ Univ Hawaii Manoa Dept Elect Engn Honolulu HI 96822 USA Carnegie Mellon Univ Inst Software Engn Pittsburgh PA 15213 USA
The plan matching problem is to determine whether a program plan is present in a program. This problem has been shown to be NP-hard, which makes it an open question whether plan matching algorithms can be developed th... 详细信息
来源: 评论
DESCRIBING DATA IN computer NETWORKS
收藏 引用
IBM systems JOURNAL 1973年 第3期12卷 257-282页
作者: FREDERIC.DH IBM CORP THOMAS J WATSON RES CTRRES DIVYORKTOWN HEIGHTSNY 10598
Programmers are quite accustomed to describing data they use: where to find it, what devices are involved, the layout of the data, what to do with it after the job is complete, processing techniques employed, and ofte... 详细信息
来源: 评论
SPG - programming SYSTEM FOR COMMERCIAL TRANSACTION PROCESSING
收藏 引用
computer JOURNAL 1975年 第4期18卷 290-297页
作者: OSBORN, RA BAIN, WP LLOYD, T PERRING, PH BOEING COMP SERV LTD 31 CLARENDON RDWATFORDHERTFORDSHIREENGLAND
Software for controlling hardware dedicated to applications in commercial transaction processing is described. Application programs written initially in a mnemonic language are translated to tables. The system operate... 详细信息
来源: 评论
TOWARDS OPTIMAL PARALLEL BUCKET SORTING
收藏 引用
INFORMATION AND COMPUTATION 1987年 第1期75卷 39-51页
作者: HAGERUP, T FB Informatik Universität des Saarlandes D-6600 Saarbrücken West Germany
We present a simple deterministic parallel algorithm that runs on a CRCW PRAM and sorts n integers of size polynomial in n in time O(log n) using O(n log log nlog n) processors. It is closer to optimality than any pre... 详细信息
来源: 评论
REPRESENTATION OF PROGRAM STRUCTURES BY DECISION TABLES - CRITICAL-ASSESSMENT
收藏 引用
computer JOURNAL 1978年 第4期21卷 290-295页
作者: MAES, R Department of Applied Economics Katholieke Universiteit Leuven Dekenstraat 2 B-3000 Leuven Belgium
Recent publications suggest that use of decision tables in analysing conventional computer programs. In this paper, it is argued that the classical decision table format is not well suited to represent flow-chart-like... 详细信息
来源: 评论
Design issues on a popularity-independent video-on-demand server
收藏 引用
IEEE TRANSACTIONS ON CONSUMER ELECTRONICS 1999年 第2期45卷 455-464页
作者: Yim, K Shin, J Jung, GH Shim, J Choi, K Ajou Univ Sch EE Paldal Gu Suwon 442749 South Korea Ajou Univ Sch IE & CE Paldal Gu Suwon 442749 South Korea
In this paper, the design issues on a scaleable popularity independent video on demand (VOD) server which has been designed and implemented in Ajou University are discussed. The server with parallel architecture aims ... 详细信息
来源: 评论