咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 277 篇 工学
    • 217 篇 计算机科学与技术...
    • 160 篇 软件工程
    • 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 篇 steffen bernhard

语言

  • 415 篇 英文
  • 7 篇 其他
  • 1 篇 德文
  • 1 篇 中文
检索条件"机构=Department of Computer science and Programming"
424 条 记 录,以下是11-20 订阅
排序:
A general symbolic PDE solver generator: Beyond explicit schemes
收藏 引用
Scientific programming 2003年 第3期11卷 225-235页
作者: Sheshadri, K. Fritzson, Peter Programming Environment Laboratory Department of Computer Science Linköping University S-581 83 Linköping Sweden
This paper presents an extension of our Mathematica- and MathCode-based symbolic-numeric framework for solving a variety of partial differential equation (PDE) problems. The main features of our earlier work, which im... 详细信息
来源: 评论
Power management of extreme-scale networks with on/off links in runtime systems
收藏 引用
ACM Transactions on Parallel Computing 2015年 第2期1卷 1–21页
作者: Totoni, Ehsan Jain, Nikhil Kale, Laxmikant V. Parallel Programming Laboratory Department of Computer Science University of Illinois at Urbana-Champaign UrbanaIL61801 United States
Networks are among major power consumers in large-scale parallel systems. During execution of common parallel applications, a sizeable fraction of the links in the high-radix interconnects are either never used or are... 详细信息
来源: 评论
On the Complexities of Non-Horn Clause Logic programming
收藏 引用
Journal of computer science & Technology 1992年 第2期7卷 114-122页
作者: 聂旭民 Institute for Programming and Logics Department of computer science State University of New York at AlbanyAlbanyNew York 12222U.S.A.
There have been active work to extend the Prolog style Horn Clause logic programming to non-Horn *** this paper,we will analyze the complexities of several such *** purpose is to understand the computational complexit... 详细信息
来源: 评论
STATIC FILTERING ON STRATIFIED PROGRAMS
收藏 引用
INFORMATION PROCESSING LETTERS 1993年 第5期47卷 237-244页
作者: CHANG, BM CHOE, KM HAN, TS Programming Languages Laboratory Department of Computer Science Korea Advanced Institute of Science and Technology 373-1 Kusong-dong Yusung-ku Taejon 305-701 South Korea
We extend static filtering in [8], a query optimization strategy based on seminaive evaluation on system graphs, so that it can efficiently handle stratified programs without extra overhead. The computation of static ... 详细信息
来源: 评论
AN EFFICIENT COMPUTATION OF RIGHT CONTEXT FOR LR-BASED ERROR REPAIR
收藏 引用
INFORMATION PROCESSING LETTERS 1994年 第2期49卷 63-71页
作者: JUNG, MS CHOE, KM HAN, T Programming Languages Laboratory Department of Computer Science Korea Advanced Institute of Science and Technology 373-1 Kusong-Dong Yusong-Gu Taejon 305-701 South Korea
The left context in LR-based parsing is the sequence of states in the parsing stack. The right context is the vocabulary strings to appear for a given left context. We propose an efficient method of computing right co... 详细信息
来源: 评论
SYNTACTIC ERROR REPAIR USING REPAIR PATTERNS
收藏 引用
INFORMATION PROCESSING LETTERS 1993年 第4期47卷 189-196页
作者: YUN, IS CHOE, KM HAN, T Programming Languages Laboratory Department of Computer Science Korea Advanced Institute of Science and Technology 373-1 Kusong-Dong Yusung-Cu Taejon 305-701 South Korea
A syntactic error repair model is proposed, and is defined as a partial function from strings to sentences. The replacement of a substring of a string with a substring of a sentence is described by a repair pattern, w... 详细信息
来源: 评论
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...
来源: 评论
YET ANOTHER EFFICIENT BACKWARD EXECUTION ALGORITHM IN THE AND OR PROCESS MODEL
收藏 引用
INFORMATION PROCESSING LETTERS 1991年 第4期40卷 201-211页
作者: KIM, DH CHOE, KM Programming Languages Laboratory Department of Computer Science Korea Advanced Institute of Science and Technology 371-1 Kusong-Dong Yusang-Gu Taejon 305-701 South Korea
An efficient backward execution algorithm in the AND/OR Process Model for parallel evaluation of logic programs is proposed. The efficiency of the algorithm is achieved by means of information acquired during executio... 详细信息
来源: 评论
Structural Equivalence Partition and Boundary Testing
Structural Equivalence Partition and Boundary Testing
收藏 引用
2011 Fachtagung des GI-Fachbereichs Softwaretechnik, Software Engineering 2011 - 2011 Conference of the GI Division on Software Engineering, Software Engineering 2011
作者: Oster, Norbert Philippsen, Michael Computer Science Department Programming Systems Group University of Erlangen Germany
Structural (manual or automated) testing today often overlooks typical programming faults because of inherent flaws in the simple criteria applied (e.g. branch or all-uses). Dedicated testing strategies that address s... 详细信息
来源: 评论
AmbientOriented programming in AmbientTalk: Combining mobile hardware with simplicity and expressiveness
AmbientOriented Programming in AmbientTalk: Combining mobile...
收藏 引用
OOPSLA'05 - 20th Annual ACM Conference on Object-Oriented programming, Systems, Languages, and Applications
作者: Dedecker, Jessie Cutsem, Tom Van Mostinckx, Stijn De Meuter, Wolfgang D Hond, Theo Programming Technology Laboratory Department of Computer Science Vrije Universiteit Brussel Belgium
A new field in distributed computing, called Ambient Intelligence, has emerged as a consequence of the increasing availability of wireless devices and the mobile networks they induce. Developing software for such mobi... 详细信息
来源: 评论