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 条

[31] Introduction to special issue on verification and evaluation of computer systems
Kamel Barkaoui
Hanifa Boucheneb
Innovations in Systems and Software Engineering, 2018, 14 (2) : 81 - 82
[32] Introduction to special issue on verification and evaluation of computer systems
Barkaoui, Kamel
Boucheneb, Hanifa
INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2018, 14 (02) : 81 - 82
[33] Introduction to special issue on demonstrable software systems and hardware platforms
Lim, Sung Kyu
Pedram, Massoud
ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2007, 12 (03)
[34] Introduction to the Special Issue on Histotripsy: Approaches, Mechanisms, Hardware, and Applications
Xu, Zhen
Khokhlova, Vera A.
Wear, Keith A.
Aubry, Jean-Francois
Bigelow, Timothy A.
IEEE TRANSACTIONS ON ULTRASONICS FERROELECTRICS AND FREQUENCY CONTROL, 2021, 68 (09) : 2834 - 2836
[35] Introduction to the Special Issue on Emerging Challenges and Solutions in Hardware Security
Forte, Domenic
Mukhopadhyay, Debdeep
Polian, Ilia
Fei, Yunsi
Cammarota, Rosario
ACM JOURNAL ON EMERGING TECHNOLOGIES IN COMPUTING SYSTEMS, 2021, 17 (03)
[36] Introduction to the special issue on verification, validation and accreditation in modeling and simulation
Lehmann, Axel
JOURNAL OF DEFENSE MODELING AND SIMULATION-APPLICATIONS METHODOLOGY TECHNOLOGY-JDMS, 2013, 10 (04): : 345 - 346
[37] Introduction to the Special Issue on Modeling and Verification of Discrete Event Systems
Khalgui, Mohamed
Li, Zhiwu
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2013, 12 (01)
[38] Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems
Delzanno, Giorgio
Etalle, Sandro
Gabbrielli, Maurizio
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2006, 6 : 225 - 226
[39] Formal Verification of Arithmetic Masking in Hardware and Software
Gigerl, Barbara
Primas, Robert
Mangard, Stefan
APPLIED CRYPTOGRAPHY AND NETWORK SECURITY, PT I, ACNS 2023, 2023, 13905 : 3 - 32
[40] Special issue: modern hardware
May, Norman
Blanas, Spyros
Danica, Porobic
VLDB JOURNAL, 2024, 33 (06): : 1773 - 1774

← 1 2 3 4 5 →