Introduction to the Special Issue on Verification of Arithmetic Hardware

被引：0
|
作者：
Steven M. German
机构：
[1] IBM T.J. Watson Research Center,
来源：
Formal Methods in System Design | 1999年 / 14卷
关键词：
Operating System; Arithmetic Hardware;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：5 / 6
页数：1
相关论文
共 50 条
  • [41] Special Issue on Hardware Security
    Polian, Ilia
    Tehranipoor, Mohammed
    IET COMPUTERS AND DIGITAL TECHNIQUES, 2014, 8 (06): : 237 - 238
  • [42] Special Issue on Hardware and Security
    Paar, Christof
    Quisquater, Jean-Jacques
    Sunar, Berk
    JOURNAL OF CRYPTOLOGY, 2011, 24 (02) : 245 - 246
  • [43] SPECIAL ISSUE - CAD HARDWARE
    LLEWELYN, AI
    COMPUTER-AIDED DESIGN, 1977, 9 (04) : 222 - 222
  • [44] Special Issue on Evolvable Hardware
    Soft Computing, 2004, 8 : 305 - 306
  • [45] Special issue on evolvable hardware
    Stoica, A
    SOFT COMPUTING, 2004, 8 (05) : 305 - 306
  • [46] Special Issue: Modern Hardware
    Boncz, Peter
    Lehner, Wolfgang
    Neumann, Thomas
    VLDB JOURNAL, 2016, 25 (05): : 623 - 624
  • [47] Special Issue: Modern Hardware
    Peter Boncz
    Wolfgang Lehner
    Thomas Neumann
    The VLDB Journal, 2016, 25 : 623 - 624
  • [48] Introduction to the special issue on self‑managing and hardware‑optimized database systems 2020
    Herodotos Herodotou
    Panos K. Chrysanthis
    Shimin Chen
    Meichun Hsu
    Khuzaima Daudjee
    Yingjun Wu
    Constantinos Costa
    Distributed and Parallel Databases, 2022, 40 : 1 - 3
  • [49] Special issue: Special issue on confidentiality - Introduction
    Willenborg, L
    STATISTICS AND COMPUTING, 2003, 13 (04) : 291 - 293
  • [50] Guest Editors' Introduction: Special Issue on Top Picks in Hardware and Embedded Security
    Cammarota, Rosario
    Regazzoni, Francesco
    IEEE DESIGN & TEST, 2021, 38 (03) : 5 - 6
12345