咨询与建议

限定检索结果

文献类型

  • 143 篇 会议
  • 23 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 86 篇 工学
    • 43 篇 计算机科学与技术...
    • 33 篇 软件工程
    • 29 篇 安全科学与工程
    • 20 篇 控制科学与工程
    • 16 篇 信息与通信工程
    • 8 篇 生物医学工程(可授...
    • 7 篇 电气工程
    • 7 篇 电子科学与技术(可...
    • 5 篇 机械工程
    • 5 篇 建筑学
    • 5 篇 生物工程
    • 4 篇 光学工程
    • 4 篇 动力工程及工程热...
    • 4 篇 土木工程
    • 3 篇 力学(可授工学、理...
    • 3 篇 仪器科学与技术
    • 3 篇 交通运输工程
    • 2 篇 石油与天然气工程
  • 41 篇 理学
    • 20 篇 数学
    • 12 篇 统计学(可授理学、...
    • 11 篇 系统科学
    • 9 篇 物理学
    • 4 篇 生物学
    • 2 篇 大气科学
  • 19 篇 管理学
    • 18 篇 管理科学与工程(可...
    • 6 篇 工商管理
  • 7 篇 医学
    • 6 篇 基础医学(可授医学...
    • 6 篇 临床医学
    • 4 篇 药学(可授医学、理...
  • 2 篇 经济学
    • 2 篇 应用经济学
  • 1 篇 法学
  • 1 篇 农学

主题

  • 30 篇 safety
  • 22 篇 computer archite...
  • 15 篇 hardware
  • 14 篇 system-on-chip
  • 14 篇 iec standards
  • 14 篇 software
  • 10 篇 monitoring
  • 7 篇 reliability
  • 7 篇 software reliabi...
  • 6 篇 failure rate
  • 6 篇 field programmab...
  • 6 篇 vehicles
  • 5 篇 acceleration
  • 5 篇 probability
  • 4 篇 accident prevent...
  • 4 篇 hazards
  • 4 篇 iso standards
  • 4 篇 process control
  • 4 篇 middleware
  • 4 篇 mathematical mod...

机构

  • 25 篇 department of co...
  • 17 篇 computer archite...
  • 13 篇 department of co...
  • 9 篇 icas institute f...
  • 8 篇 institute for co...
  • 7 篇 chair for comput...
  • 7 篇 computer archite...
  • 6 篇 mart learning ed...
  • 6 篇 universitat kass...
  • 4 篇 computer archite...
  • 4 篇 computer archite...
  • 4 篇 university of ka...
  • 4 篇 institute of fun...
  • 4 篇 hima paul hildeb...
  • 4 篇 engineering of r...
  • 3 篇 ivannikov instit...
  • 3 篇 school of naval ...
  • 3 篇 university of ka...
  • 3 篇 dept. of compute...
  • 3 篇 computer archite...

作者

  • 43 篇 josef börcsök
  • 30 篇 ali hayek
  • 21 篇 börcsök josef
  • 15 篇 börcsök j.
  • 15 篇 boercsoek josef
  • 14 篇 hayek ali
  • 10 篇 roy abi zeid dao...
  • 8 篇 j. börcsök
  • 8 篇 schwarz m.h.
  • 8 篇 schwarz michael
  • 7 篇 j. borcsok
  • 7 篇 michael schwarz
  • 7 篇 michael schreibe...
  • 7 篇 daou roy abi zei...
  • 7 篇 krini abderrahim
  • 6 篇 holub p.
  • 6 篇 boercsoek j.
  • 6 篇 josef boercsoek
  • 6 篇 ossmane krini
  • 6 篇 borcsok josef

语言

  • 158 篇 英文
  • 6 篇 中文
  • 2 篇 其他
检索条件"机构=Architecture and System Programming"
166 条 记 录,以下是111-120 订阅
Approach to predict the software reliability with different methods
Approach to predict the software reliability with different ...
收藏 引用
7th International Conference on Electrical and Electronics Engineering, ELECO 2011
作者: Krini, Ossmane Börcsök, Josef Computer Architecture and System Programming University of Kassel Germany
This particular essay expounds upon how one can foresee and predict software reliability. There are two major components that exist within a computer system: hardware and software. The reliabilities between the two ar... 详细信息
来源: 评论
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...
来源: 评论
Enhancing a simulation environment for computer architecture to a systemC based testbench tool for design verification
Enhancing a simulation environment for computer architecture...
收藏 引用
2011 23rd International Symposium on Information, Communication and Automation Technologies, ICAT 2011
作者: Westmeier, M. Herwig, B. Börcsök, J. Computer Architecture and System Programming University of Kassel Kassel Germany
This paper presents a simulation environment, which is a C++/systemC based integrated framework for functional verification of designed components or electronic architectures and enhances the existing computer archite... 详细信息
来源: 评论
New approach to determine the critical number of failure in software systems
New approach to determine the critical number of failure in ...
收藏 引用
2011 23rd International Symposium on Information, Communication and Automation Technologies, ICAT 2011
作者: Krini, Ossmane Börcsök, Josef Computer Architecture and System Programming University of Kassel Kassel Germany
Software-Engineering is very important today. In industry (specifically by software critical system) it is important to produce high reliable software, i.e. software with low proportion of faults. To produce such reli... 详细信息
来源: 评论
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...
来源: 评论
Estimation and evaluation of the 1004-architecture for safety related systems
Estimation and evaluation of the 1004-architecture for safet...
收藏 引用
7th International Conference on Electrical and Electronics Engineering, ELECO 2011
作者: Börcsök, Josef Hayek, Ali Computer Architecture and System Programming University of Kassel Wilhelmshöher Allee 71 34121 Kassel Germany
In the standard IEC 61508 miscellaneous architectures for safety related systems are introduced. Depending on the required safety, reliability and availability levels several architectures such as 1002-, 2002-, 1003-,... 详细信息
来源: 评论
The Relationship between Diagnostic Coverage and Proof Test Interval for 1oo2 and 1oo2D architectures
收藏 引用
IFAC Proceedings Volumes 2012年 第24期45卷 181-184页
作者: İlker üstoğlu özgür T. Kaymakçı Josef Börcsök Yıldız Technical University Davutpaşa Campus A209 34220 34220 Esenler İstanbul TURKEY (Tel: +90-535-418-22-64 ) Yıldız Technical University Davutpaşa Campus A210 34220 34220 Esenler İstanbul 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... 详细信息
来源: 评论
Sophisticated Calculation of the 1oo4-architecture for Safety-related systems Conforming to IEC61508
收藏 引用
Journal of Physics: Conference Series 2012年 第1期364卷
作者: A Hayek M Al Bokhaiti M H Schwarz J Boercsoek To whom any correspondence should be addressed Institute of Computer Architecture and System Programming University of Kassel Wilhelmshoeher Allee 71 34121 Kassel Germany
With the publication and enforcement of the standard IEC 61508 of safety related systems, recent system architectures have been presented and evaluated. Among a number of techniques and measures to the evaluation of s...
来源: 评论