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:26 - 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
15 Lambda-Upsilon-Omega -- The 1989 Cookbook – Philippe Flajolet, Bruno Salvy, Paul Zimmermann - 1989
35 Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis – Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla
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
8 List scheduling of general task graphs under LogP – Tomasz Kalinowski , Iskander Kort , Denis Trystram - 2000
unknown title – unknown authors
Effective Scheduling Techniques for . . . – Michael Alan Rainey - 2010
Programming in Manticore, a Heterogenous Parallel Functional Language – Matthew Fluet, Lars Bergstrom, Nic Ford, Mike Rainey, Adam Shaw, Yingqi Xiao - 2009