咨询与建议

限定检索结果

文献类型

  • 78 篇 会议
  • 17 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 77 篇 工学
    • 71 篇 计算机科学与技术...
    • 53 篇 软件工程
    • 8 篇 电子科学与技术(可...
    • 7 篇 信息与通信工程
    • 6 篇 控制科学与工程
    • 4 篇 电气工程
    • 4 篇 生物工程
    • 3 篇 农业工程
    • 1 篇 机械工程
    • 1 篇 光学工程
    • 1 篇 动力工程及工程热...
    • 1 篇 生物医学工程(可授...
    • 1 篇 网络空间安全
  • 32 篇 理学
    • 22 篇 数学
    • 8 篇 系统科学
    • 4 篇 物理学
    • 4 篇 生物学
    • 1 篇 科学技术史(分学科...
    • 1 篇 统计学(可授理学、...
  • 23 篇 管理学
    • 15 篇 管理科学与工程(可...
    • 10 篇 工商管理
    • 9 篇 图书情报与档案管...
  • 3 篇 农学
    • 3 篇 作物学
  • 2 篇 文学
    • 2 篇 中国语言文学
    • 2 篇 外国语言文学
  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 法学
    • 1 篇 社会学

主题

  • 5 篇 semantics
  • 4 篇 memory managemen...
  • 4 篇 optimization
  • 4 篇 instruction sets
  • 4 篇 scheduling
  • 3 篇 parallel program...
  • 3 篇 locks (fasteners...
  • 2 篇 dynamic optimiza...
  • 2 篇 underspecificati...
  • 2 篇 context free gra...
  • 2 篇 tree description...
  • 2 篇 languages
  • 2 篇 programming
  • 2 篇 application soft...
  • 2 篇 modeling languag...
  • 2 篇 software enginee...
  • 2 篇 load modeling
  • 2 篇 tracking
  • 2 篇 acceleration
  • 2 篇 specifications

机构

  • 8 篇 programming syst...
  • 4 篇 programming dist...
  • 3 篇 programming syst...
  • 3 篇 institute for pr...
  • 3 篇 department of co...
  • 2 篇 machine learning...
  • 2 篇 max-planck-insti...
  • 2 篇 vehicular system...
  • 2 篇 programming syst...
  • 2 篇 programming syst...
  • 2 篇 programming syst...
  • 2 篇 tu braunschweig ...
  • 2 篇 programming syst...
  • 2 篇 programming syst...
  • 2 篇 dept. mathematic...
  • 2 篇 programming dist...
  • 2 篇 programming syst...
  • 2 篇 programming syst...
  • 1 篇 depts. of comput...
  • 1 篇 distributed syst...

作者

  • 12 篇 wu youfeng
  • 10 篇 bauer bernhard
  • 8 篇 wang cheng
  • 8 篇 niehren joachim
  • 6 篇 koller alexander
  • 5 篇 smolka gert
  • 5 篇 saha bratin
  • 5 篇 lautenbacher flo...
  • 4 篇 lochau malte
  • 4 篇 breternitz jr. m...
  • 4 篇 kuhlmann marco
  • 3 篇 duchier denys
  • 3 篇 cheng wang
  • 3 篇 adl-tabatabai al...
  • 3 篇 erk katrin
  • 3 篇 rong hongbo
  • 3 篇 youfeng wu
  • 3 篇 debusmann ralph
  • 3 篇 möhl mathias
  • 3 篇 rajagopalan moha...

语言

  • 95 篇 英文
检索条件"机构=programming Systems Lab"
95 条 记 录,以下是91-100 订阅
排序:
The first-order theory of ordering constraints over feature trees
The first-order theory of ordering constraints over feature ...
收藏 引用
Annual Symposium on Logic in Computer Science
作者: M. Miffler J. Niehren R. Treinen Programming Syst. Lab. Saarlandes Univ. Saarbrucken Germany Programming Systems Lab Universitat des Saarlandes Saarbrucken Germany Laboratoire de Recherche en Informatique Universite de Paris Sud Orsay France
The system FT/sub /spl les// of ordering constraints over feature trees has been introduced as an extension of the system FT of equality constraints over feature trees. We investigate the first-order theory of FT/sub ... 详细信息
来源: 评论
Aspect-oriented programming workshop report
Aspect-oriented programming workshop report
收藏 引用
Workshops on Object-Oriented Technology, ECOOP 1997
作者: Mens, Kim Lopes, Cristina Tekinerdogan, Bedir Kiczales, Gregor Department of Computer Science Programming Technology Lab Vrije Universiteit Brussel Pleinlaan 2 BrusselB-1050 Belgium Systems and Practices Laboratory Xerox PARC 3333 Coyote Hill Rd Palo AltoCA94304 United States Department of Computer Science Software Engineering University of Twente P.O. Box 217 Enschede7500 AE Netherlands
Whereas it is generally acknowledged that code tangling reduces the quality of software and that aspect-oriented programming (AOP) is a means of addressing this problem, there is — as yet — no clear definition or ch... 详细信息
来源: 评论
Principles and practice of constraint programming - CP 97: Third international conference, CP 97 Linz, Austria, October 29 - November 1, 1997 proceedings  3rd
Principles and practice of constraint programming - CP 97: T...
收藏 引用
3rd International Conference on Principles and Practice of Constraint programming, CP 1997
作者: Smolka, Gert Programming Systems Lab Universität des Saarlandes Geb. 45 Postfach 15 11 50 Saarbrücken Germany
来源: 评论
The Oz programming model  6th
收藏 引用
European Workshop on Logics in Artificial Intelligence (JELIA 96)
作者: Smolka, G Programming Systems Lab German Research Center for Artificial Intelligence (DFKI) Universität des Saarlandes Geb. 45 Postfach 15 11 50 Saarbüicken D-66041 Germany
来源: 评论
Integrated environment for software reliability modeling
Integrated environment for software reliability modeling
收藏 引用
Proceedings of the 17th Annual International Computer Software & Applications Conference - COMPSAC 93
作者: Tian, Jeff Lu, Peng IBM Programming Systems Toronto Lab North York Canada
This paper introduces an integrated environment for software reliability modeling. The environment consists of three major components: 1) a software reliability modeling tool SMERFS adapted to fit our development envi... 详细信息
来源: 评论