Multiple logic computations

被引：0
|
作者：
Vykhovanets, VS [1 ]
Malyugin, VD [1 ]
机构：
[1] Russian Acad Sci, Inst Control Sci, Moscow, Russia
来源：
AUTOMATION AND REMOTE CONTROL | 1998年 / 59卷 / 06期
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
An arbitrary system of Boolean functions is shown to be reducible to a discrete arithmetic-logical function. A method for simultaneous determination (over various sets of arguments) of more than one value of the system by calculating the corresponding arithmetic-logical form as proposed.
引用
收藏
页码：885 / 891
页数：7
相关论文
共 50 条
  • [21] Performance Modeling of Virtualized Custom Logic Computations
    Hall, Michael J.
    Chamberlain, Roger D.
    [J]. PROCEEDINGS OF THE 2014 IEEE 25TH INTERNATIONAL CONFERENCE ON APPLICATION-SPECIFIC SYSTEMS, ARCHITECTURES AND PROCESSORS (ASAP 2014), 2014, : 72 - 73
  • [22] Improving computations in a typed functional logic language
    Almendros-Jiménez, JM
    [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1999, 1548 : 438 - 454
  • [23] Measuring the interpretive cost in fuzzy logic computations
    Julian, Pascual
    Moreno, Gines
    Penabad, Jaime
    [J]. APPLICATIONS OF FUZZY SETS THEORY, 2007, 4578 : 28 - +
  • [24] On termination of logic programs with floating point computations
    Serebrenik, A
    De Schreye, D
    [J]. STATIC ANALYSIS, PROCEEDINGS, 2002, 2477 : 151 - 164
  • [25] A program transformation for tracing functional logic computations
    Brassel, Bernd
    Fischer, Sebastian
    Huch, Frank
    [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2007, 4407 : 160 - +
  • [26] Performance Modeling of Virtualized Custom Logic Computations
    Hall, Michael J.
    Chamberlain, Roger D.
    [J]. GLSVLSI'14: PROCEEDINGS OF THE 2014 GREAT LAKES SYMPOSIUM ON VLSI, 2014, : 89 - 90
  • [27] A Framework for Interpreting Traces of Functional Logic Computations
    Brassel, Bernd
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 177 (01) : 91 - 106
  • [28] NORMAL FORMS AND THE COMPLEXITY OF COMPUTATIONS OF LOGIC PROGRAMS
    OCHOZKA, V
    STEPANKOVA, O
    STEPANEK, P
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 385 : 357 - 371
  • [29] Detecting temporal logic predicates on distributed computations
    Ogale, Vinit A.
    Garg, Vijay K.
    [J]. DISTRIBUTED COMPUTING, PROCEEDINGS, 2007, 4731 : 420 - +
  • [30] ON THE RELATION OF PROGRAMS AND COMPUTATIONS TO MODELS OF TEMPORAL LOGIC
    WOLPER, P
    [J]. TEMPORAL LOGIC IN SPECIFICATION, 1989, 398 : 75 - 123
12345