咨询与建议

限定检索结果

文献类型

  • 526 篇 会议
  • 196 篇 期刊文献
  • 21 册 图书

馆藏范围

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

日期分布

学科分类号

  • 466 篇 工学
    • 376 篇 计算机科学与技术...
    • 307 篇 软件工程
    • 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...
  • 21 篇 artificial intel...
  • 20 篇 software enginee...
  • 20 篇 semantics
  • 17 篇 programming
  • 17 篇 software
  • 14 篇 testing
  • 14 篇 unified modeling...
  • 13 篇 optimization
  • 12 篇 monitoring
  • 12 篇 data models
  • 11 篇 runtime
  • 11 篇 hardware
  • 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...

作者

  • 49 篇 steffen bernhard
  • 33 篇 margaria tiziana
  • 22 篇 bernhard steffen
  • 18 篇 michael philipps...
  • 17 篇 bauer bernhard
  • 15 篇 philippsen micha...
  • 14 篇 tiziana margaria
  • 13 篇 goltz ursula
  • 13 篇 wu youfeng
  • 13 篇 lochau malte
  • 12 篇 gancheva veska
  • 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

语言

  • 714 篇 英文
  • 19 篇 其他
  • 6 篇 德文
  • 2 篇 中文
  • 1 篇 法文
  • 1 篇 日文
检索条件"机构=Programming Systems"
743 条 记 录,以下是121-130 订阅
排序:
The persona in microcomputer documentation
收藏 引用
IEEE Transactions on Professional Communication 1984年 第2期PC-27卷 65-68页
作者: David Bradford Distributed Systems Programming Publications
The author examines the classical notion of persona (the role adopted by the writer) as a term useful in analyzing technical documents. It isolates rhetorical strategies that are components of the user-friendly person... 详细信息
来源: 评论
Prefetch injection based on hardware monitoring and object metadata
Prefetch injection based on hardware monitoring and object m...
收藏 引用
Proceedings of the 2004 ACM SIGPLAN Conference on programming Language Design and Implementation (PLDI'04)
作者: Adl-Tabatabai, Ali-Reza Hudson, Richard L. Serrano, Mauricio J. Subramoney, Sreenivas Programming Systems Laboratory Microprocessor Technology Laboratory Intel Corporation Santa Clara CA United States
Cache miss stalls hurt performance because of the large gap between memory and processor speeds - for example, the popular server benchmark SPEC JBB2000 spends 45% of its cycles stalled waiting for memory requests on ... 详细信息
来源: 评论
A constraint-based variability modeling framework
收藏 引用
International Journal on Software Tools for Technology Transfer 2012年 第5期14卷 511-530页
作者: Jörges, Sven Lamprecht, Anna-Lena Margaria, Tiziana Schaefer, Ina Steffen, Bernhard Chair for Programming Systems Technical University Dortmund Dortmund Germany Chair for Service and Software Engineering University Potsdam Potsdam Germany Institut für Software Systems Engineering Technische Universität Braunschweig Braunschweig Germany
Constraint-based variability modeling is a flexible, declarative approach to managing solution-space variability. Product variants are defined in a top-down manner by successively restricting the admissible combinatio... 详细信息
来源: 评论
Mildly non-projective dependency structures  21
Mildly non-projective dependency structures
收藏 引用
21st International Conference on Computational Linguistics and 44th Annual Meeting of the Association for Computational Linguistics, COLING/ACL 2006
作者: Kuhlmann, Marco Nivre, Joakim Programming Systems Lab Saarland University Germany Växjö University Sweden Uppsala University Sweden
Syntactic parsing requires a fine balance between expressivity and complexity, so that naturally occurring structures can be accurately parsed without compromising efficiency. In dependency-based parsing, several cons... 详细信息
来源: 评论
Introducing Grid Speedup Γ: A scalability metric for parallel applications on the grid
Introducing Grid Speedup Γ: A scalability metric for parall...
收藏 引用
European Grid Conference on Advances in Grid Computing - EGC 2005
作者: Hoekstra, Alfons G. Sloot, Peter M. A. Systems Architecture and Programming Faculty of Science University of Amsterdam Kruislaan 403 1098 SJ Amsterdam Netherlands
We introduce the concept of Grid Speedup as a scalability metric for parallel applications on the grid and analyze it theoretically. It is shown that classes of applications exist for which good grid speedups can be e... 详细信息
来源: 评论
Automated continuous quality assurance
Automated continuous quality assurance
收藏 引用
2012 1st International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches, FormSERA 2012
作者: Neubauer, Johannes Steffen, Bernhard Bauer, Oliver Windmüller, Stephan Merten, Maik Margaria, Tiziana Howar, Falk Department of Programming Systems TU Dortmund Germany Department of Service and Software Engineering University Potsdam Germany
We present a case study that illustrates the power of active learning for enabling the automated quality assurance of complex and distributed evolving systems. We illustrate how the development of the OCS, Springer Ve... 详细信息
来源: 评论
Mashup development for everybody: A planning-based approach
Mashup development for everybody: A planning-based approach
收藏 引用
3rd International Workshop on Service Matchmaking and Resource Retrieval in the Semantic Web, SMR2 2009, Collocated with the 8th International Semantic Web Conference, ISWC 2009
作者: Kubczak, Christian Margaria, Tiziana Steffen, Bernhard Department of Programming Systems TU Dortmund Germany Service and Software Engineering Universität Potsdam Germany
Today's service mashup technologies usually focus on assisting programmers to provide more powerful and valuable integrated applications to the users. A significant set of scripting languages, graphical tools and ... 详细信息
来源: 评论
Integration of scheduling analysis into UML based development processes through model transformation
Integration of scheduling analysis into UML based developmen...
收藏 引用
作者: Hagner, Matthias Goltz, Ursula Institute for Programming and Reactive Systems TU Braunschweig Mühlenpfordtst. 23 38106 Braunschweig Germany
The complexity of embedded systems and their safety requirements have risen significantly in recent years. Models and the model based development approach help to keep overview and control of the development. Neverthe... 详细信息
来源: 评论
MoSo-PoLiTe - Tool support for pairwise and model-based software product line testing  11
MoSo-PoLiTe - Tool support for pairwise and model-based soft...
收藏 引用
Proceedings of the 5th International Workshop on Variability Modeling of Software-Intensive systems
作者: Oster, Sebastian Zorcic, Ivan Markert, Florian Lochau, Malte Real-Time Systems Group Technische Universität Darmstadt Germany Institute for Programming and Reactive Systems Technische Universität Braunschweig Germany
Testing Software Product Lines is a very challenging task and approaches like combinatorial testing and model-based testing are frequently used to reduce the effort of testing Software Product Lines and to reuse test ... 详细信息
来源: 评论
The electronic tool integration platform (ETI) and the petri net technology
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) 2003年 2472卷 363-382页
作者: Braun, Volker Margaria, Tiziana Steffen, Bernhard Programming Systems University of Dortmund Germany
The paper presents the Electronic Tool Integration platform (ETI), a community platform designed for project-oriented, domainspecific, public or private interactive experimentation with heterogeneous tools. ETI manage... 详细信息
来源: 评论