A HARDWARE IMPLEMENTATION OF THE CSP PRIMITIVES AND ITS VERIFICATION

被引：0
|
作者：
RON, D
ROSEMBERG, F
PNUELI, A
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1984年 / 172卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：423 / 435
页数：13
相关论文
共 50 条
  • [21] Asynchronous hardware implementations for crypto primitives
    Bashi, Mohamed Asan M.
    Shukla, Sandeep K.
    [J]. MICROPROCESSORS AND MICROSYSTEMS, 2019, 64 : 221 - 236
  • [22] A Hardware-Oriented IME Algorithm for HEVC and Its Hardware Implementation
    Fan, Yibo
    Huang, Leilei
    Hao, Bei
    Zeng, Xiaoyang
    [J]. IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS FOR VIDEO TECHNOLOGY, 2018, 28 (08) : 2048 - 2057
  • [23] ADAPTIVE THRESHOLDING ALGORITHM AND ITS HARDWARE IMPLEMENTATION
    YANG, JD
    CHEN, YS
    HSU, WH
    [J]. PATTERN RECOGNITION LETTERS, 1994, 15 (02) : 141 - 150
  • [24] SYNTHESIS BY PHASE MODULATION AND ITS IMPLEMENTATION IN HARDWARE
    CAVALIERE, S
    EVANGELISTA, G
    PICCIALLI, A
    [J]. COMPUTER MUSIC JOURNAL, 1988, 12 (01) : 29 - 42
  • [25] An area efficient FFT and its hardware implementation
    Sharma, Manoj
    Mehra, Shivam Kumar
    Goyal, Vishal
    [J]. JOURNAL OF INFORMATION & OPTIMIZATION SCIENCES, 2022, 43 (03): : 505 - 511
  • [26] TreeBASIS Feature Descriptor and Its Hardware Implementation
    Fowers, Spencer
    Desai, Alok
    Lee, Dah-Jye
    Ventura, Dan
    Archibald, James
    [J]. INTERNATIONAL JOURNAL OF RECONFIGURABLE COMPUTING, 2014, 2014
  • [27] A hardware implementation of PRAM and its performance evaluation
    Imai, M
    Hayakawa, Y
    Kawanaka, H
    Chen, W
    Wada, K
    Castanho, CD
    Okajima, Y
    Okamoto, H
    [J]. PARALLEL AND DISTRIBUTED PROCESSING, PROCEEDINGS, 2000, 1800 : 143 - 148
  • [28] Fundamentals of fuzzy logic and its hardware implementation
    Hirota, Kaoru
    [J]. Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), 1996, 1159
  • [29] HARDWARE VERIFICATION
    MARUYAMA, F
    FUJITA, M
    [J]. COMPUTER, 1985, 18 (02) : 22 - 32
  • [30] HARDWARE VERIFICATION
    ROTH, JP
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 1977, 26 (12) : 1292 - 1294
12345