咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是181-190 订阅
排序:
SORTS ILLUSTRATED
MICROCOMPUTING
收藏 引用
MICROCOMPUTING 1983年 第11期7卷 85-&页
作者: LUTZ, D
When writing a Basic program that involves sorting of names or numbers, selection of the sorting method can be important to program speed. It is shown how sorting methods work, so informed selections of when and why o... 详细信息
来源: 评论
OPTIMAL PARTITIONING OF A FINITE BUFFER BETWEEN TWO PAIRS OF PRODUCER-CONSUMER.
收藏 引用
1977年 305-313页
作者: Latouche, Guy
Consideration of two pairs of producer-consumer sharing a finite buffer. In order not to let any pair block the other, the buffer is partitioned. Each time a message enters the buffer, the system gets a reward. Under ... 详细信息
来源: 评论
Study on Method of Comprehensive Evaluating for Information System Projects
收藏 引用
Journal of systems Engineering and Electronics 2000年 第2期11卷 17-24页
作者: Xu, Weixiang Zhang, Quanshou Northern Jiaotong Univ Beijing China
In this paper, a new method of evaluation for information system project is proposed on the basis of the meta-synthesis methodology from qualitative analysis to quantitative analysis. DHGF is an integrated method of i... 详细信息
来源: 评论
AUTOMATIC AUTOPROJECTION OF RECURSIVE EQUATIONS WITH GLOBAL VARIABLES AND ABSTRACT-DATA-TYPES
收藏 引用
SCIENCE OF computer programming 1991年 第2期16卷 151-195页
作者: BONDORF, A DANVY, O UNIV DORTMUND LEHRSTUL INFORMAT 5 W-4600 DORTMUND 50 GERMANY UNIV COPENHAGEN DEPT COMP SCI DIKU DK-2100 COPENHAGEN DENMARK KANSAS STATE UNIV AGR & APPL SCI DEPT COMP & INFORMAT SCI MANHATTAN KS 66506 USA
Self-applicable partial evaluation has been implemented for half a decade now, but many problems remain open. This paper addresses and solves the problems of automating call unfolding, having an open-ended set of oper... 详细信息
来源: 评论
ALLOCATION ALGORITHMS FOR DYNAMICALLY MICROPROGRAMMABLE MULTIPROCESSOR systems
收藏 引用
computer JOURNAL 1979年 第2期22卷 155-163页
作者: NESSETT, DM RECHARD, OW UNIV DENVER DEPT MATHDENVERCO 80208
Due to advances in integrated circuit technology, multiprocessor systems with more than two Central Processing Units are becoming economically feasible. For this reason, the study of such systems with the aim of devel... 详细信息
来源: 评论
MANAGING AND USING MIXED COMPUTATIONS FOR THE SYSTEMATIC CONSTRUCTION OF LANGUAGE-ORIENTED PARSERS
收藏 引用
programming AND computer SOFTWARE 1987年 第2期13卷 66-74页
作者: OSTROVSKII, BN
An approach to efficiently customizing programs is developed here. A Pascal-like language has been developed for which the transformational semantics of ordinary and mixed computations have been constructed. The attai... 详细信息
来源: 评论
A THEORY OF COMPACTION-BASED PARALLELIZATION
收藏 引用
THEORETICAL computer SCIENCE 1990年 第2期73卷 121-154页
作者: AIKEN, A IBM Almaden Research Center 650 Harry Road San Jose CA 95120 USA
We present a simple and uniform transformational system for extracting parallelism from programs. The transformations are studied as a formal system. We define a measure of program improvement, and show that the trans... 详细信息
来源: 评论
COMPUTATION OF LOWER BOUNDS FOR MULTIPROCESSOR SCHEDULES
收藏 引用
IBM JOURNAL OF RESEARCH AND DEVELOPMENT 1975年 第5期19卷 435-444页
作者: FERNANDEZ, EB LANG, T UNIV CALIF COMP SCI DEPTLOS ANGELESCA 90024 IBM CORP SCI CTRDATA PROC DIV1930 CENTURY PK WLOS ANGELESCA 90067
A multiprocessing system composed of identical units is considered. This system is executing a set of partially ordered tasks, with known execution times, using a non-preemptive scheduling strategy. Lower bounds on th... 详细信息
来源: 评论
Breadth-first traversal of trees and integer sorting in parallel
收藏 引用
Information Processing Letters 1992年 第1期41卷 39-49页
作者: Chen, Calvin C.-Y. Das, Sajal K. Univ of North Texas Denton United States
We present a cost-optimal parallel algorithm for traversing a general tree in breadth-first fashion. For a tree with n nodes, this algorithm requires O(n/p + log n) time employing p processors on the EREW PRAM model. ... 详细信息
来源: 评论
SPECIFICATION AND PROOF OF CONSISTENCY FOR VERIFICATION CONDITION GENERATORS.
AIAA Paper
收藏 引用
AIAA Paper 1979年 212-221页
作者: Elspas, Bernard
This paper describes a novel application of algebraic specification techniques and a combination of human and mechanical theorem proving to prove 'correctness' for a simple verification condition generator (VC... 详细信息
来源: 评论