Advertisement

Le type abstrait "vecteur" et les methodes de programmation des ordinateurs vectoriels

  • A. Bossavit
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 167)

Conclusion

En nous astreignant à définir de façon suffisamment complète le type abstrait le plus proche possible de l'objet d'étude, nous avons dû en particulier développer une algèbre des relations entre les opérateurs du type qui se révèle très utile à la fois pour spécifier les problèmes à résoudre et pour mener les calculs.

Il s'avère en fin de compte que les algorithmes parallèles efficaces sur les machines vectorielles s'obtiennent (ou plutôt se décrivent après coup, ce n'est pas du processus de la découverte que nous parlons) par l'application des mêmes principes qui se sont révélés utiles dans d'autres secteurs de l'algorithmique : toute la spécificité est concentrée dans le type abstrait lui-même. C'est le véritable contenu du principe du sens commun "penser vecteurs".

Keywords

Nous Avons Type VECTEUR Regular Layout Abstract Data Type Aura Probablement 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References citees

  1. /1/.
    J.F. Traub (ed.): Complexity of Sequential and Parallel Numerical Algorithms, Academic Press (New York, London), 1973.Google Scholar
  2. /2/.
    D.J. Kuck, D.H. Lawrie, A.H. Sameh (eds): High Speed Computer and Algorithm Organization, Academic-Press (New-York, San Francisco, London), 1977.Google Scholar
  3. /3/.
    T. Feng (ed.): Parallel Processors and Processing, Special Issue of ACM. Comp. Surveys, 9, 1 (1977).Google Scholar
  4. /4/.
    W. Händler (ed.): CONPAR 81 (Conference on Analysing Problem Classes and Programming for Parallel Computing, Nürnberg, June 1981), Springer-Verlag (Berlin, Heidelberg, New-York), 1981.Google Scholar
  5. /5/.
    A. Bossavit (ed.): Calcul Vectoriel et Parallèle (Actes du Colloque AFCETGAMNI-ISINA, mars 1983, Paris), Bull. DER, Série C, 1 (1983).Google Scholar
  6. /6/.
    B.H. Liskov, S.N. Zilles: "Programming with Abstract Data Types", Sigplan Notices, 9 (1974), pp. 50–59.Google Scholar
  7. /7/.
    B. Meyer: "A Basis for the Constructive Approach to Programming" in Information Processing 80 (S.H. Lavington, ed.), North-Holland (Amsterdam), 1980.Google Scholar
  8. /8/.
    A. Bossavit, B. Meyer: "The Design of Vector Programs", in Algorithmic Languages, North-Holland (Amsterdam), 1981.Google Scholar
  9. /9/.
    A. Bossavit: "Un aspect de l'algorithmique vectorielle: l'heuristique pair-impair", in Les Mathématiques de l'Informatique, AFCET (Paris), 1982 pp. 549–561.Google Scholar
  10. /10/.
    D.J. Knuth: The Art of Computer Programming (Vol. 2, Seminumerical Algorithms), Addison Wesley (Reading, Mass.), 1969.Google Scholar
  11. /11/.
    P.M. Kogge, H.S. Stone: "A Parallel Algorithm for the Efficient Solution of a General Class of Recurrence Equations", IEEE Trans. on Comp.,, C-22, 8 (1973), pp. 786–93.Google Scholar
  12. /12/.
    P.M. Kogge: "Parallel Solution of Recurrence Problems", IBM J. Res. Develop., (Mar. 1974), pp. 138–48.Google Scholar
  13. /13/.
    R.W. Hockney, C.R. Jesshope: Parallel Computers, Adam Hilger (Bristol), 1981.Google Scholar
  14. /14/.
    C.V. Ramamoorthy, H.F. Li: "Pipeline Architecture", ACM Comp. Surveys, 9, 1 (1977), pp. 61–102.Google Scholar
  15. /15/.
    J.A. Goguen, J.W. Thatcher, E.G. Wagner: "An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types", in Current Trends in Programming Methodology, IV, Prentice-Hall (Englewood Cliffs), 1778.Google Scholar
  16. /16/.
    J. Arsac: Les bases de la programmation, Dunod (Paris), 1983.Google Scholar
  17. /17/.
    A. Bossavit: "Comment j'ai vectorisé certains de mes programmes", note EDF HI 4271-00 (1982), EDF, 92141 Clamart (France).Google Scholar
  18. /18/.
    R.P. Brent, M.T. Kung: "A Regular Layout for Parallel Adders", IEEE Trans. on Comp. C31, 3 (1982), pp. 260–264.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • A. Bossavit
    • 1
  1. 1.EDF, Etudes et RecherchesClamart

Personalised recommendations