咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是331-340 订阅
排序:
Architecture for reusable libraries
Architecture for reusable libraries
收藏 引用
Proceedings of the 1998 5th International Conference on Software Reuse
作者: Vo, Kiem-Phong AT&T Lab - Research Florham Parks United States
Over the past few years, my colleagues and I have written and distributed a number of general purpose libraries covering a wide range of computing areas such as I/O, memory allocation, container data types, and sortin... 详细信息
来源: 评论
Data-flow oriented co-design for reconfigurable systems
Data-flow oriented co-design for reconfigurable systems
收藏 引用
Proceedings of the 1998 9th IEEE International Workshop on Rapid System Prototyping
作者: David, Jean-Pierre Legat, Jean-Didier Universite Catholique de Louvain Louvain-La-Neuve Belgium
Multi-FPGA systems are mainly composed of programmable logic devices and external memory. Up-to-date FPGAs also contain embedded static RAMs, which have shorter access time than the external SRAMs. This paper presents... 详细信息
来源: 评论
Secure information flow in a multi-threaded imperative language  98
Secure information flow in a multi-threaded imperative langu...
收藏 引用
The 1998 25th ACM SIGPLAN SIGACT Symposium on Principles of programming Languages, POPL'98
作者: Smith, Geoffrey Volpano, Dennis Florida Int Univ Miami FL United States
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either high or low security;intuitively, we wish t... 详细信息
来源: 评论
Single and loving it: Must-alias analysis for higher-order languages
Single and loving it: Must-alias analysis for higher-order l...
收藏 引用
The 1998 25th ACM SIGPLAN SIGACT Symposium on Principles of programming Languages, POPL'98
作者: Jagannathan, Suresh Thiemann, Peter Weeks, Stephen Wright, Andrew NEC Research Inst Princeton NJ United States
In standard control-flow analyses for higher-order languages, a single abstract binding for a variable represents a set of exact bindings, and a single abstract reference cell represents a set of exact reference cells... 详细信息
来源: 评论
Barrier inference  98
Barrier inference
收藏 引用
The 1998 25th ACM SIGPLAN SIGACT Symposium on Principles of programming Languages, POPL'98
作者: Aiken, Alexander Gay, David Univ of California Berkeley Berkeley CA United States
Many parallel programs are written in SPMD style, i.e. by running the same sequential program on all processes. SPMD programs include synchronization, but it is easy to write incorrect synchronization patterns. We pro... 详细信息
来源: 评论
Memory management with explicit regions
Memory management with explicit regions
收藏 引用
Proceedings of the 1998 Annual ACM SIGPLAN Conference on programming Language Design and Implementation, PLDI
作者: Gay, David Aiken, Alex Univ of California Berkeley United States
Much research has been devoted to studies of and algorithms for memory management based on garbage collection or explicit allocation and deallocation. An alternative approach, region-based memory management, has been ... 详细信息
来源: 评论
Security properties of typed applets  98
Security properties of typed applets
收藏 引用
The 1998 25th ACM SIGPLAN SIGACT Symposium on Principles of programming Languages, POPL'98
作者: Leroy, Xavier Rouaix, Francois INRIA Rocquencourt Le Chesnay France
This paper formalizes the folklore result that strongly-typed applets are more secure than untyped ones. We formulate and prove several security properties that all well-typed applets possess, and identify sufficient ... 详细信息
来源: 评论
Improving performance by branch reordering  98
Improving performance by branch reordering
收藏 引用
Proceedings of the 1998 Annual ACM SIGPLAN Conference on programming Language Design and Implementation, PLDI
作者: Yang, Minghui Uh, Gang-Ryung Whalley, David B. Florida State Univ Tallahassee FL United States
The conditional branch has long been considered an expensive operation. The relative cost of conditional branches has increased as recently designed machines are now relying on deeper pipelines and higher multiple iss... 详细信息
来源: 评论
Parallelization in calculational forms  98
Parallelization in calculational forms
收藏 引用
The 1998 25th ACM SIGPLAN SIGACT Symposium on Principles of programming Languages, POPL'98
作者: Hu, Zhenjiang Takeichi, Masato Chin, Wei-Ngan Univ of Tokyo Japan
The problems involved in developing efficient parallel programs have proved harder than those in developing efficient sequential ones, both for programmers and for compilers. Although program calculation has been foun... 详细信息
来源: 评论
Complete removal of redundant expressions  98
Complete removal of redundant expressions
收藏 引用
Proceedings of the 1998 Annual ACM SIGPLAN Conference on programming Language Design and Implementation, PLDI
作者: Bodik, Rastislav Gupta, Rajiv Soffa, Mary Lou Univ of Pittsburgh Pittsburgh PA United States
Partial redundancy elimination (PRE), the most important component of global optimizers, generalizes the removal of common subexpressions and loop-invariant computations. Achieving a complete PRE while incurring an ac... 详细信息
来源: 评论