|
| This Article | ||
| | ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
30th Hawaii International Conference on System Sciences (HICSS) Volume 1: Software Technology and Architecture
Maui, Hawaii
January 03-January 06
ISBN: 0-8186-7743-0
| ASCII Text | x | ||
| Michel R. V. Chaudron, Arno C. N. van Duin, "A Method for the Design of Parallel Algorithms A Case Study: Solving Triangular Systems," 2013 46th Hawaii International Conference on System Sciences, vol. 1, pp. 320, 30th Hawaii International Conference on System Sciences (HICSS) Volume 1: Software Technology and Architecture, 1997. | |||
| BibTex | x | ||
| @article{ 10.1109/HICSS.1997.667279, author = {Michel R. V. Chaudron and Arno C. N. van Duin}, title = {A Method for the Design of Parallel Algorithms A Case Study: Solving Triangular Systems}, journal ={2013 46th Hawaii International Conference on System Sciences}, volume = {1}, year = {1997}, issn = {1060-3425}, pages = {320}, doi = {http://doi.ieeecomputersociety.org/10.1109/HICSS.1997.667279}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - 2013 46th Hawaii International Conference on System Sciences TI - A Method for the Design of Parallel Algorithms A Case Study: Solving Triangular Systems SN - 1060-3425 SP EP A1 - Michel R. V. Chaudron, A1 - Arno C. N. van Duin, PY - 1997 KW - null VL - 1 JA - 2013 46th Hawaii International Conference on System Sciences ER - | |||
This paper illustrates a method for the design of parallel programs that is based on the separation of computation and coordination.
We use Gamma programs to specify computations and show how to prove their correctness using a UNITY like programming logic. A separate coordination language is used to determine behavioural aspects of the program. We illustrate how behaviour can be structured through a process of successive stepwise refinements. Reasoning about refinement is supported formally by two types of simulation.
As an illustration of our method we study the problem of solving triangular systems of linear equations. For this problem we derive a number of known algorithms and show how they are related by our refinement ordering.
Citation:
Michel R. V. Chaudron, Arno C. N. van Duin, "A Method for the Design of Parallel Algorithms A Case Study: Solving Triangular Systems," hicss, vol. 1, pp.320, 30th Hawaii International Conference on System Sciences (HICSS) Volume 1: Software Technology and Architecture, 1997
Usage of this product signifies your acceptance of the Terms of Use.