咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是11-20 订阅
ALGORITHMS FOR FILE REPLICATION IN A DISTRIBUTED SYSTEM
收藏 引用
JOURNAL OF systems AND SOFTWARE 1991年 第3期14卷 173-181页
作者: HAC, A JIN, XW SOO, JH AT&T BELL LABS NAPERVILLEIL 60566 JOHNS HOPKINS UNIV DEPT COMP SCIBALTIMOREMD 21218 ADVANSOFT RES CORP SANTA CLARACA
This paper describes an implementation and performance evaluation of file replication in a locally distributed system. Different mechanisms are used to update the copies of a replicated file. The algorithms use both s... 详细信息
来源: 评论
Finite subtype inference with explicit polymorphism
收藏 引用
SCIENCE OF computer programming 2001年 第1期39卷 57-92页
作者: Duggan, D Stevens Inst Technol Dept Comp Sci Hoboken NJ 07030 USA
Finite subtype inference occupies a middle ground between Hindley-Milner-type inference (as in ML) and subtype inference with recursively constrained types. It refers to subtype inference where only finite types are a... 详细信息
来源: 评论
computer SOFTWARE AND SYSTEM programming - POLYP programming SYSTEM.
Programming and Computer Software (English Translation of Pr...
收藏 引用
programming and computer Software (English Translation of Programmirovanie) 1979年 第1期5卷 33-42页
作者: Musstopf, G.
The article presents the principal features of the POLYP (Problem-Oriented Language for sYstem software programming) system intended for mathematical system software programming and, in particular, for operating syste... 详细信息
来源: 评论
Performance and environment monitoring for continuous program optimization
收藏 引用
IBM JOURNAL OF RESEARCH AND DEVELOPMENT 2006年 第2-3期50卷 239-248页
作者: Casçaval, C Duesterwald, E Sweeney, PF Wisniewski, RW IBM Corp Div Res Thomas J Watson Res Ctr Yorktown Hts NY 10598 USA
Our research is aimed at characterizing, understanding, and exploiting the interactions between hardware and software to improve system performance. We have developed a paradigm for continuous program optimization (CP... 详细信息
来源: 评论
ARRAY MANAGEMENT-SYSTEM (AMS)
收藏 引用
computerS & STRUCTURES 1989年 第6期33卷 1507-1527页
作者: YANG, TS CHANG, YB CHUNG SHAN INST SCI & TECHNOL AERONAUT RES LABTAICHUNG 867613TAIWAN
The Array Management System (AMS) is an integrated set of array management tools designed to increase the productivity of technical programmers engaged in intensive matrix computational applications. These include ana... 详细信息
来源: 评论
AREA COMPLEXITY OF MERGING
收藏 引用
THEORETICAL computer SCIENCE 1991年 第1期82卷 157-163页
作者: PALKO, V SYKORA, O VRTO, I Institute of Technical Cybernetics Slovak Academy of Sciences Dúbravská cesta 9 842 37 Bratislava Czechoslovakia
The authors derive optimal lower bounds for this problem with the following area complexity: A = Θ(m(log n - log m + 1)) for k ≥ log n A = Θ(min{2k, m}(|k - log m| + 1)) for k &le log n provided that m &le ... 详细信息
来源: 评论
MAJORITY VERDICTS IN MULTI-PROCESSING - ANY 2 FROM 3
收藏 引用
computer JOURNAL 1977年 第3期20卷 207-212页
作者: WATERS, SJ LONDON SCH ECONOM LONDON WC2A 2AEENGLAND
This paper discusses a software control procedure which is often needed in systems that must be highly accurate. Three central processing units (CPU's), with common memory, simultaneously calculate a critical resu... 详细信息
来源: 评论
ON PARTITIONS AND PRESORTEDNESS OF SEQUENCES
收藏 引用
ACTA INFORMATICA 1992年 第3期29卷 267-280页
作者: CARLSSON, S CHEN, JS UNIV LUND DEPT COMP SCIS-22100 LUNDSWEDEN
To take advantage of existing order in a sequence when sorting, we evaluate the quantity of this information by the minimal size of decomposition of the input sequence, particularly the minimal size of chain and of mo... 详细信息
来源: 评论
ANALYSIS OF EXCEPTION DATA IN A STAGING HIERARCHY
收藏 引用
IBM JOURNAL OF RESEARCH AND DEVELOPMENT 1974年 第5期18卷 423-435页
作者: GAVER, DP LEWIS, PAW SHEDLER, GS USN POSTGRAD SCH MONTEREYCA 93940 IBM CORP RES LABMONTEREY & COTTLE RDSAN JOSECA 95193
This paper is an analysis of program address trace data in a demand-paged computer system with a three-level staging hierarchy. Our primary objective is to explore the data both graphically and numerically, using meth... 详细信息
来源: 评论
PRINCIPAL TYPE SCHEMES FOR FUNCTIONAL PROGRAMS WITH OVERLOADING AND SUBTYPING
收藏 引用
SCIENCE OF computer programming 1994年 第2-3期23卷 197-226页
作者: SMITH, GS CORNELL UNIV ITHACA NY USA
We show how the Hindley/Milner polymorphic type system can be extended to incorporate overloading and subtyping. Our approach is to attach constraints to quantified types in order to restrict the allowed instantiation... 详细信息
来源: 评论