咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是481-490 订阅
排序:
STRUCTURED programming.
收藏 引用
1974年 37-39页
作者: Garren, Scott
This tutorial presents an overview of structured design and structured programming techniques. Methods of program design and construction are discussed. Some data on structured programming experiments are presented. I... 详细信息
来源: 评论
OPTIMAL SCHEDULING RULES FOR A SINGLE PROCESSOR.
收藏 引用
1974年 31-32页
作者: Schrage, Linus
New results are presented for the optimal scheduling of a single processor when randomness is present. The objective is to minimize the expected waiting costs of jobs per unit time. The various factors considered are ... 详细信息
来源: 评论
PURPOSE OF CONCURRENT PASCAL.
收藏 引用
1975年 305-309页
作者: Hansen, Per Brinch
This is the first of three papers that describe a new programming language for structured programming of computer operating systems. It extends the sequential programming language Pascal with concurrent programming to... 详细信息
来源: 评论
MULTIPURPOSE BATCH STATION (MBS) SYSTEM - SOFTWARE DESIGN.
AFIPS Conference Proceedings
收藏 引用
AFIPS Conference Proceedings 1974年 4卷 447-451页
作者: Hergenhan, Clemens B. Rochkind, Mark M.
The Multipurpose Batch Station represents a reduction to practice of a minicomputer system which offers very high performance at very low cost. This acticle demonstrates that well designed software can compensate more... 详细信息
来源: 评论
DESIGNING MODULAR SOFTWARE FOR MICROPROCESSOR systems WITH SPECIAL EMPHASIS ON FIELD EXPANSION AND ADAPTATION USING TABLE-DRIVEN programming.
收藏 引用
1976年 89-93页
作者: Schmidhauser, Rolf
Design criteria and methods are presented which simplify the production and modification of software in microprocessor systems. Different strategies are demonstrated on a small real-time system used for recording and ... 详细信息
来源: 评论
DOUBLE PAGING ANOMALY.
AFIPS Conference Proceedings
收藏 引用
AFIPS Conference Proceedings 1974年 4卷 195-199页
作者: Goldberg, Robert P. Hassinger, Robert
This article investigates the dynamics of double-paging, i. e. , running a paged operating system, e. g. , IBM's OS/VS2, under a paged virtual machine monitor, e. g. , VM/370. In particular, it is shown that an in... 详细信息
来源: 评论
ON THE REAL-TIME SUPERVISORY OPERATING SYSTEM OF THE FUTURE.
收藏 引用
1976年 105-109页
作者: Bristol, E.H.
A scheduling algorithm which works with simplified models of all processes and some view of program value to allocate resources to get the best expected usage of the system is suggested. The paper proposes a number of... 详细信息
来源: 评论
MIX-DEPENDENT JOB SCHEDULING - AN APPLICATION OF HYBRID SIMULATION.
AFIPS Conference Proceedings
收藏 引用
AFIPS Conference Proceedings 1979年 48卷 45-49页
作者: Tolopka, Steve Schwetman, Herb
In a computer system, scheduling occurs whenever the next-task-to-receive-service is selected from a queue of waiting tasks. This paper considers the scheduling of jobs which will become active; that is, which will be... 详细信息
来源: 评论
A theory of predicate-complete test coverage and generation
A theory of predicate-complete test coverage and generation
收藏 引用
3rd International Symposium on Formal Methods for Components and Objects
作者: Ball, T Microsoft Res Redmond WA USA
Consider a program with m statements and n predicates, where the predicates are derived from the conditional statements and assertions in a program. An observable state is an evaluation of the n predicates under some ... 详细信息
来源: 评论
Robust quantum algorithms with ε-biased oracles
收藏 引用
12th Annual International Computing and Combinatorics Conference
作者: Suzuki, Tomoya Yamashita, Shigeru Nakanishi, Masaki Watanabe, Katsumasa Nara Inst Sci & Technol Grad Sch Informat Sci Nara 63001 Japan
This paper considers the quantum query complexity of epsilon-biased oracles that return the correct value with probability only 1/2+epsilon. In particular, we show a quantum algorithm to compute N-bit OR functions wit... 详细信息
来源: 评论