咨询与建议

限定检索结果

文献类型

  • 284 篇 会议
  • 126 篇 期刊文献
  • 16 册 图书

馆藏范围

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

日期分布

学科分类号

  • 275 篇 工学
    • 213 篇 计算机科学与技术...
    • 159 篇 软件工程
    • 35 篇 信息与通信工程
    • 33 篇 控制科学与工程
    • 25 篇 电气工程
    • 17 篇 电子科学与技术(可...
    • 13 篇 机械工程
    • 12 篇 生物医学工程(可授...
    • 12 篇 生物工程
    • 11 篇 安全科学与工程
    • 7 篇 土木工程
    • 7 篇 网络空间安全
    • 6 篇 材料科学与工程(可...
    • 6 篇 动力工程及工程热...
    • 6 篇 化学工程与技术
    • 6 篇 石油与天然气工程
  • 145 篇 理学
    • 98 篇 数学
    • 20 篇 系统科学
    • 17 篇 生物学
    • 14 篇 物理学
    • 13 篇 统计学(可授理学、...
    • 7 篇 化学
  • 54 篇 管理学
    • 41 篇 管理科学与工程(可...
    • 23 篇 工商管理
    • 13 篇 图书情报与档案管...
  • 13 篇 医学
    • 10 篇 临床医学
    • 9 篇 基础医学(可授医学...
  • 12 篇 教育学
    • 10 篇 教育学
  • 10 篇 经济学
    • 10 篇 应用经济学
  • 7 篇 法学
    • 7 篇 社会学
  • 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 篇 libraries
  • 6 篇 java
  • 6 篇 monitoring
  • 6 篇 computer languag...
  • 6 篇 hardware
  • 6 篇 middleware
  • 6 篇 equations
  • 5 篇 information syst...
  • 5 篇 parallel program...
  • 5 篇 laboratories
  • 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 篇 doaa sami khafag...
  • 6 篇 abdelhameed ibra...
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 maiti manoranjan
  • 5 篇 de meuter wolfga...
  • 5 篇 henning christia...
  • 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...

语言

  • 403 篇 英文
  • 22 篇 其他
  • 1 篇 中文
检索条件"机构=Department of Computer science and Programming"
426 条 记 录,以下是321-330 订阅
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... 详细信息
来源: 评论
Solving linear equations over polynomial semirings
Solving linear equations over polynomial semirings
收藏 引用
Annual Symposium on Logic in computer science
作者: P. Narendran Institute of Programming and Logics Department of Computer Science State University of New York Albany Albany NY USA
We consider the problem of solving linear equations over various semirings. In particular, solving of linear equations over polynomial rings with the additional restriction that the solutions must have only non-negati... 详细信息
来源: 评论
The toolbus coordination architecture  1st
The toolbus coordination architecture
收藏 引用
1st International Conference on Coordination Models and Languages, COORDINATION 1996
作者: Bergstra, J.A. Klint, P. Programming Research Group University of Amsterdam AmsterdamDBP.O. Box 41882 Netherlands Department of Philosophy Utrecht University Heidelberglaan 8 UtrechtCS3584 Netherlands Department of Software Technology Centre for Mathematics and Computer Science AmsterdamABP.O. Box 4079 Netherlands
Building large, heterogeneous, distributed software systems poses serious problems for the software engineer;achieving interoperability of software systems is still a major challenge. We describe an experiment in desi... 详细信息
来源: 评论
PPD: A practical parallel loop detector for parallelizing compilers
PPD: A practical parallel loop detector for parallelizing co...
收藏 引用
International Conference on Parallel and Distributed Systems (ICPADS)
作者: Cheng-Tien Wu Chao-Tung Yang Shian-Shyong Tseng Knowledge Engineering and Programming Language LaboratoryDepartment of Computer & Information Science Natíonal Chiao-Tung University Hsinchu Taiwan Department of Computer and Onformation Science at National Chiao Tung University Hsinchu Taiwan
It is well known that extracting parallel loops plays a significant role in designing parallelizing compilers. The execution efficiency of a loop is enhanced when the loop can be executed in parallel or partial parall... 详细信息
来源: 评论
The discrete time toolbus  5th
The discrete time toolbus
收藏 引用
5th International Conference on Algebraic Methodology and Software Technology, AMAST 1996
作者: Bergstra, J.A. Klint, P. Programming Research Group University of Amsterdam P.O. Box 41882 Amsterdam1009 DB Netherlands Department of Philosophy Utrecht University Heidelberglaan 8 Utrecht3584 CS Netherlands Department of Software Technology Centre for Mathematics and Computer Science P.O. Box 4079 Amsterdam1009 AB Netherlands
The notion of "time" plays an important role when coordinating large, heterogeneous, distributed software systems. We present a generic coordination architecture that supports relative and absolute, discrete... 详细信息
来源: 评论
COMPOzE-intention-based music composition through constraint programming
COMPOzE-intention-based music composition through constraint...
收藏 引用
International Conference on Tools for Artificial Intelligence (ICTAI)
作者: M. Henz S. Lauer D. Zimmermann Programming Systems Laboratory University of Saarland Saarbruecken Germany Computer Science Department University of Saarland Saarbruecken Germany Graduate School for Cognitive Science University of Saarland Saarbruecken Germany
We goal of the work is to derive four-voice music pieces from given musical plans, which describe the harmonic flow and the intentions of a desired composition. We developed the experimentation platform COMPOzE for in... 详细信息
来源: 评论
Towards machine-checked compiler correctness for higher-order pure functional languages  8th
Towards machine-checked compiler correctness for higher-orde...
收藏 引用
8th Workshop on computer science Logic, at the Annual Conference of the European-Association-for-computer-science-Logic (CSL 94)
作者: Lester, D Mintchev, S Functional Programming Group Department of Computer Science Manchester University Oxford Road Manchester M13 9PL United Kingdom
In this paper we show that the critical part of a correctness proof for implementations of higher-order functional languages is amenable to machine-assisted proof. An extended version of the lambda-calculus is conside... 详细信息
来源: 评论
Some independence results for equational unification  6th
Some independence results for equational unification
收藏 引用
6th International Conference on Rewriting Techniques and Applications, RTA 1995
作者: Otto, Friedrich Narendran, Paliath Dougherty, Daniel J. Fachbereich Mathematik/Iuformatik Universität-GH Kassel Kassel34109 Germany Institute of Programming and Logics Department of Computer Science State University of New York AlbanyNY12222 United States Mathematics Department Wesleyan University MiddletownCT06459 United States
For finite convergent term-rewriting systems the equational unification problem is shown to be recursively independent of the equational matching problem, the word matching problem, and the (simultaneous) 2nd-order eq... 详细信息
来源: 评论
probabilistic and deterministic local search for solving the binary multiknapsack problem*
收藏 引用
Optimization 1995年 第2期33卷 155-166页
作者: Bertocchi, M. Butti, A. Slominski, L. Sobczynska, J. Department of Mathematics Statistics and Computer Science University of Bergamo Bergamo Piazza Rosate 2 Italy Mathematical Programming Department Systems Research Institute Polish Academy of Sciences Warsaw Newelska str 6 Poland
Results of extensive computational experiments aimed at comparing performance quality (accuracy of an approximate solution and the running time) of the Threshold Accept (TA) approach versus the Simulated Annealing (SA... 详细信息
来源: 评论