咨询与建议

限定检索结果

文献类型

  • 78 篇 会议
  • 17 篇 期刊文献
  • 2 册 图书

馆藏范围

  • 97 篇 电子文献
  • 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 篇 software enginee...
  • 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 篇 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 dist...
  • 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...

作者

  • 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...

语言

  • 97 篇 英文
检索条件"机构=Programming Systems Lab"
97 条 记 录,以下是51-60 订阅
排序:
Lexicalized Syntax and Topology for Non-projective Dependency Grammar
收藏 引用
Electronic Notes in Theoretical Computer Science 2004年 53卷 70-80页
作者: Denys Duchier Programming Systems Lab Universität des Saarlandes Saarbrücken Germany
We propose a lexicalized formulation of dependency grammar that addresses both immediate dependence and linear precedence. Our approach distinguishes two orthogonal, yet mutually constraining dependency trees: an ID t...
来源: 评论
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... 详细信息
来源: 评论
Message from the general chair
Proceedings of the 2007 IEEE International Symposium on Work...
收藏 引用
Proceedings of the 2007 IEEE International Symposium on Workload Characterization, IISWC 2007年 2-2页
作者: Breternitz Jr., Mauricio Intel MTL - Programming Systems Lab.
来源: 评论
Experimenting with language support for proximity in ambient-oriented programming
Experimenting with language support for proximity in ambient...
收藏 引用
International Workshop on Engineering Environment-Mediated Multi-Agent systems, EEMMAS 2007
作者: Ramiro, Victor Dedecker, Jessie Tanter, Éric Barron, Peter University of Chile Santiago Chile Programming Technology Lab. Vrije Universiteit Brussel Belgium Distributed Systems Group Trinity College Dublin Ireland
Proximity is a key to scalable and meaningful interactions in distributed systems, both natural and artificial, and in particular in pervasive computing environments. However, proximity as such is a vague notion that ... 详细信息
来源: 评论
Organic and Pervasive Computing – ARCS 2004  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Christian Müller-Schloer Theo Ungerer Bernhard Bauer
Where is system architecture heading? The special interest group on Computer and systems Architecture (Fachausschuss Rechner- und Systemarchitektur) of the German computer and information technology associations GI an... 详细信息
来源: 评论
A cost-driven compilation framework for speculative parallelization of sequential programs
A cost-driven compilation framework for speculative parallel...
收藏 引用
Proceedings of the 2004 ACM SIGPLAN Conference on programming Language Design and Implementation (PLDI'04)
作者: Du, Zhao-Hui Yang, Chen Lim, Chu-Cheow Zhao, Qingyu Li, Xiao-Feng Ngai, Tin-Fook Intel China Research Center Intel China Ltd. Beijing China Programming Systems Lab Intel Corporation Santa Clara California United States
The emerging hardware support for thread-level speculation opens new opportunities to parallelize sequential programs beyond the traditional limits. By speculating that many data dependences are unlikely during runtim... 详细信息
来源: 评论
Decentralized business process modeling and enactment:: ICT architecture topologies and decision methods
Decentralized business process modeling and enactment:: ICT ...
收藏 引用
5th International Workshop on programming Multi-Agent systems
作者: Bauer, Bernhard Mueller, Jorg P. Roser, Stephan Univ Augsburg Programming Distributed Systems Lab Univ Str 14 D-86135 Augsburg Germany Tech Univ Clausthal Dept Informat D-38678 Clausthal Zellerfeld Germany
Multiagent systems have been proposed in the literature as a suitable architectural and implementation approach for cross-enterprise collaboration, due to their support for decentral decision-making and peer-to-peer c... 详细信息
来源: 评论
Constraints over Lambda-Structures in semantic underspecification  36
Constraints over Lambda-Structures in semantic underspecific...
收藏 引用
36th Annual Meeting of the Association for Computational Linguistics and 17th International Conference on Computational Linguistics, COLING-ACL 1998
作者: Egg, Markus Niehren, Joachim Ruhrberg, Peter Xu, Feiyu Department of Computational Linguistics Universität des Saarlandes Saarbrücken Germany Programming Systems Lab Universität des Saarlandes Saarbrücken Germany
We introduce a first-order language for semantic underspecification that we call Constraint Language for Lambda-Structures (CLLS). A λ-structure can be considered as a λ-term up to consistent renaming of bound varia... 详细信息
来源: 评论
Re-engineering automation systems as dynamic software product lines  11
Re-engineering automation systems as dynamic software produc...
收藏 引用
11th Dagstuhl-Workshop Modellbasierte Entwicklung Eingebetteter Systeme, MBEES 2015 - 11th Dagstuhl-Workshop on Model-Based Development of Embedded systems, MBEES 2015
作者: Lity, Sascha Burdek, Johannes Lochau, Malte Berens, Markus Schurr, Andy Schaefer, Ina Institute for Programming and Reactive Systems TU Braunschweig Germany Real-Time Systems Lab TU Darmstadt Germany Eckelmann AG Germany Institute of Software Engineering and Automotive Informatics TU Braunschweig Germany
Software engineering is an important development task in the automation domain due to the increasing number of embedded systems applied for controlling various system functions. In general, those automation systems ar... 详细信息
来源: 评论
Comodeling revisited: Execution of behavior trees in modelica
Comodeling revisited: Execution of behavior trees in modelic...
收藏 引用
4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2011
作者: Myers, Toby Schamai, Wladimir Fritzson, Peter Institute of Intelligent and Integrated Systems Griffith University Australia EADS Innovation Works Germany PELAB- Programming Environment Lab Linköping University IDA Sweden
Large-scale systems increasingly consist of a mixture of co-dependent software and hardware. The differing nature of software and hardware means that they are often modeled separately and with different approaches. Co... 详细信息
来源: 评论