咨询与建议

限定检索结果

文献类型

  • 1,195 篇 期刊文献
  • 844 篇 会议

馆藏范围

  • 2,039 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,807 篇 工学
    • 1,733 篇 计算机科学与技术...
    • 1,544 篇 软件工程
    • 81 篇 信息与通信工程
    • 75 篇 控制科学与工程
    • 73 篇 电气工程
    • 73 篇 电子科学与技术(可...
    • 35 篇 材料科学与工程(可...
    • 35 篇 建筑学
    • 34 篇 机械工程
    • 34 篇 土木工程
    • 20 篇 生物医学工程(可授...
    • 17 篇 测绘科学与技术
    • 17 篇 航空宇航科学与技...
    • 15 篇 生物工程
    • 14 篇 仪器科学与技术
    • 10 篇 光学工程
    • 9 篇 力学(可授工学、理...
    • 4 篇 安全科学与工程
  • 257 篇 理学
    • 210 篇 数学
    • 51 篇 统计学(可授理学、...
    • 27 篇 物理学
    • 15 篇 生物学
    • 14 篇 系统科学
    • 8 篇 化学
  • 171 篇 管理学
    • 128 篇 管理科学与工程(可...
    • 56 篇 图书情报与档案管...
    • 52 篇 工商管理
  • 25 篇 教育学
    • 17 篇 教育学
    • 10 篇 心理学(可授教育学...
  • 12 篇 军事学
  • 8 篇 经济学
    • 8 篇 应用经济学
  • 6 篇 医学
  • 2 篇 法学
  • 2 篇 文学

主题

  • 2,039 篇 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...
  • 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 篇 univ edinburgh d...
  • 2 篇 lockheed palo al...
  • 2 篇 microsoft res re...
  • 2 篇 univ york dept c...

作者

  • 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,335 篇 英文
  • 646 篇 其他
  • 34 篇 德文
  • 10 篇 法文
  • 7 篇 俄文
  • 3 篇 匈牙利文
  • 2 篇 日文
  • 1 篇 波兰文
  • 1 篇 中文
检索条件"主题词=Computer systems programming"
2039 条 记 录,以下是151-160 订阅
排序:
Detecting source-code plagiarism
收藏 引用
DR DOBBS JOURNAL 2004年 第7期29卷 57-60页
作者: Zeidman, B Zeidman Consulting United States
Experts in intellectual property litigation have used the commercial version of Code-Match to search for plagiarized source code. CodeMatch makes use of knowledge of programming languages and program structures. The d... 详细信息
来源: 评论
Mac OS X tips and tricks in a lab environment  04
Mac OS X tips and tricks in a lab environment
收藏 引用
32nd Annual ACM SIGUCCS Fall 2004 Conference
作者: Lowe, John D. Baylor University One Bear Place #97148 Waco TX 76712 United States
As technology has progressed, the use of Macintosh computers in campus computing labs has changed from independent workstations with no network access to fully networked members of the local domain. However, integrati... 详细信息
来源: 评论
Program task scheduling in multiprocessor computer systems using the mechanism of resource Petri nets
收藏 引用
JOURNAL OF computer AND systems SCIENCES INTERNATIONAL 2003年 第4期42卷 593-604页
作者: Lobkov, SN Fatkhi, VA Rostov Mil Higher Engn Sch Missile Corps Rostov Na Donu 344027 Russia
We present a mechanism of modified Petri nets, the resource Petri nets, which are the basis of the control algorithm for the operating system of multiprocessor servers. This mechanism allows us to efficiently perform ... 详细信息
来源: 评论
State-based components made generic
State-based components made generic
收藏 引用
CMCS'03, Coalgebraic Methods in computer Science Satellite Event for ETAPS 2003)
作者: Barbosa, L.S. Oliveira, J.N. Departamento de Informática Universidade Do Minho Braga Portugal
Genericity is a topic which is not sufficiently developed in state-based systems modelling, mainly due to a myriad of approaches and behaviour models which lack unification. This paper adopts coalgebra theory to propo... 详细信息
来源: 评论
Towards intuitive interaction for end-user programming
Towards intuitive interaction for end-user programming
收藏 引用
2003 International Conference on Intelligent User Interfaces
作者: Schwarzkopf, Eric Bauer, Mathias Dengler, Dietmar Stuhlsatzenhausweg 3 66123 Saarbrücken Germany
A Web Content Extraction System (WebCES) that tackles the problems of computer systems programming is presented. In order to overcome the shortcomings of a purely textural representation, WebCES represents documents a... 详细信息
来源: 评论
The geometry of timed PV programs
The geometry of timed PV programs
收藏 引用
GEometry and Topology in Concurrency and Distributed systems Theory (Satellite Workshop of DISC'02)
作者: Fahrenberg, Ulrich Dept. of Mathematical Sciences Aalborg University 9220 Aalborg East Denmark
We introduce a real-time extension of the PV language: A timed PV program consists of a number of timed automata which synchronize by locking and releasing common resources. We give a geometric semantics to such progr... 详细信息
来源: 评论
A coalgebraic approach to Kleene Algebra with tests
A coalgebraic approach to Kleene Algebra with tests
收藏 引用
CMCS'03, Coalgebraic Methods in computer Science Satellite Event for ETAPS 2003)
作者: Chen, Hubie Pucella, Riccardo Department of Computer Science Cornell University Ithaca NY 14853 United States
Kleene Algebra with Tests is an extension of Kleene Algebra, the algebra of regular expressions, which can be used to reason about programs. We develop a coalgebraic theory of Kleene Algebra with Tests, along the line... 详细信息
来源: 评论
Rewriting systems and hochschild-mitchell homology
Rewriting systems and hochschild-mitchell homology
收藏 引用
GEometry and Topology in Concurrency and Distributed systems Theory (Satellite Workshop of DISC'02)
作者: Malbos, Philippe Laboratoire Géométrie-Topologie-Algèbre UMR 5030 Université Montpellier II F-34095 Montpellier France
This paper forms part of a project focusing on the development of homological and simplicial methods in rewriting. The purpose of this contribution is to generalize Kobayashi's theorem for monoids to "monoids... 详细信息
来源: 评论
Pure patterns type systems
收藏 引用
ACM SIGPLAN NOTICES 2003年 第1期38卷 250-261页
作者: Barthe, G Cirstea, H Kirchner, C Liquori, L Inst Natl Rech Informat & Automat Lorraine LORIA F-54506 Vandoeuvre Les Nancy France
We introduce a new framework of algebraic pure type systems in which we consider rewrite rules as lambda terms with patterns and rewrite rule application as abstraction application with built-in matching facilities. T... 详细信息
来源: 评论
Exploiting high-level coherence information to optimize distributed shared state
收藏 引用
ACM SIGPLAN NOTICES 2003年 第10期38卷 131-142页
作者: Chen, DQ Tang, CQ Sanders, B Dwarkadas, S Scott, ML Univ Rochester Dept Comp Sci Rochester NY 14627 USA
InterWeave is a distributed middleware system that supports the sharing of strongly typed, pointer-rich data structures across a wide variety of hardware architectures, operating systems, and programming languages. As... 详细信息
来源: 评论