咨询与建议

限定检索结果

文献类型

  • 246 篇 会议
  • 89 篇 期刊文献
  • 13 册 图书

馆藏范围

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

日期分布

学科分类号

  • 214 篇 工学
    • 171 篇 计算机科学与技术...
    • 141 篇 软件工程
    • 26 篇 信息与通信工程
    • 22 篇 控制科学与工程
    • 15 篇 土木工程
    • 15 篇 生物工程
    • 11 篇 电气工程
    • 11 篇 船舶与海洋工程
    • 10 篇 机械工程
    • 10 篇 建筑学
    • 10 篇 生物医学工程(可授...
    • 9 篇 电子科学与技术(可...
    • 8 篇 网络空间安全
    • 7 篇 材料科学与工程(可...
    • 5 篇 光学工程
  • 117 篇 理学
    • 61 篇 数学
    • 24 篇 物理学
    • 19 篇 生物学
    • 15 篇 系统科学
    • 15 篇 统计学(可授理学、...
    • 8 篇 海洋科学
    • 6 篇 化学
  • 60 篇 管理学
    • 38 篇 管理科学与工程(可...
    • 21 篇 图书情报与档案管...
    • 20 篇 工商管理
  • 10 篇 经济学
    • 10 篇 应用经济学
  • 9 篇 医学
    • 8 篇 临床医学
    • 7 篇 基础医学(可授医学...
  • 8 篇 教育学
    • 8 篇 教育学
  • 7 篇 农学
    • 6 篇 作物学
  • 4 篇 法学
  • 2 篇 文学
  • 1 篇 哲学
  • 1 篇 军事学

主题

  • 16 篇 artificial intel...
  • 8 篇 semantics
  • 8 篇 information stor...
  • 7 篇 monitoring
  • 6 篇 information syst...
  • 6 篇 forecasting
  • 6 篇 data models
  • 5 篇 computer science
  • 5 篇 software enginee...
  • 5 篇 predictive model...
  • 5 篇 middleware
  • 5 篇 data structures
  • 5 篇 software
  • 5 篇 standards
  • 4 篇 application soft...
  • 4 篇 model checking
  • 4 篇 supercomputers
  • 4 篇 electronic mail
  • 4 篇 neural networks
  • 4 篇 information tech...

机构

  • 11 篇 department of sy...
  • 10 篇 technical univer...
  • 7 篇 department of pr...
  • 6 篇 department of co...
  • 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 篇 department of co...
  • 5 篇 department of co...
  • 4 篇 school of electr...
  • 4 篇 department of co...
  • 4 篇 department of co...
  • 4 篇 department of pr...
  • 4 篇 computer enginee...
  • 4 篇 tashkent univers...
  • 4 篇 institute for so...

作者

  • 32 篇 steffen bernhard
  • 23 篇 margaria tiziana
  • 11 篇 gancheva veska
  • 8 篇 mostafa abotaleb
  • 8 篇 christiansen hen...
  • 8 篇 abdelhameed ibra...
  • 7 篇 howar falk
  • 7 篇 veska gancheva
  • 7 篇 philippsen micha...
  • 7 篇 zimborás zoltán
  • 6 篇 michael philipps...
  • 6 篇 rakyta péter
  • 6 篇 morse gregory
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 merten maik
  • 5 篇 lamprecht anna-l...
  • 5 篇 koller alexander
  • 5 篇 naujokat stefan
  • 5 篇 doaa sami khafag...

语言

  • 340 篇 英文
  • 4 篇 其他
  • 3 篇 德文
  • 1 篇 法文
检索条件"机构=Department for Programming Systems"
348 条 记 录,以下是31-40 订阅
排序:
Storage of key Features of Images of Sulfur Imprints in the Mathematical Structure Form
Storage of key Features of Images of Sulfur Imprints in the ...
收藏 引用
2020 International Multi-Conference on Industrial Engineering and Modern Technologies, FarEastCon 2020
作者: Bagaev, I.I. Logunova, O.S. Institute of Energy and Automated Systems Nosov Magnitogorsk State Technical University Department of Computer Engineering and Programming Magnitogorsk Russia
The aim of the study is to develop a method for storing images of sulfur imprints. In the framework of the study, a more effective method of representing images of sulfur imprints by using knowledge of the specificity... 详细信息
来源: 评论
Transactional programming in a multi-core environment  07
Transactional programming in a multi-core environment
收藏 引用
2007 ACM SIGPLAN Symposium on Principles and Practice of Parallel programming, PPoPP'07
作者: Adl-Tabatabai, Ali-Reza Kozyrakis, Christos Saha, Bratin Programming Systems Lab. Microprocessor Technology Lab. Intel Corporation Computer Systems Lab. Electrical Engineering Department Stanford University
With single thread performance starting to plateau, HW architects have turned to chip level multiprocessing (CMP) to increase processing power. All major microprocessor companies are aggressively shipping multi-core p... 详细信息
来源: 评论
Software transactional memory
收藏 引用
Queue 2008年 第5期6卷 46-58页
作者: Cascaval, Calin Blundell, Colin Michael, Maged Cain, Harold W. Wu, Peng Chiras, Stefanie Chatterjee, Siddhartha Programming models and tools for scalable systems IBM's T.J. Watson Research Center University of Pennsylvania IBM's Systems and Technology Group Austin Research Laboratory Department of Computer Science University of Texas Austin United States
No abstract available
来源: 评论
Constraint logic programming for resolution of relative time expressions
收藏 引用
10th Conference on Computability in Europe, CiE 2014
作者: Christiansen, Henning Research Group PLIS: Programming Logic and Intelligent Systems Department of Communication Business and Information Technologies Roskilde University Denmark
Translating time expression into absolute time points or durations is a challenge for natural languages processing such as text mining and text understanding in general. We present a constraint logic language CLP(Time... 详细信息
来源: 评论
Grid resource management using lottery scheduling  11
Grid resource management using lottery scheduling
收藏 引用
Proceedings of the 12th International Conference on Computer systems and Technologies
作者: Borovska, Plamenka Aleksieva-Petrova, Adelina Gancheva, Veska Beshkov, Stefan Department of Computer Systems Technical University of Sofia Bulgaria Department of Programming and Computer Technologies Technical University of Sofia Bulgaria Experian Bulgaria Bulgaria
The GRID infrastructure provides an aggregation of a wide variety of distributed resources for solving large-scale data intensive problems in various fields. The aim of this paper is to propose a method for grid resou... 详细信息
来源: 评论
Automated regression testing of CTI-systems
Automated regression testing of CTI-systems
收藏 引用
IEEE European Test Workshop, ETW 2001
作者: Niese, Oliver Margaria, Tiziana Hagerer, Andreas Steffen, Bernhard Brune, Georg Goerigk, Werner Ide, Hans-Dieter METAFrame Technologies GmbH Dortmund Germany Department of Programming Systems Univ. of Dortmund Germany Siemens AG Witten Germany
In this paper we present an integrated testing environment for the automated regression test of Computer Telephony Integrated applications. Its novelty consists of a coordinative test management layer that instantiate... 详细信息
来源: 评论
Automatic loop shaping of QFT applied to an active control design
Automatic loop shaping of QFT applied to an active control d...
收藏 引用
Mediterranean Conference on Control and Automation
作者: Comasólivas, R. Escobet, T. Quevedo, J. Automatic Control Department Technical University of Catalonia Terrassa Spain Department of Electronic Systems Design and Programming Technical University of Catalonia Terrassa Spain
This paper presents a methodology to design automatically a QFT (Quantitative Feedback Theory) robust controller for plants with model uncertainty. The method proposed has as objective to find a QFT robust controller ... 详细信息
来源: 评论
Relaxing underspecified semantic representations for reinterpretation
收藏 引用
Grammars 2000年 第2-3期3卷 217-241页
作者: Koller, Alexander Niehren, Joachim Striegnitz, Kristina Department of Computational Linguistics University of the Saarland 66041 Saarbrücken Germany Programming Systems Lab. University of the Saarland 66041 Saarbrücken Germany
Type and sort conflicts in semantics are usually resolved by a process of reinterpretation, which introduces an operator into the semantic representation. We elaborate on the foundations of a recent approach to reinte... 详细信息
来源: 评论
A filtered tuning method for a GPC controller
A filtered tuning method for a GPC controller
收藏 引用
IET Irish Signals and systems Conference, ISSC 2010
作者: Schwarz, M.H. Cox, C.S. Börcsök, J. Department of Computer Architecture and System Programming Safety Computer Technology University of Kassel Kassel Germany Control Systems Centre University of Sunderland Sunderland United Kingdom Department of Computer Architecture and System Programming University of Kassel Kassel Germany
This paper presents a new tuning method based on model parameters identified in closed-loop. For classical controllers such as PI(D) controllers a large number of simple tuning methods for various application areas ex... 详细信息
来源: 评论
The technique for computer systems Trojan diagnosis in the monitor mode
The technique for computer systems Trojan diagnosis in the m...
收藏 引用
6th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing systems: Technology and Applications, IDAACS'2011
作者: Lysenko, Segiy Savenko, Oleg Department of Khmelnitskiy National University Institutska str. 11 KhNU Khmelnitskiy 29019 Ukraine Computer Systems and Programming Faculty System Programming Department Khmelnitskiy National University Institutska str. 11 KhNU Khmelnitskiy 29019 Ukraine
New technique for computer system Trojan diagnosis in monitor mode which uses fuzzy logic and allows improving reliability and efficiency is developed. © 2011 IEEE.
来源: 评论