咨询与建议

限定检索结果

文献类型

  • 242 篇 会议
  • 56 篇 期刊文献
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 168 篇 工学
    • 114 篇 计算机科学与技术...
    • 90 篇 软件工程
    • 22 篇 信息与通信工程
    • 22 篇 控制科学与工程
    • 18 篇 生物医学工程(可授...
    • 17 篇 安全科学与工程
    • 16 篇 电气工程
    • 14 篇 生物工程
    • 11 篇 电子科学与技术(可...
    • 9 篇 网络空间安全
    • 7 篇 仪器科学与技术
    • 7 篇 材料科学与工程(可...
    • 6 篇 光学工程
    • 6 篇 土木工程
    • 5 篇 动力工程及工程热...
    • 5 篇 交通运输工程
  • 91 篇 理学
    • 42 篇 数学
    • 30 篇 物理学
    • 18 篇 统计学(可授理学、...
    • 15 篇 生物学
    • 12 篇 系统科学
    • 4 篇 化学
    • 4 篇 海洋科学
  • 45 篇 管理学
    • 31 篇 管理科学与工程(可...
    • 15 篇 图书情报与档案管...
    • 11 篇 工商管理
  • 16 篇 医学
    • 14 篇 临床医学
    • 12 篇 基础医学(可授医学...
    • 9 篇 药学(可授医学、理...
  • 6 篇 教育学
    • 6 篇 教育学
  • 4 篇 法学
  • 4 篇 农学
  • 3 篇 经济学

主题

  • 14 篇 software
  • 10 篇 training
  • 8 篇 forecasting
  • 7 篇 computer archite...
  • 7 篇 neural networks
  • 7 篇 monitoring
  • 6 篇 safety
  • 6 篇 static analysis
  • 6 篇 machine learning
  • 6 篇 hardware
  • 6 篇 testing
  • 6 篇 mathematical mod...
  • 5 篇 tools
  • 5 篇 software quality
  • 4 篇 information syst...
  • 4 篇 reliability
  • 4 篇 registers
  • 4 篇 support vector m...
  • 4 篇 programming
  • 4 篇 automation

机构

  • 30 篇 department of sy...
  • 25 篇 department of co...
  • 13 篇 department of co...
  • 8 篇 computer techniq...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 mart learning ed...
  • 5 篇 computer enginee...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of fo...
  • 5 篇 department of co...
  • 5 篇 department of in...
  • 5 篇 universitat kass...
  • 4 篇 school of electr...
  • 4 篇 department of co...
  • 4 篇 university of ka...
  • 4 篇 information comm...
  • 4 篇 department of sy...

作者

  • 19 篇 abotaleb mostafa
  • 16 篇 mostafa abotaleb
  • 14 篇 josef börcsök
  • 12 篇 ali hayek
  • 10 篇 börcsök josef
  • 10 篇 hayek ali
  • 10 篇 boercsoek josef
  • 9 篇 yevtushenko nina
  • 9 篇 el-kenawy el-say...
  • 9 篇 roy abi zeid dao...
  • 8 篇 makarovskikh tat...
  • 8 篇 abdelhameed ibra...
  • 7 篇 daou roy abi zei...
  • 7 篇 oleg savenko
  • 7 篇 tetiana hovorush...
  • 6 篇 el-sayed m. el-k...
  • 6 篇 hovorushchenko t...
  • 6 篇 krini abderrahim
  • 6 篇 savenko oleg
  • 5 篇 el-sayed m.el-ke...

语言

  • 294 篇 英文
  • 3 篇 中文
  • 1 篇 俄文
  • 1 篇 其他
检索条件"机构=Department of System Programming"
299 条 记 录,以下是261-270 订阅
排序:
Matlab / Simulink generated source code for safety related systems
Matlab / Simulink generated source code for safety related s...
收藏 引用
s6th IEEE/ACS International Conference on Computer systems and Applications, AICCSA 2008
作者: Schwarz, M.H. Sheng, H. Sheleh, A. Boercsoek, J. University of Kassel Department of Computer Architecture and System Programming Kassel Germany HIMA Paul Hildebrandt GmbH+Co. KG Bruehl Germany
The authors present their latest research results and developments of a code generator for Matlab / Simulink block diagrams and to download the generated code onto safety related systems such as a safety PLC (Programm... 详细信息
来源: 评论
MP-06.17: Efficacy and safety of dutasteride, tamsulosin and the combination in Asian men: 4-year results from the randomised, double-blind, CombAT trial
收藏 引用
Urology 2009年 第4期74卷 S74-S74页
作者: Chung, B.H. Roehrborn, C. Siami, P. Major-Walker, K. Wilson, T. Montorsi, F. Department of Urology Yonsei University Health System Seoul Korea Department of Urology UT Southwestern Medical Center Dallas Texas Welborn Clinic Evansville Indiana USA Clinical Development GlaxoSmithKline Research Triangle Park North Carolina USA Biostatistics and Programming GlaxoSmithKline Research Triangle Park North Carolina USA Department of Urology Universita Vita Salute San Raffaele Milan Italy
来源: 评论
Coverage-directed verification of microprocessor units based on cycle-accurate contract specifications
Coverage-directed verification of microprocessor units based...
收藏 引用
East-West Design & Test Symposium (EWDTS)
作者: Alexander Kamkin Software Engineering Department Institute for System Programming of Russian Academy of Sciences Moscow Russia
In this paper we describe a method for simulation-based verification of microprocessor units based on cycle-accurate contract specifications. Such specifications describe behavior of a unit in the form of precondition... 详细信息
来源: 评论
Optimizing neural network architecture using Tikhonov regularization parameter for intrusion detection systems and classification of attacks
Optimizing neural network architecture using Tikhonov regula...
收藏 引用
2008 International Conference on Information and Knowledge Engineering, IKE 2008
作者: Sharawi, Marwa S. Sammany, Mohammed El-Beltagy, Mohammed Saroit, Imane Faculty of Informatics and Computer Science British University in Egypt Cairo Egypt Department of Applied Mathematics and Programming Aleppo University Aleppo Syria Department of Decision Support System Faculty of Computers and Information Cairo University Cairo Egypt Department of Information Technology Faculty of Computers and Information Cairo University Cairo Egypt
Network Intrusion Detection systems (NIDS) require the ability to generalize from previously observed attacks to detect even new or slight variation records of known attacks. As an intrusion detection system can be re... 详细信息
来源: 评论
"MASTAC": New curriculum for master and doctoral studies in critical software and computing
"MASTAC": New curriculum for master and doctoral studies in ...
收藏 引用
30th International Conference on Software Engineering, ICSE 2008 - 2008 International Workshop on Software Engineering in East and South Europe Workshop, SEESE'08
作者: Kharchenko, Vyacheslav Pomorova, Oksana Phillips, Chris Romanovsky, Alexander Popov, Peter Troubitsyna, Elena Department Computer Systems Networks National Aerospace University KhAI Department of System Programming Khmelnitskiy National University School of Computing Science University Newcastle upon Tyne Centre for Software Reliability University Newcastle upon Tyne Centre for Software Reliability City University London Department of Computer Science Åbo Akademi University
The paper presents the on-going EC-funded Tempus project "MSc and PhD studies in Aerospace Critical Computing" executed by the National Aerospace University, Kharkiv, Ukraine with the support of Newcastle Un... 详细信息
来源: 评论
Automatic Type Reconstruction in Disassembled C Programs
Automatic Type Reconstruction in Disassembled C Programs
收藏 引用
Working Conference on Reverse Engineering
作者: K. Dolgova A. Chernov Institute for System Programming Russian Academy of Science Moscow Russia Computational Mathematics and Cybernetics Department Moscow State University Moscow Russia
This paper presents an algorithm for automatic type reconstruction from target assembly code compiled by a C compiler. The primitive language types are recovered by an iterative algorithm, which operates over the latt... 详细信息
来源: 评论
Matlab® / Simulink® generated source code for safety related systems
Matlab® / Simulink® generated source code for safety relat...
收藏 引用
ACS/IEEE International Conference on Computer systems and Applications
作者: M.H. Schwarz H. Sheng A. Sheleh J. Boercsoek Department of Computer architecture and System programming University of Kassel Kassel Germany HIMA Paul Hildebrandt GmbH+Co KG Bruehl Germany
The authors present their latest research results and developments of a code generator for Matlab/Simulink block diagrams and to download the generated code onto safety related systems such as a safety PLC (programmab... 详细信息
来源: 评论
Advances of OPC client server architectures for maintenance strategies - A research and development area not only for industries
收藏 引用
WSEAS Transactions on systems and Control 2008年 第3期3卷 195-207页
作者: Schwarz, M.H. Boercsoek, J. University of Kassel Department of Computer-architecture and System-programming Wilhelmshoeher Allee 34121 Kassel Germany HIMA Paul Hildebrandt GmbH + Co KG Albert-Bassermann-Str. 28 68782 Brühl Germany
OPC is a matured and accepted standard in industries, but hardly used in industrial applications developed at universities, especially in Europe. Publications in this area, either using OPC-communication or developing... 详细信息
来源: 评论
Control of Autonomous Solid Oxide Fuel Cells Subject to Sudden Load Variations
Control of Autonomous Solid Oxide Fuel Cells Subject to Sudd...
收藏 引用
2008 IEEE/PES Transmission & Distribution Conference & Exposition, part 1
作者: Dong-Jing Lee Li Wang Department of Electrical Engineering and Computer Science Chair for Computer Architecture and System Programming National Cheng Kung University Tainan Taiwan
This paper presents dynamic behaviors of autonomous solid oxide fuel cells (SOFC) with AC bus control. Both voltage and frequency control are utilized to achieve load-sharing of the studied SOFC feeding isolated loads... 详细信息
来源: 评论
Redundant optical data transmission using semiconductor lasers
Redundant optical data transmission using semiconductor lase...
收藏 引用
ACS/IEEE International Conference on Computer systems and Applications
作者: H. D. Wacker J. Borcsok H. Hillmer Development HIMA Paul Hildebrandt GmbH + Co KG Bruehl GERMANY Department of Electrical Engineering and Computer Science Chair for Computer Architecture and System Programming Kassel GERMANY University of Kassel Institute of Nanostructure Technologies and Analytics (INA) and Center for Interdisciplinary Nanostructure Science and Technology (CINSaT) Kassel GERMANY
This paper is dealing with redundant optoelectronic data transmission with special respect to laser channels. The concept of the generalized erasure channel (GEC) is used to determine the probability of undetected err... 详细信息
来源: 评论