咨询与建议

限定检索结果

文献类型

  • 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 System Programming"
299 条 记 录,以下是231-240 订阅
排序:
New concept to develop a safety sensor network for continuous noninvasive blood pressure monitoring
New concept to develop a safety sensor network for continuou...
收藏 引用
International Conference on Emerging Technologies and Factory Automation (ETFA)
作者: Huiyun Sheng Michael Schwarz Josef Börcsök Department of Computer architecture and System programming University of Kassel Kassel Germany
This paper proposes a continuous, non-invasive blood pressure monitoring system concept, which uses a safety microprocessor to connect sensors for building a body sensor network. The changes in Pulse Transit Time (PTT...
来源: 评论
Keyterm extraction from microblogs' messages using Wikipedia-based keyphraseness measure
Keyterm extraction from microblogs' messages using Wikipedia...
收藏 引用
International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT)
作者: Anton Korshunov Information Systems Department The Institute for System Programming Russian Academy of Sciences Moscow Russia
The paper describes a method for keyterm extraction from messages of microblogs. The described approach utilizes the information obtained by the analysis of structure and content of Wikipedia. The algorithm is based o... 详细信息
来源: 评论
The relationship between diagnostic coverage and proof test interval for 1002 and 1002D architectures
The relationship between diagnostic coverage and proof test ...
收藏 引用
13th IFAC Symposium on Control in Transportation systems, CTS 2012
作者: Üstoǧlu, Ilker Kaymakçi, Özgür T. Börcsök, Josef Yildiz Technical University Davutpaşa Campus A209 34220 34220 Esenler Istanbul Turkey Yildiz Technical University Davutpaşa Campus A210 34220 34220 Esenler Istanbul Turkey University Kassel Faculty of Electrical Engineering / Computer Science Department of Computer Architecture and System Programming Wilhelmshöher Allee 71 34121 Kassel Germany
In order to measure the effectiveness of safety protection systems there are several design parameters. Diagnostic coverage factor is one of the most important parameter which influences all architectures. In this sho... 详细信息
来源: 评论
Effects of quench discretization on superregenerative oscillators
Effects of quench discretization on superregenerative oscill...
收藏 引用
IEEE International Symposium on Circuits and systems (ISCAS)
作者: Pere Palà-Schönwälder Jordi Bonet-Dalmau Francisco del Águila-López Ricard Sanahuja F. Xavier Moncunill-Geniz Department of Electronic System Design and Programming (DiPSE) School of Engineering of Manresa (EPSEM) Universitat Politecnica de Catalunya Spain Department of Signal Theory and Communications (TSC) Universitat Poliltècnica de Catalunya Spain
The performance of superregenerative receivers is strongly influenced by the quench signal and it is a well-known fact that specific quench shapes may optimize certain parameters. Using a frequency-domain approach, in... 详细信息
来源: 评论
A New Method to Detect and Correct the Critical Errors and Determine the Software-Reliability in Critical Software-system
收藏 引用
Journal of Physics: Conference Series 2012年 第1期364卷
作者: Ossmane Krini Josef Börcsök Department of Computer Architecture and System Programming University of Kassel Germany
In order to use electronic systems comprising of software and hardware components in safety related and high safety related applications, it is necessary to meet the Marginal risk numbers required by standards and leg...
来源: 评论
Instruction based Built-in-Testing of Instruction Select Multiplexer in Arithmetic Logic Unit
收藏 引用
Journal of Physics: Conference Series 2012年 第1期364卷
作者: P Tsoozol J Börcsök M Schwarz Department of Computer Architecture and System Programming University of Kassel Germany
Due to the complexity of microprocessor, an efficient testing is a crucial point and serious challenge in safety systems. A new instruction opcode for ALU based Built-In-Test (BIT) is proposed in this paper. With this...
来源: 评论
A partially automated HiL test environment for model-based development using Simulink® and OPC technology
A partially automated HiL test environment for model-based d...
收藏 引用
2011 23rd International Symposium on Information, Communication and Automation Technologies, ICAT 2011
作者: Chaaban, W. Schwarz, M. Batchuluun, B. Sheng, H. Börcsök, J. Department of Computer Architecture and System Programming University of Kassel Kassel Germany
This paper is concerned with the design procedures of an automated testing tool, developed in Matlab®/Simulink® environment, that performs software verification during runtime on a PLC (Programmable Logic Co... 详细信息
来源: 评论
Auto-positioning mount system for Stereoscopic imaging on variable distances
收藏 引用
Journal of Physics: Conference Series 2012年 第1期364卷
作者: Zh Yordanov E Fuchs S Löser J Börcsök Department for Computer Architecture and System Programming University of Kassel 34121 Kassel Germany
This paper describes a stereo-imaging system for variable distances. The setup includes a mechanical mount system-holder, a control unit for the correct positioning of the cameras, the cameras itself and the object to...
来源: 评论
Reconfigurable model-based test program generator for microprocessors
Reconfigurable model-based test program generator for microp...
收藏 引用
International Workshop on Variability-intensive systems Testing, Validation, and Verification
作者: Kamkin, Alexander Kornykhin, Eugene Vorobyev, Dmitry Software Engineering Department Institute for System Programming Russian Academy of Sciences Moscow Russia
Automatic generation and simulation of test programs is known to be the main means for verifying microprocessors. The problem is that test program generators for new designs are often developed from scratch with littl... 详细信息
来源: 评论
Runtime verification of linux kernel modules based on call interception
Runtime verification of linux kernel modules based on call i...
收藏 引用
IEEE International Conference on Software Testing, Verification and Validation
作者: Rubanov, Vladimir V. Shatokhin, Eugene A. Department of Software Engineering Institute for System Programming Russian Academy of Sciences Moscow Russia
Verification of Linux kernel modules and especially device drivers is a critically important task. However, due to the special nature of the kernel operation, it is very challenging to perform runtime analysis of part... 详细信息
来源: 评论