咨询与建议

限定检索结果

文献类型

  • 525 篇 会议
  • 195 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 464 篇 工学
    • 374 篇 计算机科学与技术...
    • 305 篇 软件工程
    • 55 篇 信息与通信工程
    • 52 篇 控制科学与工程
    • 27 篇 电气工程
    • 27 篇 土木工程
    • 24 篇 电子科学与技术(可...
    • 23 篇 船舶与海洋工程
    • 22 篇 生物工程
    • 19 篇 机械工程
    • 16 篇 建筑学
    • 15 篇 网络空间安全
    • 14 篇 生物医学工程(可授...
    • 10 篇 材料科学与工程(可...
    • 9 篇 农业工程
  • 222 篇 理学
    • 124 篇 数学
    • 38 篇 系统科学
    • 35 篇 物理学
    • 29 篇 生物学
    • 27 篇 统计学(可授理学、...
    • 21 篇 海洋科学
  • 117 篇 管理学
    • 76 篇 管理科学与工程(可...
    • 44 篇 图书情报与档案管...
    • 41 篇 工商管理
  • 18 篇 经济学
    • 17 篇 应用经济学
  • 15 篇 法学
    • 14 篇 社会学
  • 15 篇 教育学
    • 13 篇 教育学
  • 15 篇 医学
    • 12 篇 临床医学
    • 11 篇 基础医学(可授医学...
  • 12 篇 农学
    • 11 篇 作物学
  • 3 篇 文学
  • 2 篇 哲学
  • 1 篇 军事学

主题

  • 21 篇 application soft...
  • 20 篇 semantics
  • 17 篇 programming
  • 17 篇 software
  • 14 篇 testing
  • 14 篇 unified modeling...
  • 13 篇 software enginee...
  • 12 篇 optimization
  • 12 篇 monitoring
  • 12 篇 data models
  • 11 篇 runtime
  • 11 篇 hardware
  • 11 篇 artificial intel...
  • 10 篇 java
  • 9 篇 computer archite...
  • 9 篇 model checking
  • 9 篇 analytical model...
  • 8 篇 computer science
  • 8 篇 software systems
  • 8 篇 electronic mail

机构

  • 15 篇 institute for pr...
  • 11 篇 department of sy...
  • 10 篇 technical univer...
  • 8 篇 programming syst...
  • 7 篇 chair for progra...
  • 7 篇 department of pr...
  • 6 篇 department of co...
  • 6 篇 programming syst...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 computer techniq...
  • 5 篇 department of co...
  • 5 篇 department of el...
  • 5 篇 department of pr...
  • 5 篇 technical univer...
  • 5 篇 tu braunschweig ...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 institute for so...
  • 5 篇 institute for pr...

作者

  • 48 篇 steffen bernhard
  • 33 篇 margaria tiziana
  • 19 篇 bernhard steffen
  • 17 篇 michael philipps...
  • 17 篇 bauer bernhard
  • 15 篇 philippsen micha...
  • 13 篇 goltz ursula
  • 13 篇 wu youfeng
  • 13 篇 lochau malte
  • 12 篇 gancheva veska
  • 12 篇 tiziana margaria
  • 12 篇 christopher muts...
  • 10 篇 veska gancheva
  • 9 篇 wang cheng
  • 9 篇 lamprecht anna-l...
  • 9 篇 youfeng wu
  • 9 篇 christiansen hen...
  • 9 篇 naujokat stefan
  • 9 篇 niehren joachim
  • 8 篇 mostafa abotaleb

语言

  • 693 篇 英文
  • 18 篇 其他
  • 5 篇 德文
  • 2 篇 中文
  • 1 篇 法文
  • 1 篇 日文
检索条件"机构=Systems and Programming"
720 条 记 录,以下是581-590 订阅
排序:
Relaxing underspecified semantic representations for reinterpretation
收藏 引用
Grammars 2000年 第2-3期3卷 217-241页
作者: Koller, Alexander Niehren, Joachim Striegnitz, Kristina Department of Computational Linguistics University of the Saarland 66041 Saarbrücken Germany Programming Systems Lab. University of the Saarland 66041 Saarbrücken Germany
Type and sort conflicts in semantics are usually resolved by a process of reinterpretation, which introduces an operator into the semantic representation. We elaborate on the foundations of a recent approach to reinte... 详细信息
来源: 评论
The GOLD Definition Language (GDL): An object oriented formal specification language for multidimensional databases  00
The GOLD Definition Language (GDL): An object oriented forma...
收藏 引用
2000 ACM Symposium on Applied Computing, SAC 2000
作者: Trujillo, Juan Palomar, Manuel Ǵomez, Jaime Research Group of Logic Programming and Information Systems Dept. of Languages and Information Systems University of Alicante Apto. Correos 99. E-03071 03690 Alicante Spain
The GOLD Definition Language (GDL) is an Object Oriented (OO) formal specification language for the modeling of multidimensional databases. The OO multidimensional data model called GOLD is based on the OO paradigm, w... 详细信息
来源: 评论
Ordering Constraints over Feature Trees
收藏 引用
Constraints 2000年 第1-2期5卷 7-41页
作者: Muller, Martin Niehren, Joachim Podelski, Andreas Programming Systems Lab Universität des Saarlandes Stuhlsatzenhausweg 3 D-66041 Saarbrücken Germany Max-Planck-Inst. für Informatik Im Stadtwald D-66123 Saarbrücken Germany
Feature trees are the formal basis for algorithms manipulating record like structures in constraint programming, computational linguistics and in concrete applications like software configuration management. Feature t... 详细信息
来源: 评论
Teaching parallel algorithm with process topologies  00
Teaching parallel algorithm with process topologies
收藏 引用
Proceedings of the thirty-first 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 Nedlands Western Australia 6907
Parallel algorithms are often introduced to students by describing the geometric topologies formed by communicating processes and often the geographic relationships between them. However, the two most common message p...
来源: 评论
Implementation lessons of performance prediction tool for parallel conservative simulation  6
收藏 引用
6th International European Conference on Parallel Computing, Euro-Par 2000
作者: Lim, Chu-Cheow Low, Yoke-Hean Gan, Boon-Ping Cai, Wentong Intel Corporation SC12-305 2000 Mission College Blvd Santa ClaraCA95052-8119 United States Programming Research Group Oxford University Computing Laboratory University of Oxford OxfordOX1 3QD United Kingdom Gintic Institute of Manufacturing Technology 71 Nanyang Drive Singapore638075 Singapore Center for Advanced Information Systems School of Applied Science Nanyang Technological University Singapore639798 Singapore
Performance prediction is useful in helping parallel programmers answer questions such as speedup scalability. Performance prediction for parallel simulation requires first working out the performance analyzer algorit... 详细信息
来源: 评论
Introduction
收藏 引用
Constraints 2000年 第1期5卷 5-5页
作者: Smolka, Gert Programming Systems Lab Universität des Saarlandes Saarbrücken Germany
来源: 评论
TYPE INFERENCE FOR FIRST-CLASS MESSAGES WITH FEATURE CONSTRAINTS
收藏 引用
International Journal of Foundations of Computer Science 2000年 第1期11卷 29-63页
作者: MARTIN MÜLLER SUSUMU NISHIMURA Universität des Saarlandes Programming Systems Lab 66041 Saarbrücken Germany Partly supported by the Deutsche Forschungsgemeinschaft (DFG) through Sonderforschungsbereich 378 at the Universität des Saarlandes Saarbrücken 1996-98. RIMS Kyoto University Sakyo-ku Kyoto 606-8502 Japan Partly supported by the Japanese Ministry of Education Science Sports and Culture Grant-in-Aid for Encouragement of Young Scientists 10780187 1998.
We present a constraint system, OF, of feature trees that is appropriate to specify and implement type inference for first-class messages. OF extends traditional systems of feature constraints by a selection constrain... 详细信息
来源: 评论
Preface
Lecture Notes in Computer Science (including subseries Lectu...
收藏 引用
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2000年 1782卷 VII页
作者: Smolka, Gert University of Saarland Programming Systems Lab Building 45 P. O. Box 15 11 50 Saarbrücken Germany
来源: 评论
Simulating Boolean circuits by finite splicing
Simulating Boolean circuits by finite splicing
收藏 引用
1999 Congress on Evolutionary Computation, CEC 1999
作者: Erk, Katrin Programming Systems Lab Universität des Saarbrücken Saarbrucken Germany
As a computational model to be simulated in a DNA computing context, Boolean circuits are especially interesting because of their parallelism. Simulations in concrete biochemical computing settings have been given by ... 详细信息
来源: 评论
Entailment of non-structural subtype constraints  5th
Entailment of non-structural subtype constraints
收藏 引用
5th Asian Computing Science Conference on Advances in Computing Science, ASIAN 1999
作者: Niehren, Joachim Priesnitz, Tim Programming Systems Lab Universität des Saarlandes Saarbrücken Germany
Entailment of subtype constraints was introduced for constraint simplification in subtype inference systems. Designing an efficient algorithm for subtype entailment turned out to be surprisingly difficult. The situati... 详细信息
来源: 评论