A Refinement Methodology for Developing Data-Parallel Applications
[DBLP_Link] CitedBy 7- Year: 1996
- Pages: 6
- In Proceedings: Euro-Par, Vol. I
-
Authors:
Lars S. Nyland
(Associate Professor , Department of Computer Science)
H-index: 6; Papers: 15; Citation: 189 [FOAF] Homepage: http://www.cs.unc.edu/~nyland/ Expertise:
Jan Prins
( Professor , Department of Computer Science University of North Carolina)
H-index: 15; Papers: 40; Citation: 1645 [FOAF] Homepage: http://www.cs.unc.edu/~prins/ Expertise:
Allen Goldberg
H-index: 3; Papers: 5; Citation: 64 [FOAF] Expertise: Functional Programming / Binding-Time Analysis; Theorem Proving / General-Purpose Automated Reasoning;
Peter Mills
(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.
Other Format:LNCS: [Top]
IEEE:
ACM:
Latex: