Understanding the Theory of Karp, Miller and Winograd  

作　　者：Athanasios I. Margaris Athanasios I. Margaris(Department of Digital Systems, Gaiopolis Campus, University of Thessaly, Larissa, Greece)

机构地区：[1]Department of Digital Systems, Gaiopolis Campus, University of Thessaly, Larissa, Greece

出　　处：《Journal of Applied Mathematics and Physics》2024年第4期1203-1236,共34页应用数学与应用物理（英文）

摘　　要：The objective of this tutorial is to present the fundamental theory of Karp, Miller and Winograd, whose seminal paper laid the foundations regarding the systematic description of the organization of computations in systems of uniform recurrent equations by means of graph structures, via the definition of computability conditions and techniques for the construction of one-dimensional and multi-dimensional scheduling functions. Besides the description of this theory, the paper presents improvements and revisions made by other authors and furthermore, points out the differences regarding the conditions of causality and dependency between the general case of systems of recurrent equations and the special case of multiple nested loops.The objective of this tutorial is to present the fundamental theory of Karp, Miller and Winograd, whose seminal paper laid the foundations regarding the systematic description of the organization of computations in systems of uniform recurrent equations by means of graph structures, via the definition of computability conditions and techniques for the construction of one-dimensional and multi-dimensional scheduling functions. Besides the description of this theory, the paper presents improvements and revisions made by other authors and furthermore, points out the differences regarding the conditions of causality and dependency between the general case of systems of recurrent equations and the special case of multiple nested loops.

关 键 词：COMPUTABILITY SCHEDULING COMPUTATIONS Recurrent Equations 

分 类 号：O17[理学—数学]