咨询与建议

限定检索结果

文献类型

  • 69 篇 会议
  • 15 篇 期刊文献
  • 4 册 图书

馆藏范围

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

日期分布

学科分类号

  • 46 篇 工学
    • 41 篇 计算机科学与技术...
    • 30 篇 软件工程
    • 7 篇 控制科学与工程
    • 5 篇 信息与通信工程
    • 4 篇 电气工程
    • 2 篇 机械工程
    • 2 篇 动力工程及工程热...
    • 2 篇 建筑学
    • 1 篇 力学(可授工学、理...
    • 1 篇 仪器科学与技术
    • 1 篇 土木工程
    • 1 篇 化学工程与技术
    • 1 篇 船舶与海洋工程
    • 1 篇 生物工程
    • 1 篇 安全科学与工程
    • 1 篇 网络空间安全
  • 18 篇 理学
    • 9 篇 数学
    • 4 篇 物理学
    • 4 篇 系统科学
    • 4 篇 统计学(可授理学、...
    • 1 篇 化学
    • 1 篇 海洋科学
    • 1 篇 生物学
  • 14 篇 管理学
    • 9 篇 图书情报与档案管...
    • 7 篇 管理科学与工程(可...
    • 3 篇 工商管理
    • 1 篇 公共管理
  • 2 篇 法学
    • 2 篇 社会学
    • 1 篇 政治学
  • 1 篇 文学
    • 1 篇 新闻传播学

主题

  • 8 篇 software enginee...
  • 5 篇 computer archite...
  • 5 篇 semantics
  • 4 篇 task analysis
  • 4 篇 predictive model...
  • 4 篇 software
  • 4 篇 intelligent syst...
  • 3 篇 service oriented...
  • 3 篇 ontologies
  • 3 篇 internet
  • 3 篇 analytical model...
  • 3 篇 humans
  • 3 篇 hardware
  • 3 篇 management of co...
  • 3 篇 data models
  • 3 篇 web services
  • 2 篇 computer science
  • 2 篇 information syst...
  • 2 篇 tuning
  • 2 篇 reliability

机构

  • 16 篇 institute for pr...
  • 15 篇 institute for pr...
  • 8 篇 karlsruhe instit...
  • 6 篇 institute for pr...
  • 3 篇 department of st...
  • 3 篇 institute for pr...
  • 2 篇 department of ma...
  • 2 篇 software enginee...
  • 2 篇 software enginee...
  • 2 篇 mayflower gmbh m...
  • 2 篇 department of co...
  • 2 篇 institute of com...
  • 2 篇 institute for pr...
  • 2 篇 program structur...
  • 2 篇 corporate resear...
  • 2 篇 department of co...
  • 1 篇 computer science...
  • 1 篇 institute of pro...
  • 1 篇 institute for in...
  • 1 篇 chair for public...

作者

  • 9 篇 walter f. tichy
  • 7 篇 tichy walter f.
  • 7 篇 böhm klemens
  • 7 篇 klemens böhm
  • 6 篇 weigelt sebastia...
  • 5 篇 ralf reussner
  • 4 篇 tobias hey
  • 4 篇 hütter christian
  • 4 篇 klemens bohm
  • 4 篇 christian hütter
  • 4 篇 sebastian weigel...
  • 3 篇 wilhelm hasselbr...
  • 3 篇 vanessa steurer
  • 3 篇 birgit vogel-heu...
  • 3 篇 szabó zoltán
  • 3 篇 klein michael
  • 3 篇 reussner ralf
  • 3 篇 kalinke florian
  • 2 篇 piotr rygielski
  • 2 篇 christian von de...

语言

  • 87 篇 英文
  • 1 篇 其他
检索条件"机构=Institute for Program Structures and Data Organization Karlsruhe Institute of Technology"
88 条 记 录,以下是51-60 订阅
排序:
Description and Matching of Services in Mobile Environments
Description and Matching of Services in Mobile Environments
收藏 引用
Mobile Information Management 2004
作者: Grünbauer, Johannes Klein, Michael Institut für Informatik Technische Universität München Garching85748 Germany Institute for Program Structures and Data Organization Universität Karlsruhe Karlsruhe76128 Germany
来源: 评论
How Domain Knowledge can Improve Machine Learning Surrogates for Manufacturing Process Optimization – a Comparative Study
收藏 引用
Procedia CIRP 2024年 130卷 145-153页
作者: Bela H. Böhnke Aleksandr Eismont Clemens Zimmerling Luise Kärger Klemens Böhm Institute for Program Structures and Data Organization (IPD) Karlsruhe Institute of Technology (KIT) Karlsruhe Germany Institute of Vehicle System Technology - Lightweight Engineering (FAST-LB) Karlsruhe Institute of Technology (KIT) Karlsruhe Germany
In various industries, optimizing manufacturing parameters is vital for the efficient production of high-quality products. Traditional methods involve costly production trials and process tuning – particularly when d... 详细信息
来源: 评论
Formal verification of dead code elimination in Isabelle/HOL
Formal verification of dead code elimination in Isabelle/HOL
收藏 引用
International Conference on Software Engineering and Formal Methods (SEFM)
作者: J.O. Blech L. Gesellensetter S. Glesner Institute for Program Structures and Data Organization University of Karlsruhe Karlsruhe Germany
Correct compilers are a vital precondition to ensure software correctness. Optimizations are the most error-prone phases in compilers. In this paper, we formally verify dead code elimination (DCE) within the theorem p... 详细信息
来源: 评论
Reducing search space of auto-tuners using parallel patterns
Reducing search space of auto-tuners using parallel patterns
收藏 引用
ICSE Workshop on Multicore Software Engineering, IWMSE
作者: Christoph A. Schaefer Institute of Program Structures and Data Organization University of Karlsruhe Karlsruhe Germany
Auto-tuning is indispensable to achieve best performance of parallel applications, as manual tuning is extremely labor intensive and error-prone. Search-based auto-tuners offer a systematic way to find performance opt... 详细信息
来源: 评论
An Empirical Study on the Current and Future Challenges of Automotive Software Release and Configuration Management
An Empirical Study on the Current and Future Challenges of A...
收藏 引用
Euromicro Conference on Software Engineering and Advanced Applications (SEAA)
作者: Houssem Guissouma Heiko Klare Eric Sax Erik Burger Institute for Information Processing Technologies Karlsruhe Institute of Technology Germany Institute for Program Structures and Data Organization Karlsruhe Institute of Technology Germany
Current automotive trends, such as autonomous and connected driving, are mainly enabled by embedded software that is deployed on a network of several, often more than one hundred, electronic control units. These softw... 详细信息
来源: 评论
Decision support under imperfections in electronic commerce
Decision support under imperfections in electronic commerce
收藏 引用
International Workshop on database and Expert Systems Applications
作者: G. Lukacs Institute for Program Structures and Data Organization Universität Karlsruhe Karlsruhe Germany
The selection of products and services is a central issue in electronic commerce. Available data is often not sufficient to allow a precise evaluation and user preferences are usually vague. In this paper, a model for... 详细信息
来源: 评论
Towards an interactive query environment for a multi-attribute decision model with imprecise data and vague query conditions
Towards an interactive query environment for a multi-attribu...
收藏 引用
International Workshop on database and Expert Systems Applications
作者: G. Lukacs Institute for Program Structures and Data Organization Universität Karlsruhe Karlsruhe Germany
A multi-attribute decision model aiming at the selection of an efficient set of alternatives is presented. The major challenge is that the alternatives are not perfectly known, i.e., the associated values may be impre... 详细信息
来源: 评论
Parallelizing an index generator for desktop search  10
Parallelizing an index generator for desktop search
收藏 引用
Proceedings of the 2010 international conference on Computer Architecture
作者: David J. Meder Walter F. Tichy Institute for Program Structures and Data Organization (IPD) University of Karlsruhe Karlsruhe Germany
Experience with the parallelization of an index generator for desktop search is presented. Several configurations of the index generator are compared on three different Intel platforms with 4, 8, and 32 cores. The opt... 详细信息
来源: 评论
Process-Based database Support for the Early Indicator Method  3
Process-Based Database Support for the Early Indicator Metho...
收藏 引用
3rd International Conference on Knowledge Discovery and data Mining, KDD 1997
作者: Breitner, Christoph Schlösser, Jörg Wirth, Rüdiger University of Karlsruhe Institute for Program Structures and Data Organization Karlsruhe76128 Germany Daimler-Benz AG Research and Technology F3S/E P. O. Box 23 60 UlmD-89013 Germany
In Wirth & Reinartz (1996), we introduced the early indicator method, a multi-strategy approach for the efficient prediction of various aspects of the fault profile of a set of cars in a large automotive database.... 详细信息
来源: 评论
Indirect Reciprocity in Policy-Based Helping Experiments
Indirect Reciprocity in Policy-Based Helping Experiments
收藏 引用
European Conference on Web Services (ECOWS)
作者: Christian von der Weth Klemens Böhm Thorben Burghardt Christian Hütter Jing Zhi Yue Institute for Program Structures and Data Organization Universität Karlsruhe (TH) Karlsruhe Germany
In service-oriented architectures, participants keep interacting by exchanging tasks, in order to increase their benefit. Since carrying out a task incurs costs, and participants often interact with unknown partners, ... 详细信息
来源: 评论