咨询与建议

限定检索结果

文献类型

  • 74 篇 会议
  • 51 篇 期刊文献
  • 7 册 图书

馆藏范围

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

日期分布

学科分类号

  • 90 篇 工学
    • 64 篇 计算机科学与技术...
    • 45 篇 软件工程
    • 10 篇 电子科学与技术(可...
    • 10 篇 建筑学
    • 9 篇 信息与通信工程
    • 7 篇 土木工程
    • 5 篇 材料科学与工程(可...
    • 5 篇 控制科学与工程
    • 4 篇 电气工程
    • 3 篇 机械工程
    • 3 篇 仪器科学与技术
    • 3 篇 动力工程及工程热...
    • 3 篇 化学工程与技术
    • 3 篇 环境科学与工程(可...
    • 2 篇 船舶与海洋工程
    • 2 篇 生物医学工程(可授...
    • 2 篇 生物工程
    • 2 篇 安全科学与工程
  • 29 篇 理学
    • 19 篇 数学
    • 4 篇 系统科学
    • 3 篇 物理学
    • 3 篇 化学
    • 3 篇 生物学
    • 2 篇 海洋科学
    • 2 篇 统计学(可授理学、...
  • 16 篇 管理学
    • 14 篇 管理科学与工程(可...
    • 5 篇 图书情报与档案管...
    • 3 篇 工商管理
  • 2 篇 法学
  • 2 篇 医学
    • 2 篇 基础医学(可授医学...
    • 2 篇 临床医学
  • 1 篇 文学
  • 1 篇 农学
  • 1 篇 艺术学

主题

  • 13 篇 computer archite...
  • 7 篇 memory architect...
  • 6 篇 fault tolerance
  • 6 篇 software
  • 5 篇 parallel process...
  • 5 篇 concurrent compu...
  • 5 篇 application soft...
  • 5 篇 computational mo...
  • 5 篇 hardware
  • 4 篇 parallel program...
  • 4 篇 quality of servi...
  • 4 篇 web services
  • 4 篇 delay
  • 3 篇 computer simulat...
  • 3 篇 parallel archite...
  • 3 篇 message passing
  • 3 篇 operating system...
  • 3 篇 service oriented...
  • 3 篇 optimization
  • 3 篇 petri nets

机构

  • 17 篇 state key labora...
  • 7 篇 fraunhofer insti...
  • 6 篇 gmd institute fo...
  • 6 篇 fraunhofer insti...
  • 6 篇 university of ch...
  • 4 篇 school of comput...
  • 4 篇 state key labora...
  • 3 篇 college of compu...
  • 3 篇 julius-maximilia...
  • 3 篇 department of co...
  • 3 篇 school of electr...
  • 3 篇 gmd inst for com...
  • 2 篇 north carolina s...
  • 2 篇 software enginee...
  • 2 篇 school of comput...
  • 2 篇 gmd research ins...
  • 2 篇 distributed syst...
  • 2 篇 lsv ens de cacha...
  • 2 篇 fraunhofer-insti...
  • 2 篇 fraunhofer insti...

作者

  • 5 篇 w.k. giloi
  • 4 篇 zdun uwe
  • 4 篇 li ruan
  • 3 篇 dustdar schahram
  • 3 篇 limin xiao
  • 3 篇 cai ye
  • 3 篇 fei gu
  • 3 篇 c. lindemann
  • 3 篇 u. bruening
  • 3 篇 xiang wang
  • 3 篇 zhang fan
  • 2 篇 bi hua
  • 2 篇 guan xianglong
  • 2 篇 giloi wk
  • 2 篇 w. schroeder-pre...
  • 2 篇 jugel matthias l...
  • 2 篇 mihhail matskin
  • 2 篇 s. lemm
  • 2 篇 rui liu
  • 2 篇 hakan ferhatosma...

语言

  • 123 篇 英文
  • 5 篇 中文
  • 4 篇 其他
检索条件"机构=GMD Institute for Computer Architecture and Software Technology"
132 条 记 录,以下是101-110 订阅
Formalization of autonomous dynamic reconfiguration in distributed constraint satisfaction
收藏 引用
Fundamenta Informaticae 2000年 第1期43卷 129-151页
作者: Hannebauer, Markus Planning and Optimization Laboratory Research Institute for Computer Architecture and Software Technology (FIRST) GMD — German National Research Center for Information Technology eMail: hannebau@first.gmd.de
Several interesting practical problems in process control, planning and scheduling can be expressed and solved using the model of constraint satisfaction problems. At least four drawbacks of this classical model direc... 详细信息
来源: 评论
Analysis of nonstationary time series by mixtures of self-organizing predictors
Analysis of nonstationary time series by mixtures of self-or...
收藏 引用
IEEE Workshop on Neural Networks for Signal Processing
作者: J. Kohlmorgen S. Lemm G. Ratsch K.-R. Muller GMD FIRSTGerman National Research Center for Information Technology Institute for Computer Architecture and Software Technology Berlin Germany
Presents a method for the analysis of time series from drifting or switching dynamics. In an extension to existing approaches that identify switches or drifts between stationary dynamical modes, the method allows one ... 详细信息
来源: 评论
Modeling node architectures
Modeling node architectures
收藏 引用
Proceedings of the 1998 6th International Symposium on Modeling, Analysis and Simulation of computer and Telecommunications Systems, MASCOTS
作者: Giloi, Wolfgang K. Lindemann, Christoph Pletner, Samuel GMD Inst for Computer Architecture and Software Technology Berlin Germany
This paper presents a modeling approach based on deterministic and stochastic Petri nets (DSPN) for analyzing the performance of node architectures for MIMD multiprocessor systems with distributed memory. DSPN are a n... 详细信息
来源: 评论
Lowering HPF procedure interface to a canonical representation  10th
收藏 引用
10th Annual International Workshop on Languages and Compilers for Parallel Computing, LCPC 1997
作者: Borowiec, Jan Veen, Arthur GMD FIRST Research Institute For Computer Architecture and Software Technology Rudower Chaussee 5 Berlin12489 Germany Parallel Computing Amsterdam Netherlands
Handling the procedure interface in an HPF compiler is complex due to the many possible combinations of Fortran 90/HPF properties of an actual array argument and its associated dummy argument. This paper describes an ... 详细信息
来源: 评论
Modeling node architectures
Modeling node architectures
收藏 引用
International Symposium on Modeling, Analysis and Simulation of computer and Telecommunication Systems (MASCOTS)
作者: W.K. Giloi C. Lindemann S. Pletner Software Technology GMD FIRST GMD Institute for Computer Architecture Berlin Germany
This paper presents a modeling approach based on deterministic and stochastic Petri nets (DSPN) for analyzing the performance of node architectures for MIMD multiprocessor systems with distributed memory. DSPN are a n... 详细信息
来源: 评论
HITERM - high-performance computing for technological risk management
收藏 引用
Transactions of the Society for computer Simulation 1998年 第3期15卷 109-114页
作者: Unger, Steffen Gerharz, Irene Mieth, Peter Wottrich, Susanne GMD - Research Inst for Computer Architecture and Software Technology Berlin Germany
HITERM is a decision support tool for the management of the accidental release of toxic substances. It consists of several interconnected (possibly remotely located) parts. The main server supervises the actions of th... 详细信息
来源: 评论
Environment simulation and monitoring system for urban areas
收藏 引用
Transactions of the Society for computer Simulation 1998年 第3期15卷 115-121页
作者: Mieth, Peter Unger, Steffen Jugel, Matthias L. GMD - Research Inst for Computer Architecture and Software Technology Berlin Germany
A prototype of an environmental simulation and monitoring system for urban areas has been developed. This system provides state-of-the-art air and water pollution calculation and analysis tools. A distributed client-s... 详细信息
来源: 评论
Simulation of traffic-induced air pollution for mesoscale applications
收藏 引用
MATHEMATICS AND computerS IN SIMULATION 1997年 第3-6期43卷 285-290页
作者: Sydow, A Lux, T Mieth, P Schafer, RP GMD Research Institute for Computer Architecture and Software Technology (GMD FIRST) Rudower Chaussee 5 D-12489 Berlin Germany
Recent investigations have shown that vehicular traffic is the main source for emissions leading to summer smog. A study of the impact of traffic emission on urban air quality requires a complex air-pollution simulati... 详细信息
来源: 评论
Towards abstraction of message passing programming
Towards abstraction of message passing programming
收藏 引用
Proceedings of the 1997 Conference on Advances in Parallel and Distributed Computing
作者: Bi, Hua GMD Inst for Computer Architecture and Software Technology Berlin Germany
Data-parallel applications are usually programmed in the SPMD paradigm by using a message passing system such as MPI or PVM. However programming by using message passing primitives is still tedious and error-prone. Th... 详细信息
来源: 评论
Proof presentation for isabelle  10th
Proof presentation for isabelle
收藏 引用
10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 1997
作者: Simons, Martin GMD Research Institute for Computer Architecture and Software Technology Technische Universität Berlin Forschungsgruppe Softwaretechnik Franldinstr. 28/29 BerlinD-10587 Germany
We present an approach to the intelligible communication of formal proofs. Observing a close correspondence between the activities of formal-proof development and program development, and using this as a guideline, we... 详细信息
来源: 评论