Solving Boolean equations using Grid computing

被引：0
|
作者：
Homemdemello, LS [1 ]
机构：
[1] Shepherd Univ, Dept Comp & Informat Sci, Shepherdstown, WV 25443 USA
来源：
AMCS '05: Proceedings of the 2005 International Conference on Algorithmic Mathematics and Computer Science | 2005年
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
An approach to solving a system of Boolean equations that is suitable for Grid computing is presented. A method for solving a system of Boolean equations for one variable as a function of the remaining variables is described. The method consists of solving a system of simple equations that are independent of each other; each equation can be solved on a different processor. The method is generalized for solving a system of Boolean equations for an arbitrary number of variables, each as a function of the remaining variables. Applications in logical inference and in digital circuit design illustrate how this approach can be utilized.
引用
收藏
页码：67 / 71
页数：5
相关论文
共 50 条
  • [1] Solving Boolean equations using ROSOP forms
    Wang, Y
    McCrosky, C
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 1998, 47 (02) : 171 - 177
  • [2] Solving nonlinear wave equations in the grid computing environment: An experimental study
    Bahi, JM
    Couturier, R
    Vuillemin, P
    [J]. JOURNAL OF COMPUTATIONAL ACOUSTICS, 2006, 14 (01) : 113 - 130
  • [3] Solving optimization problems using parallel and grid computing
    Nocedal, J
    [J]. PROCEEDINGS OF THE FOURTH MEXICAN INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE (ENC 2003), 2003, : 6 - 6
  • [4] Solving a Realistic FAP Using GRASP and Grid Computing
    Chaves-Gonzalez, Jose M.
    Hernando-Carnicero, Roman
    Vega-Rodriguez, Miguel A.
    Gomez-Pulido, Juan A.
    Sanchez-Perez, Juan M.
    [J]. ADVANCES IN GRID AND PERVASIVE COMPUTING, PROCEEDINGS, 2009, 5529 : 79 - 90
  • [5] Solving Trivium-based Boolean Equations Using the Method of Syllogisms
    Zajac, Pavol
    [J]. FUNDAMENTA INFORMATICAE, 2012, 114 (3-4) : 359 - 373
  • [6] SOLVING SYSTEMS OF LINEAR EQUATIONS WITH BOOLEAN VARIABLES
    Litvinenko, A. E.
    [J]. CYBERNETICS AND SYSTEMS ANALYSIS, 2006, 42 (05) : 649 - 655
  • [7] Comments on a numerical method for solving Boolean equations
    Brown, Frank Markham
    [J]. INFORMATION SCIENCES, 2011, 181 (03) : 547 - 551
  • [8] Distributedly Solving Boolean Equations over Networks
    Qi, Hongsheng
    Li, Bo
    Jing, Rui-Juan
    Proutiere, Alexandre
    Shi, Guodong
    [J]. 2020 59TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2020, : 560 - 565
  • [9] Transformation Method for Solving System of Boolean Algebraic Equations
    Barotov, Dostonjon
    Osipov, Aleksey
    Korchagin, Sergey
    Pleshakova, Ekaterina
    Muzafarov, Dilshod
    Barotov, Ruziboy
    Serdechnyy, Denis
    [J]. MATHEMATICS, 2021, 9 (24)
  • [10] Solving systems of Boolean multivariate equations with quantum annealing
    Ramos-Calderer, Sergi
    Bravo-Prieto, Carlos
    Lin, Ruge
    Bellini, Emanuele
    Manzano, Marc
    Aaraj, Najwa
    Latorre, Jose, I
    [J]. PHYSICAL REVIEW RESEARCH, 2022, 4 (01):
12345