Safe and reliable Hardware and Software

被引：0
|
作者：
Kuch, M. A. Oliver [1 ]
机构：
[1] Fraunhofer Inst Sichere Informat Technol, SIT, D-64295 Darmstadt, Germany
来源：
ATP EDITION | 2009年 / 07期
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：22 / 22
页数：1
相关论文
共 50 条
  • [1] Safe and Reliable Software
    Gupta, Pankaj
    ITNOW, 2024, 66 (02) : 62 - 63
  • [2] Hardware Atomicity for Reliable Software Speculation
    Neelakantam, Naveen
    Rajwar, Ravi
    Srinivas, Suresh
    Srinivasan, Uma
    Zilles, Craig
    ISCA'07: 34TH ANNUAL INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE, CONFERENCE PROCEEDINGS, 2007, : 174 - 185
  • [3] TOWARDS SAFE AND RELIABLE SOFTWARE FOR EUROSTAR
    RILEY, P
    GEC JOURNAL OF RESEARCH, 1995, 12 (01): : 3 - 12
  • [4] PROGRAM VERIFICATION - AN APPROACH TO RELIABLE HARDWARE AND SOFTWARE
    MOORE, JS
    LAMPORT, L
    TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, 1980, 35 (NOV): : 252 - 253
  • [5] Safe, effective, and reliable software design and development
    Fries, Richard C.
    Pienkowski, Paul J.
    Jorgens III, Joseph
    Biomedical Instrumentation and Technology, 1996, 30 (02): : 136 - 149
  • [6] From Safe and Reliable to Accountable Software and Systems
    Cukic, Bojan
    2022 26TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2022), 2022, : XVI - XVI
  • [7] Hardware atomicity: An effective abstraction for reliable software speculation
    Neelakantann, Naveen
    Zilles, Craig
    Raiwar, Ravi
    Srinivas, Suresh
    Srinivasan, Urna
    IEEE MICRO, 2008, 28 (01) : 21 - 31
  • [8] Reliable Control for Robotics - Hardware Resilience Powered by Software
    Kropp, Alexander
    Schwalbe, Mario
    Tsokalo, Ievgenii A.
    Suesskraut, Martin
    Schmoll, Robert-Steve
    Fitzek, Frank H. P.
    2021 IEEE 18TH ANNUAL CONSUMER COMMUNICATIONS & NETWORKING CONFERENCE (CCNC), 2021,
  • [9] HARDWARE AND SOFTWARE KEEP YOUR PC DATA SAFE
    TERRY, C
    EDN, 1989, 34 (18) : 61 - &
  • [10] The optimization design of the hardware and software combined with a reliable computer network
    Xu, Xin
    AGRO FOOD INDUSTRY HI-TECH, 2017, 28 (01): : 1920 - 1924
12345