咨询与建议

限定检索结果

文献类型

  • 284 篇 会议
  • 126 篇 期刊文献
  • 16 册 图书

馆藏范围

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

日期分布

学科分类号

  • 275 篇 工学
    • 213 篇 计算机科学与技术...
    • 159 篇 软件工程
    • 35 篇 信息与通信工程
    • 33 篇 控制科学与工程
    • 25 篇 电气工程
    • 17 篇 电子科学与技术(可...
    • 13 篇 机械工程
    • 12 篇 生物医学工程(可授...
    • 12 篇 生物工程
    • 11 篇 安全科学与工程
    • 7 篇 土木工程
    • 7 篇 网络空间安全
    • 6 篇 材料科学与工程(可...
    • 6 篇 动力工程及工程热...
    • 6 篇 化学工程与技术
    • 6 篇 石油与天然气工程
  • 145 篇 理学
    • 98 篇 数学
    • 20 篇 系统科学
    • 17 篇 生物学
    • 14 篇 物理学
    • 13 篇 统计学(可授理学、...
    • 7 篇 化学
  • 54 篇 管理学
    • 41 篇 管理科学与工程(可...
    • 23 篇 工商管理
    • 13 篇 图书情报与档案管...
  • 13 篇 医学
    • 10 篇 临床医学
    • 9 篇 基础医学(可授医学...
  • 12 篇 教育学
    • 10 篇 教育学
  • 10 篇 经济学
    • 10 篇 应用经济学
  • 7 篇 法学
    • 7 篇 社会学
  • 6 篇 农学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 艺术学

主题

  • 24 篇 artificial intel...
  • 22 篇 computer science
  • 12 篇 software enginee...
  • 10 篇 semantics
  • 9 篇 application soft...
  • 9 篇 logic programmin...
  • 8 篇 programming prof...
  • 7 篇 information stor...
  • 6 篇 libraries
  • 6 篇 java
  • 6 篇 monitoring
  • 6 篇 computer languag...
  • 6 篇 hardware
  • 6 篇 middleware
  • 6 篇 equations
  • 5 篇 information syst...
  • 5 篇 parallel program...
  • 5 篇 laboratories
  • 5 篇 specifications
  • 5 篇 security

机构

  • 10 篇 department of sy...
  • 7 篇 department of ap...
  • 6 篇 programming meth...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 mart learning ed...
  • 4 篇 federal research...
  • 4 篇 department of co...
  • 4 篇 computer enginee...
  • 3 篇 german research ...
  • 3 篇 zuse institute b...
  • 3 篇 university of tw...
  • 3 篇 department of co...
  • 3 篇 rwth aachen univ...
  • 3 篇 research group p...
  • 3 篇 university of ka...
  • 3 篇 programming rese...
  • 3 篇 department of ap...
  • 3 篇 department of ap...

作者

  • 10 篇 fritzson peter
  • 8 篇 hayek ali
  • 7 篇 mostafa abotaleb
  • 7 篇 philippsen micha...
  • 6 篇 boercsoek josef
  • 6 篇 doaa sami khafag...
  • 6 篇 abdelhameed ibra...
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 maiti manoranjan
  • 5 篇 de meuter wolfga...
  • 5 篇 henning christia...
  • 5 篇 roy abi zeid dao...
  • 5 篇 ali hayek
  • 4 篇 troels andreasen
  • 4 篇 choe km
  • 4 篇 scholz sven-bodo
  • 4 篇 bergstra j.a.
  • 4 篇 skiba alexander
  • 4 篇 daou roy abi zei...

语言

  • 403 篇 英文
  • 22 篇 其他
  • 1 篇 中文
检索条件"机构=Department of Computer science and Programming"
426 条 记 录,以下是171-180 订阅
排序:
Improving communication in PGAS environments: Static and dynamic coalescing in UPC  13
Improving communication in PGAS environments: Static and dyn...
收藏 引用
27th ACM International Conference on Supercomputing, ICS 2013
作者: Alvanos, Michail Farreras, Montse Tiotto, Ettore Amaral, José Nelson Martorell, Xavier Programming Models Barcelona Supercomputer Center Barcelona Spain Department of Computer Architecture Universitat Politecnica de Catalunya Cr. Jordi Girona 1-3 08034 Barcelona Spain Static Compilation Technology IBM Toronto Laboratory Toronto ON Canada Dep. of Computing Science University of Alberta Edmonton AB Canada Barcelona Supercomputing Center Cr. Jordi Girona 29 08034 Barcelona Spain IBM Canada CAS Research Markham ON Canada
The goal of Partitioned Global Address Space (PGAS) languages is to improve programmer productivity in large scale parallel machines. However, PGAS programs may have many fine-grained shared accesses that lead to perf... 详细信息
来源: 评论
Annotation support for generic patches
Annotation support for generic patches
收藏 引用
2012 3rd International Workshop on Recommendation Systems for Software Engineering, RSSE 2012
作者: Dotzler, Georg Veldema, Ronald Philippsen, Michael University of Erlangen-Nuremberg Computer Science Department Programming Systems Group Erlangen Germany
In large projects parallelization of existing programs or refactoring of source code is time consuming as well as error-prone and would benefit from tool support. However, existing automatic transformation systems are... 详细信息
来源: 评论
A syntactical approach to weak ω-Groupoids
A syntactical approach to weak ω-Groupoids
收藏 引用
26th International Workshop on computer science Logic, CSL 2012/21st Annual Conference of the European Association for computer science Logic, EACSL
作者: Altenkirch, Thorsten Rypáček, Ondřej Functional Programming Laboratory School of Computer Science University of Nottingham United Kingdom Department of Computer Science University of Sheffield United Kingdom
When moving to a Type Theory without proof-irrelevance the notion of a setoid has to be generalized to the notion of a weak ω-groupoid. As a first step in this direction we study the formalisation of weak ω-groupoid... 详细信息
来源: 评论
A stochastic approach to the probability of failure on demand (PFD) with regard to the standard IEC 61508
A stochastic approach to the probability of failure on deman...
收藏 引用
11th International Probabilistic Safety Assessment and Management Conference and the Annual European Safety and Reliability Conference 2012, PSAM11 ESREL 2012
作者: Wacker, H.D. Ugljesa, E. Boercsoek, J. Department of Computer Architecture and System Programming Faculty of Electrical Engineering /Computer Science University Kassel Wilhelmshöher Allee 71 Germany
Let there be given a safety related electronic system suffering from random failures or errors. The standard IEC 61508 contains simplified equations for the probability of failure on demand PFDavg for special system a... 详细信息
来源: 评论
Cross-language code analysis and refactoring
Cross-language code analysis and refactoring
收藏 引用
2012 IEEE 12th International Working Conference on Source Code Analysis and Manipulation, SCAM 2012
作者: Mayer, Philip Schroeder, Andreas Department of Programming and Software Engineering Institute for Computer Science Ludwig-Maximilians-Universität München Germany
Software composed of artifacts written in multiple (programming) languages is pervasive in today's enterprise, desktop, and mobile applications. Since they form one system, artifacts from different languages refer... 详细信息
来源: 评论
Multicollisions and graph-based hash functions
Multicollisions and graph-based hash functions
收藏 引用
3rd International Conference on Trusted Systems, INTRUST 2011
作者: Halunen, Kimmo Oulu University Secure Programming Group Department of Computer Science and Engineering University of Oulu P.O. Box 4500 90014 Oulu Finland
In this paper, we present some generalisations of previous multicollision finding methods and apply these against a new type of tree-based hash functions. We also show that the very general class of hash functions fir... 详细信息
来源: 评论
Annotation support for generic patches
Annotation support for generic patches
收藏 引用
International Workshop on Recommendation Systems for Software Engineering (RSSE)
作者: Georg Dotzler Ronald Veldema Michael Philippsen Computer Science Department Programming Systems Group University of Erlangen-Nuremberg Erlangen Germany
In large projects parallelization of existing programs or refactoring of source code is time consuming as well as error-prone and would benefit from tool support. However, existing automatic transformation systems are... 详细信息
来源: 评论
Corrigendum to ‘A single period inventory model with imperfect production and stochastic demand under chance and imprecise constraints’ [Eur. J. Oper. Res. 188 (2008) 121–139]
收藏 引用
European Journal of Operational Research 2013年 第3期230卷 703-703页
作者: D. Panda S. Kar K. Maity M. Maiti Department of Engineering Science Haldia Institute of Technology Haldia Purba Medinipur Haldia West Bengal 721 657 India Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721 102 India
来源: 评论
Scalable detection of MPI-2 remote memory access inefficiency patterns
Scalable detection of MPI-2 remote memory access inefficienc...
收藏 引用
作者: Hermanns, Marc-André Geimer, Markus Mohr, Bernd Wolf, Felix Laboratory for Parallel Programming German Research School for Simulation Sciences GmbH 52425 Jülich Germany Forschungszentrum Jülich Jülich Supercomputing Centre Germany Department of Computer Science RWTH Aachen University Germany
Wait states in parallel applications can be identified by scanning event traces for characteristic patterns. In our earlier work we defined such inefficiency patterns for MPI-2 one-sided communication, although still ... 详细信息
来源: 评论
Efficient Debugging of Large Algorithmic Modelica Applications
收藏 引用
IFAC Proceedings Volumes 2012年 第2期45卷 1087-1090页
作者: Adeel Asghar Adrian Pop Martin Sjölund Peter Fritzson Programming Environments Laboratory Department of Computer and Information Science Linköping University SE-581 83 Linköping Sweden
Abstract Modelica models often contain functions with algorithmic code. The fraction of algorithmic code is increasing since Modelica, in addition to equation-based modeling, is also used for embedded system control c... 详细信息
来源: 评论