咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 743 篇 电子文献
  • 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...
  • 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...

作者

  • 48 篇 steffen bernhard
  • 33 篇 margaria tiziana
  • 22 篇 bernhard steffen
  • 19 篇 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

语言

  • 716 篇 英文
  • 18 篇 其他
  • 5 篇 德文
  • 2 篇 中文
  • 1 篇 法文
  • 1 篇 日文
检索条件"机构=Programming Systems"
743 条 记 录,以下是281-290 订阅
排序:
Towards incremental test suite optimization for software product lines  14
Towards incremental test suite optimization for software pro...
收藏 引用
6th International Workshop on Feature-Oriented Software Development, FOSD 2014
作者: Baller, Hauke Lochau, Malte Institute for Programming and Reactive Systems Braunschweig Germany Real-time Systems Lab Darmstadt Germany
The design of an appropriate test suite for software testing is a challenging task. It requires a suitable tradeoff between effectiveness, e.g., a suficient amount of test cases to satisfy the test goals of a given co... 详细信息
来源: 评论
On the Use of XMDD in Software Development Education
On the Use of XMDD in Software Development Education
收藏 引用
IEEE Annual International Computer Software and Applications Conference (COMPSAC)
作者: Anna-Lena Lamprecht Tiziana Margaria Johannes Neubauer University of Potsdam Institute of Computer Science Potsdam Germany University of Limerick and Lero The Irish Software Research Centre Limerick Ireland TU Dortmund Chair for Programming Systems Dortmund Germany
Process modeling can play a central role in problem-based software development education with regard to qualifying students for the design and implementation of software applications for their specific needs without p... 详细信息
来源: 评论
The parameters impact on cutting forces and determination of regression function
收藏 引用
IOP Conference Series: Materials Science and Engineering 2016年 第1期161卷
作者: T D Popovici Department of Manufacturing Engineering The faculty of Engineering and Management of Technological Systems University Politehnica Bucharest 313 Splaiul Independentei Sector 6 Bucharest Romania Department of CN Programming and Technology Research Romanian Research & Development Institute for Gas Turbine 220 D Iuliu Maniu Bd. Sector 6 Bucharest Romania
The aim of this paper is to present results of certain experiments related to material workability characteristics, taking into consideration its high quality features and large usability for special manufacturing. It...
来源: 评论
Selected challenges of software evolution for automated production systems
Selected challenges of software evolution for automated prod...
收藏 引用
IEEE International Conference on Industrial Informatics (INDIN)
作者: B. Vogel-Heuser S. Feldmann J. Folmer J. Ladiges A. Fay S. Lity M. Tichy M. Kowal I. Schaefer C. Haubeck W. Lamersdorf T. Kehrer S. Getir M. Ulbrich V. Klebanov B. Beckert Institute of Automation and Information Systems Technische Universität München Germany Institute of Software Engineering and Automotive Informatics University of Braunschweig Germany Automation Technology Institute Helmut Schmidt University Germany Distributed Systems and Information Systems Universität Hamburg Germany Institute for Programming and Reactive Systems Technische Universität Braunschweig Germany Software Engineering Group University of Siegen Germany Software Engineering Division University of Gothenburg Chalmers Sweden Reliable Software Systems University of Stuttgart Germany Application-oriented Formal Verification Karlsruhe Institute of Technology Germany
Automated machines and plants are operated for some decades and undergo an everlasting evolution during this time. In this paper, we present three related open evolution challenges focusing on software evolution in th... 详细信息
来源: 评论
Visual Language Plans - Formalization of a pedagogical learnflow modeling language
Visual Language Plans - Formalization of a pedagogical learn...
收藏 引用
International Workshop on Petri Nets and Software Engineering, PNSE 2014
作者: Irgang, Kerstin Irgang, Thomas Human-Centered Information Systems Clausthal University of Technology Germany Department of Software Engineering and Theory of Programming Fernuniversität Hagen Germany
In this paper we present an approach to support selfregulated learn-flows in the collaborative environment Metafora. In this environment students construct Visual Language Plans. Those plans model workflows of learnin... 详细信息
来源: 评论
Just-In-Time Software Pipelining  14
Just-In-Time Software Pipelining
收藏 引用
Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization
作者: Hongbo Rong Hyunchul Park Youfeng Wu Cheng Wang Programming Systems Lab Intel Labs
Software pipelining exploits instruction-level parallelism from loops. In static compilers, it has been one of the most efficient optimizations for wide-issue architectures. However, the compilation time is at least O... 详细信息
来源: 评论
Using multi level-modeling techniques for managing mapping information
Using multi level-modeling techniques for managing mapping i...
收藏 引用
Workshop on Multi-Level Modelling, MULTI 2014, Co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and systems, MoDELS 2014
作者: Al-Hilank, Samir Jung, Martin Kips, Detlef Husemann, Dirk Philippsen, Michael Programming Systems Group Martensstr. 3 Erlangen91058 Germany Develop Group Basys GmbH Am Weichselgarten 4 Erlangen91058 Germany
Traditional modeling approaches support a limited set of instantiation levels (typically one for classes and another adjacent one for objects). Multi-level modeling approaches on the other hand have no such limit to t...
来源: 评论
Learning extended finite state machines
收藏 引用
12th International Conference on Software Engineering and Formal Methods, SEFM 2014
作者: Cassel, Sofia Howar, Falk Jonsson, Bengt Steffen, Bernhard Dept. of Information Technology Uppsala University Sweden Carnegie Mellon University Moffet CA United States Department of Programming Systems Technical University Dortmund Germany
We present an active learning algorithm for inferring extended finite state machines (EFSM)s, combining data flow and control behavior. Key to our learning technique is a novel learning model based on so-called tree q... 详细信息
来源: 评论
AccelDroid: Co-designed Acceleration of Android Bytecode
AccelDroid: Co-designed Acceleration of Android Bytecode
收藏 引用
11th IEEE/ACM International Symposium on Code Generation and Optimization (CGO)
作者: Wang, Cheng Wu, Youfeng Cintra, Marcelo Programming Systems Lab Microprocessor and Programming Research Intel Labs
A hardware/software co-designed processor transparently supports a ubiquitous ISA (e.g. x86) with diversified and innovative microarchitectural implementations. It leverages co-designed HW features and dynamic binary ... 详细信息
来源: 评论
The Operating Computing Complex "Dnepr-2"
The Operating Computing Complex "Dnepr-2"
收藏 引用
International Conference on Computer Technology in Russia and in the Former Soviet Union (SoRuCom)
作者: Katerina Lavrischeva Institute of the System Programming of Russian Academy of Sciences Institute of the Mathematical Machines and Systems of Ukraine Academy of Sciences
In paper shortly describes handling calculable complex "Dnepr-2, which including a calculable machine "Dnepr-21" and handling machine "Dnepr-22" for the management by Technologies Processes (T... 详细信息
来源: 评论