咨询与建议

限定检索结果

文献类型

  • 282 篇 会议
  • 127 篇 期刊文献
  • 16 册 图书

馆藏范围

  • 425 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 276 篇 工学
    • 216 篇 计算机科学与技术...
    • 159 篇 软件工程
    • 35 篇 信息与通信工程
    • 32 篇 控制科学与工程
    • 25 篇 电气工程
    • 17 篇 电子科学与技术(可...
    • 12 篇 机械工程
    • 12 篇 生物医学工程(可授...
    • 12 篇 生物工程
    • 11 篇 安全科学与工程
    • 7 篇 土木工程
    • 7 篇 网络空间安全
    • 6 篇 材料科学与工程(可...
    • 6 篇 石油与天然气工程
    • 5 篇 动力工程及工程热...
  • 144 篇 理学
    • 98 篇 数学
    • 20 篇 系统科学
    • 17 篇 生物学
    • 13 篇 物理学
    • 13 篇 统计学(可授理学、...
    • 7 篇 化学
  • 55 篇 管理学
    • 41 篇 管理科学与工程(可...
    • 23 篇 工商管理
    • 13 篇 图书情报与档案管...
  • 12 篇 教育学
    • 10 篇 教育学
  • 12 篇 医学
    • 10 篇 临床医学
    • 9 篇 基础医学(可授医学...
    • 6 篇 药学(可授医学、理...
  • 10 篇 经济学
    • 10 篇 应用经济学
  • 8 篇 法学
    • 8 篇 社会学
  • 6 篇 农学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 艺术学

主题

  • 24 篇 artificial intel...
  • 22 篇 computer science
  • 12 篇 software enginee...
  • 10 篇 semantics
  • 9 篇 application soft...
  • 9 篇 logic programmin...
  • 8 篇 programming prof...
  • 7 篇 information stor...
  • 6 篇 java
  • 6 篇 monitoring
  • 6 篇 hardware
  • 6 篇 middleware
  • 6 篇 equations
  • 5 篇 information syst...
  • 5 篇 libraries
  • 5 篇 parallel program...
  • 5 篇 laboratories
  • 5 篇 computer languag...
  • 5 篇 specifications
  • 5 篇 security

机构

  • 10 篇 department of sy...
  • 7 篇 department of ap...
  • 6 篇 programming meth...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 mart learning ed...
  • 4 篇 federal research...
  • 4 篇 department of co...
  • 4 篇 computer enginee...
  • 3 篇 german research ...
  • 3 篇 zuse institute b...
  • 3 篇 university of tw...
  • 3 篇 department of co...
  • 3 篇 rwth aachen univ...
  • 3 篇 research group p...
  • 3 篇 university of ka...
  • 3 篇 programming rese...
  • 3 篇 department of ap...
  • 3 篇 department of ap...

作者

  • 10 篇 fritzson peter
  • 8 篇 hayek ali
  • 7 篇 mostafa abotaleb
  • 7 篇 philippsen micha...
  • 6 篇 boercsoek josef
  • 6 篇 abdelhameed ibra...
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 maiti manoranjan
  • 5 篇 de meuter wolfga...
  • 5 篇 henning christia...
  • 5 篇 doaa sami khafag...
  • 5 篇 roy abi zeid dao...
  • 5 篇 ali hayek
  • 4 篇 troels andreasen
  • 4 篇 choe km
  • 4 篇 scholz sven-bodo
  • 4 篇 bergstra j.a.
  • 4 篇 skiba alexander
  • 4 篇 daou roy abi zei...

语言

  • 417 篇 英文
  • 7 篇 其他
  • 1 篇 中文
检索条件"机构=Department of Computer science and Programming"
425 条 记 录,以下是311-320 订阅
排序:
Automated geometric reasoning: Dixon resultants, gröbner bases, and characteristic sets
收藏 引用
International Workshop on Automated Deduction in Geometry, 1996
作者: Kaput, Deepak Institute for Programming and Logics Department of Computer Science State University of New York AlbanyNY12222 United States
Three different methods for automated geometry theorem proving-a generalized version of Dixon resultants, Gröbner bases and characteristic sets--axe reviewed. The main focus is, however, on the use of the general... 详细信息
来源: 评论
A constraint-based approach for specification and verification of real-time systems
A constraint-based approach for specification and verificati...
收藏 引用
Real-Time Systems Symposium (RTSS)
作者: G. Gupta E. Pontelli Laboratory for Logic Databases and Advanced Programming Department Computer Science New Mexico State University USA
We develop a general constraint logic programming (CLP) based framework for specification and verification of real time systems. Our framework is based on the notion of timed automata that have traditionally been used... 详细信息
来源: 评论
Improving the PVM teaching environment  97
Improving the PVM teaching environment
收藏 引用
Proceedings of the twenty-eighth SIGCSE technical symposium on computer science education
作者: Chris McDonald Kamran Kazemi Programming Languages and Systems Group Department of Computer Science The University of Western Australia Crawley Western Australia 6907
The parallel programming community has long recognized the need for a simple programming environment offering interprocess communication between heterogeneous systems. As the Parallel Virtual Machine environment, PVM,...
来源: 评论
Design of an augmented generalized cube network
Design of an augmented generalized cube network
收藏 引用
International Conference on Parallel and Distributed Systems (ICPADS)
作者: Bum-Sik Lee Dong-Hae Chi Tack-Don Han ETRI Parallel Programming Section Taejon South Korea Department of Computer Science Yonsei University Seoul South Korea
This paper demonstrates how the demultiplexor is used for making a new tree embedded in a MIN and how the Augmented Generalized Cube Network is designed using this tree. Evaluation of its performance and examination o... 详细信息
来源: 评论
Fail-safety techniques and their extensions to concurrent systems
收藏 引用
computer LANGUAGES 1996年 第4期22卷 193-203页
作者: Drew, SJ Programming Languages and Systems Group Computer Science Department Queensland University of Technology Sydney Queensland Australia 4000
Fail-safety is a system attribute which ensures that a program either completes its execution satisfying its post-conditions in the normal manner or signals its failure to do so to its operating environment. Such an a... 详细信息
来源: 评论
Unification modulo ACI+1+0
收藏 引用
Fundamenta Informaticae 1996年 第1期25卷 49-49页
作者: Narendran, R. Institute of Programming and Logics. Department of Computer Science. State University of New York at Albany Albany NY 12222
We show that elementary ACI10 unification is in P, even with constant restrictions. As a corollary, we prove that validity of quantified Horn formulae can be tested in O(n2) time. Solvability of elementary disunificat...
来源: 评论
Core technologies for system renovation  23rd
Core technologies for system renovation
收藏 引用
23rd Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM 1996
作者: Van Den Brand, Mark Klint, Paul Verhoef, Chris Programming Research Group University of Amsterdam Kruislaan 403 AmsterdamNL-1098 SJ Netherlands Department of Software Technology Centre for Mathematics and Computer Science P.O. Box 4079 AmsterdamNL-1009 AB Netherlands
Renovation of business-critical software is becoming increasingly important. We identify fundamental notions and techniques to aid in system renovation and sketch some basic techniques: generic language technology to ... 详细信息
来源: 评论
MICE: a prototype MPI implementation in Converse environment
MICE: a prototype MPI implementation in Converse environment
收藏 引用
Proceedings of the MPI Developer's Conference
作者: M.A. Bhandarkar L.V. Kale Parallel Programming Laboratory Department of Computer Science University of Illinois Urbana-Champaign Urbana IL USA
The paper describes MICE, a prototype implementation of MPI on the Converse interoperable parallel programming environment. It is based on MPICH, a public-domain implementation of MPI and uses the Abstract Device Inte... 详细信息
来源: 评论
User-level distributed file systems projects  96
User-level distributed file systems projects
收藏 引用
Proceedings of the twenty-seventh SIGCSE technical symposium on computer science education
作者: Chris McDonald Programming Languages and Systems Group Department of Computer Science The University of Western Australia Crawley Western Australia
One of the greatest benefits provided by computer networks, in particular local area networks, is the ability to access files served by other computers in a network. Whereas file system concepts are first introduced i...
来源: 评论
The ToolBus coordination architecture: A demonstration  5th
The ToolBus coordination architecture: A demonstration
收藏 引用
5th International Conference on Algebraic Methodology and Software Technology, AMAST 1996
作者: Klint, P. Olivier, P. Department of Software Technology Centre for Mathematics and Computer Science P.O. Box 4079 Amsterdam1009 AB Netherlands Programming Research Group University of Amsterdam P.O. Box 41882 Amsterdam1009 DB Netherlands
The ToolBus is a generic software architecture for building heterogeneous, distributed, systems. We demonstrate several applications that have been implemented using the ToolBus technology. © Springer-Verlag Berl... 详细信息
来源: 评论