Filters








7 Hits in 3.4 sec

Revisiting the decomposition of Karp, Miller and Winograd

A. Darte, F. Vivien
Proceedings The International Conference on Application Specific Array Processors  
We propose a new study of the decomposition algorithm rst proposed by Karp, Miller and Winograd: we base our implementation on linear programming resolutions whose duals give exactly the desired multi-dimensional  ...  We show that this problem is dual to the problem of computability of a system of uniform recurrence equations.  ...  Herv e was a bright researcher in the eld of systolic methodology design.  ... 
doi:10.1109/asap.1995.522901 dblp:conf/asap/DarteV95 fatcat:2zabh6m7fzafvn44b7gvrkjj24

Reference list of indexed articles

1997 Artificial Intelligence  
Lenat, EURISKO: a program that learns new heuristics and domain concepts. The nature of heuristics III: program design and results 21 (l-2) (1983) 61-98 248. R.M. Karp and J.  ...  Henderson, Arc and path consistency revisited (Research Note) 28 (2) ( 1986) 225-2 33 355. K. VanLchn, Book review of The Archirecture of Cognifion (John R.  ... 
doi:10.1016/s0004-3702(97)80123-3 fatcat:k6vuarylb5eprhd53uncv4h4j4

The Polyhedral Model Is More Widely Applicable Than You Think [chapter]

Mohamed-Walid Benabderrahmane, Louis-Noël Pouchet, Albert Cohen, Cédric Bastoul
2010 Lecture Notes in Computer Science  
Complementing previous (partial) attempts in this direction, our work concentrates on extending the code generation step and does not compromise the expressiveness of the model.  ...  We embed control and exit predicates as first-class citizens of the algebraic representation, from program analysis to code generation.  ...  It was born with the seminal work of Karp, Miller and Winograd on systems of uniform recurrence equations [23] .  ... 
doi:10.1007/978-3-642-11970-5_16 fatcat:xg5klb3u7nhcpcn6mhrj7lxgoi

Reference list of indexed articles

1999 Theoretical Computer Science  
Rytter, Usefulness of the Karp-Miller-Rosenberg algorithm in parallel computations on strings and arrays 88 (1) (1991) 59-82 1642. M. Garzon and Y.  ...  Winograd, Classification of all the minimal bilinear algorithms for computing the coefficients of the product of two polynomials module a polynomial, Part I: The algebra Clul/(Q(u)').  ... 
doi:10.1016/s0304-3975(98)00320-x fatcat:bdgg2ekzdjahdo7g2gtwbdye6m

Autotuning for Automatic Parallelization on Heterogeneous Systems

Philip Pfaffe
2020
Automatic parallelization tools relieve application developers of the tedious and error prone task of programming these heterogeneous systems.  ...  Targeted platforms then automatically cooperate to process the work. During compilation, the code is instrumented to interact with libtuning, our new autotuner and second component of the framework.  ...  The foundations were laid by Karp, Miller, and Winograd [KMW67] , who investigated scheduling of computations based on recurrence equations.  ... 
doi:10.5445/ir/1000119646 fatcat:mwmmth2qurewtfhu3gc5nav6oq

Problems of unknown complexity : graph isomorphism and Ramsey theoretic numbers [article]

Pascal Schweitzer, Universität Des Saarlandes, Universität Des Saarlandes
2009
Finally, I am greatly in debt and most thankful to my brother Patrick Schweitzer, who persistently improved the quality of my dissertation in virtually every aspect.  ...  these graphs. v 1 w 3 w 2 v 3 v 2 w 1 We revisit the CFI-construction in Subsection 2. 10 . 3 .  ...  The essential ideas for this improved version are taken from a paper of Karp and Kleinberg [69] , in which they analyze binary search under uncertainty.  ... 
doi:10.22028/d291-25946 fatcat:ff66x4zhlzaghlr4visddjomkq

A Mathematical Bibliography of Signed and Gain Graphs and Allied Areas Compiled by

Thomas Zaslavsky
1996 unpublished
[Also in Bilu and Linial (2006a Richard M. Karp, Raymond E. Miller, and Shmuel Winograd 1967aThe organization of computations for uniform recurrence equations.J.  ...  and decompositions of complete graphs with twisted gains.  ...  Leonidas Pitsoulis and Konstantinos Papalamprou 20xxa Decomposition of binary signed-graphic matroids. Submitted. arXiv:1011.6497 .  ... 
fatcat:os5lveptfbbbplmcy4drb2zd3m