RANDOMIZED ALGORITHM FOR CHECKING EQUIVALENCE OF CIRCULAR LISTS

被引：1
|
作者：
ITAI, A
机构：
[1] Computer Science Division, University of California, Berkeley
来源：
INFORMATION PROCESSING LETTERS | 1979年 / 9卷 / 03期
关键词：
Circular lists; equivalence checking; randomization;
D O I：
10.1016/0020-0190(79)90051-6
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
[No abstract available]
引用
收藏
页码：118 / 121
页数：4
相关论文
共 50 条
  • [1] FAST EQUIVALENCE-CHECKING ALGORITHM FOR CIRCULAR LISTS
    SHILOACH, Y
    INFORMATION PROCESSING LETTERS, 1979, 8 (05) : 236 - 238
  • [2] An Efficient Equivalence-checking Algorithm for a Model of Programs with Commutative and Absorptive Statements
    Podymov, Vladislav
    FUNDAMENTA INFORMATICAE, 2016, 147 (2-3) : 315 - 336
  • [3] Equivalence Checking for Intelligent Circuits
    Fan, De-Hui
    Ma, Guang-Sheng
    2008 INTERNATIONAL SYMPOSIUM ON INTELLIGENT INFORMATION TECHNOLOGY APPLICATION WORKSHOP: IITA 2008 WORKSHOPS, PROCEEDINGS, 2008, : 785 - 787
  • [4] Equivalence Checking of Reversible Circuits
    Wille, Robert
    Grosse, Daniel
    Miller, D. Michael
    Drechsler, Rolf
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2012, 19 (04) : 361 - 378
  • [5] Client -Specific Equivalence Checking
    Mora, Federico
    Li, Yi
    Rubin, Julia
    Chechik, Marsha
    PROCEEDINGS OF THE 2018 33RD IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMTED SOFTWARE ENGINEERING (ASE' 18), 2018, : 441 - 451
  • [6] Equivalence Checking for Behaviorally Synthesized Pipelines
    Hao, Kecheng
    Ray, Sandip
    Xie, Fei
    2012 49TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2012, : 344 - 349
  • [7] Semantic Program Alignment for Equivalence Checking
    Churchill, Berkeley
    Padon, Oded
    Sharma, Rahul
    Aiken, Alex
    PROCEEDINGS OF THE 40TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '19), 2019, : 1027 - 1040
  • [8] Partial Equivalence Checking of Quantum Circuits
    Chen, Tian-Fu
    Jiang, Jie-Hong R.
    Hsieh, Min-Hsiu
    2022 IEEE INTERNATIONAL CONFERENCE ON QUANTUM COMPUTING AND ENGINEERING (QCE 2022), 2022, : 594 - 604
  • [9] Equivalence Checking of Sequential Quantum Circuits
    Wang, Qisheng
    Li, Riling
    Ying, Mingsheng
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2022, 41 (09) : 3143 - 3156
  • [10] Arithmetic Operand Ordering for Equivalence Checking
    Weng, Yanling
    Ge, Haitong
    Yan, Xiaolang
    Kun, Ren
    Tsinghua Science and Technology, 2007, 12 (SUPPL. 1): : 235 - 239
12345