Parallel Algorithm Derivation and Program Transformation :: SCD d'Orléans

Parallel Algorithm Derivation and Program Transformation

Parallel Algorithm Derivation and Program Transformation

Enregistré dans:

Bibliografiske detaljer
Andre forfattere:	Watcher, Raplh (Collaborateur), Paige, Robert (Collaborateur), Reif, John H. (Collaborateur)
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Cham : Springer International Publishing [20..]. Cham : Springer Nature
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Parallel algorithm derivation and program transformation, edited by Robert Paige, John Reif, Ralph Wachter, 1993, Boston, Kluwer Academic, 1 vol. (XX-228 p.), The Kluwer international series in engineering and computer science, 0-7923-9362-7

Lignende værker

Visualization of scientific parallel programs
af: Tomas, Gerald, 19..-, et autres

Parallel Execution of Logic Programs
af: Conery, John S.

Algorithmes parallèles : analyse et conception
Udgivet: (1994)

Efficient parallel algorithms
af: Gibbons, Alan M., 1941-, et autres
Udgivet: (1990)

Algorithms for Parallel Processing

Parallel Numerical Algorithms

Algorithmique parallèle : cours et exercices corrigés
af: Legrand, Arnaud, 1977-...., Informaticien, et autres
Udgivet: (2003)

Algorithms + data structures = programs
af: Wirth, Niklaus, 1934-2024
Udgivet: (1976)

Parallel algorithms in computational science

Algorithms for parallel polygon rendering
af: Theoharis, Theoharis, 1964-

Parallel architectures and bioinspired algorithms
af: Fernández de Vega, Francisco

Parallel Architectures and Parallel Algorithms for Integrated Vision Systems
af: Choudhary, Alok N., et autres

Parallel algorithms and cluster computing : implementations, algorithms and applications
af: Hoffmann, Karl Heinz

Parallel genetic algorithms : theory and real world applications
af: Luque, Gabriel, et autres

A Survey of verification techniques for parallel programs
af: Barringer, Howard, 1951-

Parallel Algorithms and Architectures for DSP Applications

Algorithmes et programmation parallèles : théorie avec BSP et pratique avec OCaml
af: Hains, Gaétan, 1963-
Udgivet: (2018)

Algorithmes et programmation parallèles : théorie avec BSP et pratique avec OCaml
af: Hains, Gaétan
Udgivet: (2018)

Algorithmes parallèles asynchrones II Implémentation
Udgivet: (2021)

Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings

Parallel algorithms and architectures : international workshop, Suhl, GDR, May 25-30, 1987 : proceedings

Numerical Algorithms for Modern Parallel Computer Architectures

Advances in Parallel Computing Algorithms, Tools and Paradigms
af: Hemanth, D. Jude, et autres
Udgivet: (2022)

Algorithmes parallèles asynchrones I Modélisation et analyse
Udgivet: (2021)

Algorithmes parallèles asynchrones III Application, performances
Udgivet: (2021)

Specification and Transformation of Programs : A Formal Approach to Software Development
af: Partsch, Helmut A., 1950-

Parallel Algorithms for Optimal Control of Large Scale Linear Systems
af: Gajic, Zoran, 1949-, et autres

DIES: Parallel dust radiative transfer program with the immediate re-emission method
af: Mika Juvela
Udgivet: (2024)

Algorithms and architectures for parallel processing : 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013 : proceedings

Program development by specification and transformation : the PROSPECTRA methodology, language family, and system
af: Hoffmann, Berthold, 19..-

Parallel algorithms for irregularly structured problems : second international workshop, IRREGULAR'95, Lyon, France, September 4-6, 1995 : proceedings

Lanczos Algorithms for Large Symmetric Eigenvalue Computations Vol. II Programs
af: Cullum, Jane K., 1938-, et autres

Algorithms and Architectures for Parallel Processing : 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part II

Parallel algorithms for irregularly structured problems : third international workshop, IRREGULAR Ì 96, Santa Barbara, CA, USA, August 19-21, 1996 : proceedings

Squelettes algorithmiques pour la programmation et l'exécution efficaces de codes parallèles
af: Legaux, Joeffrey
Udgivet: (2013)

Parallel computing : methods, algorithms and applications : proceedings
Udgivet: (1989)

Mathematics of Multidimensional Fourier Transform Algorithms
af: Tolimieri, Richard, 1940-, et autres

Fast Fourier Transform and Convolution Algorithms
af: Nussbaumer, Henri, 1931-...., ingénieur

Algorithms for Discrete Fourier Transform and Convolution
af: Tolimieri, Richard, 1940-, et autres

Mathematics of Multidimensional Fourier Transform Algorithms
af: Tolimieri, Richard, 1940-, et autres

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales