A Refinement Methodology for Developing Data-Parallel Applications

[DBLP_Link] CitedBy 7

Year: 1996
Pages: 6
In Proceedings: Euro-Par, Vol. I

Authors:

Allen Goldberg

H-index: 3; Papers: 5; Citation: 64 [FOAF]

Expertise: Functional Programming / Binding-Time Analysis; Theorem Proving / General-Purpose Automated Reasoning;

(Peter Mills was born in Farmington in 1943 and grew up in Maine. After graduating from Harvard College in 1965, he served five years on Navy destroyers. He then went to Maine Law School where he graduated with honors. For 23 years he has owned Wright & Mills in Skowhegan. He is a founding member of the Somerset Economic Development Corporation and a founding member of FirstPark, a successful business park that is bringing over 700 jobs to central Maine)

H-index: 4; Papers: 7; Citation: 80 [FOAF]

Homepage: http://petermills.info/

Expertise: Networks / Web; Parallel Algorithms / Wormhole Networks;

John H. Reif

(Professor, Trinity College of Arts and Sciences Computer Science Duke University)

H-index: 42; Papers: 213; Citation: 7039 [FOAF]

Homepage: http://www.cs.duke.edu/~reif/

Expertise:

Robert A. Wagner

H-index: 2; Papers: 6; Citation: 41 [FOAF]

Expertise: Error function / Runge-Kutta integration; Communication Complexity / Lower Bounds;

Cited By: [Top]

Programming languages and systems for prototyping concurrent applications
Authors: Wilhelm Hasselbring
Organization: ACM Comput. Surv.

Lars S. Nyland, Jan Prins, Allen Goldberg, Peter Mills, John H. Reif, Robert A. Wagner. A Refinement Methodology for Developing Data-Parallel Applications. In Proceedings of Euro-Par, Vol. I'1996. pp.145~150

Other Format:

LNCS: [Top]
Nyland, L.S., Prins, J., Goldberg, A., Mills, P., Reif, J.H., Wagner, R.A.: A Refinement Methodology for Developing Data-Parallel Applications. In Euro-Par, Vol. I(1996) 145-150

IEEE:
L.S. Nyland, J. Prins, A. Goldberg, P. Mills, J.H. Reif, and R.A. Wagner, "A Refinement Methodology for Developing Data-Parallel Applications", in Proc. Euro-Par, Vol. I, 1996, pp.145-150.

ACM:
Nyland, L.S., Prins, J., Goldberg, A., Mills, P., Reif, J.H., and Wagner, R.A. A Refinement Methodology for Developing Data-Parallel Applications. In Proceedings of Euro-Par, Vol. I. 1996, 145-150.

Latex:
@INPROCEEDINGS{ s. nyland:a, AUTHOR = "Lars S. Nyland and Jan Prins and Allen Goldberg and Peter Mills and John H. Reif and Robert A. Wagner", TITLE = "A Refinement Methodology for Developing Data-Parallel Applications", booktitle = "Euro-Par, Vol. I'96", PAGES = {145-150}, YEAR = {1996} }

Search it by Google