咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是511-520 订阅
排序:
DETERMINISTIC SORTING IN NEARLY LOGARITHMIC TIME ON THE HYPERCUBE AND RELATED computerS  90
DETERMINISTIC SORTING IN NEARLY LOGARITHMIC TIME ON THE HYPE...
收藏 引用
22ND ANNUAL SYMP OF THE ASSOC OF COMPUTING MACHINERY : THEORY OF COMPUTING
作者: CYPHER, R PLAXTON, CG IBM Almaden Research Center 650 Harry Rd. San Jose CA MIT Lab for Computer Science 545 Technology Square Cambridge MA
This paper presents a determinstic sorting algorithm, called Sharesort, that sorts n records on an n processor hypercube, shuffle-exchange or cube-connected cycles in O(log n(log log n)2) time in the worst case. The a... 详细信息
来源: 评论
From extreme programming to extreme non-programming: Is it the right time for model transformation technologies?
From extreme programming to extreme non-programming: Is it t...
收藏 引用
17th International Conference on Database and Expert systems Applications
作者: Pastor, Oscar Valencia Univ Technol Dept Informat Syst & Computat Valencia 46071 Spain
Object-Oriented Methods, Formal Specification Languages, Component-Based Software Production... This is just a very short list of technologies proposed to solve a very old and, at the same time, very well-known proble... 详细信息
来源: 评论
Planning and scheduling to minimize tardiness
收藏 引用
11th International Conference on Principles and Practice of Constraint programming (CP 2005)
作者: Hooker, JN Carnegie Mellon Univ Pittsburgh PA 15213 USA
We combine mixed integer linear programming (MILP) and constraint programming (CP) to minimize tardiness in planning and scheduling. Tasks are allocated to facilities using MILP and scheduled using CP, and the two are... 详细信息
来源: 评论
THE HARMONIUM AND DECISION-PROBLEMS
THE HARMONIUM AND DECISION-PROBLEMS
收藏 引用
INTERNATIONAL JOINT CONF ON NEURAL NETWORKS ( IJCNM-90 )
作者: KHURI, S BATAREKH, A Dept of Biomed Eng Johns Hopkins Sch of Med Baltimore MD USA
Decision tables are modeled by a harmonium in a manner similar to P. Smolensky's implementation of the two-resistor circuit problem on a harmonium (1984). The lower units consist of the condition combinations, whi... 详细信息
来源: 评论
ONLINE DOCUMENTATION AND OTHER INTERFACES FOR CD-ROM
ONLINE DOCUMENTATION AND OTHER INTERFACES FOR CD-ROM
收藏 引用
IPCC 91 - THE ENGINEERED COMMUNICATION : DESIGNS FOR CONTINUED IMPROVEMENT
作者: FEINBERG, S Illinois Inst of Technol Chicago IL USA
In January 1991 the National Center for Health Statistics (NCHS) distributed their first CD-ROM. On this CD-ROM, the NCHS released 1987 data from the National Health Interview Survey (NHIS). Before the final version o... 详细信息
来源: 评论
Lightweight detection of program refactorings
Lightweight detection of program refactorings
收藏 引用
12th Asia-Pacific Software Engineering Conference
作者: Atkinson, DC King, T Santa Clara Univ Dept Comp Engn Santa Clara CA 95053 USA
Poorly structured code is hard to maintain and read Program refactoring can improve code structure and thus make it easier to preserve and to discern the underlying design. However, refactoring is a difficult and time... 详细信息
来源: 评论
Causal atomicity
Causal atomicity
收藏 引用
18th International Conference on computer Aided Verification
作者: Farzan, Azadeh Madhusudan, P. Univ Illinois Dept Comp Sci Urbana IL 61801 USA
Atomicity is an important generic specification that assures that a programmer can pretend blocks occur sequentially in any execution. We define a notion of atomicity based on causality. We model the control flow of a... 详细信息
来源: 评论
Organisational culture and XP: three case studies
Organisational culture and XP: three case studies
收藏 引用
Agile United 2005 Conference
作者: Robinson, H Sharp, H Open Univ Ctr Empir Studies & Software Dev Milton Keynes MK7 6AA Bucks England
We explore the nature of the interaction between organisational culture and XP practice via three empirically-based case studies. The case studies cover a spectrum of organisational cultures. Our findings suggest that... 详细信息
来源: 评论
Processor models for retargetable tools
Processor models for retargetable tools
收藏 引用
11th IEEE International Workshop on Rapid System Prototyping (RSP 2000)
作者: Moona, R Indian Inst Technol Dept Comp Sci & Engn Kanpur 208016 Uttar Pradesh India
This paper describes a methodology for developing processor specific tools such as assemblers, disassemblers, processor simulators, compilers etc., using processor models in a generic way. The processor models are wri... 详细信息
来源: 评论
MEASURING DATA LOCALITY IN INTERNAL SORTING ALGORITHMS  90
收藏 引用
18TH ANNUAL CONF OF THE ASSOC FOR COMPUTING MACHINERY ON computer SCIENCE : COOPERATION ( CSC 90 )
作者: BERGMANN, S Glassboro State College
A method for measuring data locality in four common sorting algorithms is investigated. A modification of the heap data structure exhibiting improved locality is also introduced.
来源: 评论