咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是441-450 订阅
排序:
Affinity: A concurrent programming environment
Affinity: A concurrent programming environment
收藏 引用
Proceedings of the Scalable High-Performance Computing Conference
作者: Steele, Craig S. USC Information Sciences Inst Marina Del Rey United States
Affinity is a small and comprehensible programming model for concurrent computation. Affinity consistency and coherence properties provide a tractable discipline for the dangerous power of a concurrent, shared-memory ... 详细信息
来源: 评论
Visual programming-in-the-large versus visual programming-in-the-small
Visual programming-in-the-large versus visual programming-in...
收藏 引用
Proceedings of the IEEE Symposium on Visual Languages
作者: Gorlick, Michael Quilici, Alex Aerospace Corp Los Angeles United States
Visual programming research has largely focused on the issues of visual programming-in-the-small. However, entirely different concerns arise when one is programming-in-the-large. We present a visual software engineeri... 详细信息
来源: 评论
Visual programming: Limits of graphic representation
Visual programming: Limits of graphic representation
收藏 引用
Proceedings of the IEEE Symposium on Visual Languages
作者: Nickerson, Jeffrey V. New York Univ United States
The effectiveness of graphic representations of computer programs is analyzed. Existing software metrics are modified for use in analyzing diagrams, and two new metrics are proposed: graphic token count and diagram cl... 详细信息
来源: 评论
Distributed programming with associative broadcast
Distributed programming with associative broadcast
收藏 引用
The 27th Hawaii International Conference on System Sciences, HICSS-27
作者: Bayerdorffer, Bryan Univ of Texas at Austin Austin TX United States
We propose a new model for distributed programming, called Associative Broadcast, that achieves a high level of communication abstraction by using as its fundamental mode of communication a form of logical broadcast. ... 详细信息
来源: 评论
Parallel block row-action method for solving large sparse linear systems on distributed memory multiprocessors
收藏 引用
Concurrency Practice and Experience 1994年 第1期6卷 69-84页
作者: D'Apuzzo, Marco De Rosa, Maria Assunta Universita degli Studi di Napoli `Federico II' Naples Italy
Recently developed block-iterative versions of some row-action algorithms for solving general systems of sparse linear equations allow parallelism in the computations when the underlying problem is appropriately decom... 详细信息
来源: 评论
THE USE OF PETRI NETS FOR OCCAM programming FOR TRANSPUTERS
收藏 引用
ADVANCES IN ENGINEERING SOFTWARE 1993年 第3期17卷 155-163页
作者: LAU, MWS SEET, G NANYANG TECHNOL UNIV SCH MECH & PROD ENGNSINGAPORE 2263SINGAPORE
There is undoubtedly a need for software-design tools for parallel programming, A main problem with design tools for parallel programming is their inability to check for liveness (no deadlock) and safeness. In this pa... 详细信息
来源: 评论
TRANSLATOR-BASED MULTIPARADIGM programming
收藏 引用
JOURNAL OF systems AND SOFTWARE 1993年 第1期23卷 39-49页
作者: HORSPOOL, RN LEVY, MR UNIV VICTORIA DEPT COMP SCIVICTORIA V8W 2Y2BCCANADA
Better programming productivity may be obtained by choosing suitable programming paradigms. For development of complex software systems, multiparadigm programming would usually be appropriate. However, its use may be ... 详细信息
来源: 评论
FORMAL SPECIFICATION METHODS FOR REACTIVE systems
收藏 引用
JOURNAL OF systems AND SOFTWARE 1993年 第2期21卷 129-139页
作者: FURBACH, U UNIV KOBLENZ LANDAU INST INFORMATW-5400 KOBLENZGERMANY
A tutorial-like overview on formal methods for the specification of reactive systems is given. State transition systems such as ATNs, statecharts, and SDL are discussed. Petri nets and logic-based languages are introd... 详细信息
来源: 评论
Dependent-Chance Goal programming and an Application
收藏 引用
Journal of systems Engineering and Electronics 1993年 第2期4卷 40-47页
作者: Baoding, Liu Jifa, Gu Academia Sinica Beijing China
This paper presents a dependent-chance goal programming (DCGP) and gives a successive factoring method to solve DCGP. We also discuss the application of DCGP in Qinhuangdao region for water supply and allocation.
来源: 评论
I worked with Murphy
收藏 引用
computers and Security 1993年 第7期12卷 627-628页
作者: Heinlein, Edwin B. 99 Janes Street Mill Valley California 94941 USA
The author says that we all know Murphy's law and have wondered if there really is a Murphy. There was a Murphy and the author was fortunate to work with him between 1959 and 1960. He was the leader of a small tea... 详细信息
来源: 评论