INTENSIVE LOGICAL COMPUTATION

被引：0
|
作者：
MALYUGIN, VD
SOKOLOV, VV
机构：
来源：
AUTOMATION AND REMOTE CONTROL | 1993年 / 54卷 / 04期
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This article analyzes the problem of obtaining the most complete (intensive) use of the architectural capabilities of computers performing concurrent logical computations. The problem is reduced to two problems: description of logical functions as arithmetic polynomials and the problem of selecting algorithms for intensive evaluation of such polynomials.
引用
收藏
页码：672 / 678
页数：7
相关论文
共 50 条
  • [21] The Logical Consequence Role in LPNMR: A Parameterized Computation Approach
    Osorio Galindo, Mauricio
    Pascucci, Simone
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2009, 5753 : 464 - +
  • [22] REPRESENTATION AND COMPUTATION OF LOGICAL PROBLEMS WITH IF-AND-ONLY-IF FORMULAS
    Akama K.
    Nantajeewarawat E.
    International Journal of Innovative Computing, Information and Control, 2022, 18 (06): : 1799 - 1813
  • [23] Mobile atoms enable efficient computation with logical qubits
    Barbara M. Terhal
    Nature, 2024, 626 : 36 - 38
  • [24] Mobile atoms enable efficient computation with logical qubits
    Terhal, Barbara M.
    NATURE, 2024, 626 (7997) : 36 - 38
  • [25] COMPUTATION OF LOGICAL EFFORT IN HIGH-LEVEL LANGUAGES
    CATER, SC
    IYENGAR, SS
    FULLER, J
    COMPUTER LANGUAGES, 1984, 9 (3-4): : 133 - 148
  • [26] Computation of stable models and its integration with logical query processing
    Chen, WD
    Warren, DX
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1996, 8 (05) : 742 - 757
  • [27] Impact of physical/logical network topology on parallel matrix computation
    Chu, Eleanor
    International Journal of High Performance Computing Applications, 13 (02): : 124 - 145
  • [28] Batch Logical Protocols for Efficient Multi-Party Computation
    Kiribuchi, Naoto
    Kato, Ryo
    Endo, Tsukasa
    Nishide, Takashi
    Yoshiura, Hiroshi
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2012, E95A (10) : 1718 - 1728
  • [29] Classification of communication and cooperation mechanisms for logical and symbolic computation systems
    Calmet, J
    Homann, K
    FRONTIERS OF COMBINING SYSTEMS, 1996, 3 : 221 - 234
  • [30] Computing with liquid crystal fingers: Models of geometric and logical computation
    Adamatzky, Andrew
    Kitson, Stephen
    Costello, Ben De Lacy
    Matranga, Mario Ariosto
    Younger, Daniel
    PHYSICAL REVIEW E, 2011, 84 (06)
12345