A MASSIVE PARALLEL COMPUTATION IN BOOLEAN LOGIC

被引:0
|
作者
MITRA, AK [1 ]
ORTIZ, J [1 ]
机构
[1] TEXAS TECH UNIV,ACAD COMP SERV,LUBBOCK,TX 79409
关键词
D O I
10.1016/0096-3003(93)90143-3
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
A code in MasPar MPL for the computation of the prime implicants and all the minimal sums of a Boolean sum-of-product form has been presented. This is an extension to parallel computation of a previously published serial code in C [3] based on the method of consensus taking.
引用
收藏
页码:131 / 160
页数:30
相关论文
共 50 条
  • [21] Threshold Boolean logic
    Vychodil, Vilem
    INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2007, 36 (01) : 59 - 78
  • [22] Boolean concept logic
    Wille, R
    CONCEPTUAL STRUCTURES: LOGICAL, LINGUISTIC, AND COMPUTATIONAL ISSUES, PROCEEDINGS, 2000, 1867 : 317 - 331
  • [23] BOOLEAN ALGEBRA OF LOGIC
    HANF, W
    BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 81 (03) : 587 - 589
  • [24] Boolean Judgment Logic
    Wille, R
    CONCEPTUAL STRUCTURES: BROADENING THE BASE, PROCEEDINGS, 2001, 2120 : 115 - 128
  • [25] LOGIC AND BOOLEAN RINGS
    COPELAND, AH
    BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1950, 56 (02) : 179 - 180
  • [26] Interpolative Boolean logic
    Radojevic, Dragan
    Perovic, Aleksandar
    Ognjanovic, Zoran
    Raskovic, Miodrag
    ARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS, AND APPLICATIONS, 2008, 5253 : 209 - +
  • [27] The Boolean Logic Tax
    DeBenedictis, Erik P.
    COMPUTER, 2016, 49 (04) : 79 - 82
  • [28] Past and present (and future) of parallel and distributed computation in (constraint) logic programming
    Fioretto, Ferdinando
    Pontelli, Enrico
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2018, 18 (5-6) : 722 - 724
  • [29] Multivalued optical parallel computation using an optical programmable logic array
    Awwal, Abdul Ahad S.
    Munir, Syed M.
    Khalid, A. T. M. Shafiqul
    Michel, Howard E.
    Garcia, Oscar N.
    Informatica (Ljubljana), 2000, 24 (04) : 467 - 473
  • [30] Boolean and Non-Boolean Computation With Spin Devices
    Sharad, Mrigank
    Augustine, Charles
    Roy, Kaushik
    2012 IEEE INTERNATIONAL ELECTRON DEVICES MEETING (IEDM), 2012,