A Monadic Calculus for Parallel Costing of a Functional Language of Arrays (1997)

Cached

Download Links

by C. B. Jay , M. I. Cole , M. Sekanina , P. Steckler
Venue:Euro-Par'97 Parallel Processing, volume 1300 of Lecture Notes in Computer Science
Citations:25 - 9 self

Active Bibliography

39 A Naïve Time Analysis and its Theory of Cost Equivalence – David Sands - 1995
6 Costing Parallel Programs as a Function of Shapes – C. Barry Jay - 1999
3 A Denotational Approach to Measuring Complexity in Functional Programs – Kathryn Van Stone, Frank Pfenning, Dana Scott, Carl Gunter - 2003
6 Practical Parallel Divide-and-Conquer Algorithms – Jonathan Hardwick - 1997
Development of a Library based on Skeletal Parallel Programming in Fortress – Masato Takeichi, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Kento Emoto
4 Reasoning about Complexity of Object-Oriented Programs – Heinz W. Schmidt, Wolf Zimmermann - 1994
1 Probabilistic Recurrence Relations for Parallel Divide-and-Conquer Algorithms – Marek Karpinski, Wolf Zimmermann - 1991
11 A Complexity Calculus for Object-Oriented Programs – Heinz W. Schmidt, Wolf Zimmermann - 1994
President – These Doctorat, L'universite Paris Vi, Systemes Informatiques, Madame Corinne Ancourt, Monsieur Paul Feautrier, Monsieur Claude Girault, Monsieur Francois Irigoin, Monsieur Yves Robert, Monsieur Francois Thomasset
34 Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis – Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla
15 Lambda-Upsilon-Omega -- The 1989 Cookbook – Philippe Flajolet, Bruno Salvy, Paul Zimmermann - 1989
1 Typed Intermediate Languages for Shape-Analysis – G. Bellè, E. Moggi - 1997
20 The Functional Imperative: Shape! – C. B. Jay, P. A. Steckler - 1997
1 Resource analyses for parallel and distributed coordination – P. W. Trinder, M.I.Cole, K. Hammond, H-W. Loidl, G. J. Michaelson - 2011
3 Scheduling tree-structured programs in the LogP model – Jacques Verriet - 1997
7 List scheduling of general task graphs under LogP – Tomasz Kalinowski , Iskander Kort , Denis Trystram - 2000
unknown title – unknown authors
Languages – Matthew Fluet, Nic Ford, Mike Rainey, Adam Shaw, Yingqi Xiao
Effective Scheduling Techniques for . . . – Michael Alan Rainey - 2010