Interactive models of computation and program behavior :: SCD d'Orléans

Interactive models of computation and program behavior

Interactive models of computation and program behavior

Guardat en:

Dades bibliogràfiques
Autors principals:	Curien, Pierre-Louis, 1953-, Herbelin, Hugo, 19..- (Autor), Krivine, Jean-Louis, 1939- (Autor)
Format:	Livre papier
Idioma:	Anglais
Publicat:	Paris : Société mathématique de France 2009.
Col·lecció:	Panoramas et synthèses 27
Matèries:	Calcul intensif (informatique) Parallélisme (informatique) Modèles mathématiques
Nota:	Textes en anglais, résumés en anglais et en français
Autres localisations:	Voir dans le Sudoc
Variante du titre:	Modèles interactifs de calcul et de comportement de programme

Ítems similars

Ordinateurs et calcul parallèles
Publicat: (1997)

Facing the multicore-challenge. Aspects of new paradigms and technologies in parallel computing
per: Keller, Rainer, 19..-...., chercheur en informatique

Parallel computer routing and communication : second international workshop, PCRCW ±97, Atlanta, Georgia, June 1997 : proceedings

Applied parallel computing : new paradigms for HPC in Industry and Academia : 5th international workshop, PARA 2000, Bergen, Norway, June 18-20, 2000 : proceedings

Parallel Evolutionary Computations

High performance computing for computational science - VECPAR 2002 : 5th international conference, Porto, Portugal, June 26-28, 2002 : selected papers and invited talks

Modélisation et implémentation de parallélisme implicite pour les simulations scientifiques basées sur des maillages
per: Coullon, Hélène, 1984-
Publicat: (2014)

Large-scale scientific computing : Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6 10, 2001 : revised papers

Modeling, Simulation and Optimization of Complex Processes : Proceedings of the Third International Conference on High Performance Scientific Computing, March 6 10, 2006, Hanoi, Vietnam

Advanced environments, tools, and applications for cluster computing : NATO Advanced Research Workshop, IWCC 2001, Mangalia, Romania, September 1 6, 2001 : revised papers
per: Nicolau, Alex, 19..-
Publicat: (2003)

High-performance computing and networking : International conference and exhibition, Munich, Germany, April 18-20, 1994 : proceedings Applications

Computational science and high performance computing : Russian-German Advanced Research Workshop, Novosibirsk, Russia, September 30 to October 2, 2003

Inverse problems and high-dimensional estimation : stats in the Château Summer School, August 31 - September 4, 2009

High-performance computing and networking : International conference and exhibition, Munich, Germany, April 18-20, 1994 : Proceedings networking and tools

SCI : scalable coherent interface : architecture and software for high-performance compute clusters
per: Hellwagner, Hermann, 19..-

High performance computing in science and engineering, Munich 2004 : transactions of the Second Joint HLRB and KONWIHR Status and Result Workshop, March 2-3, 2004, Technical University of Munich, Germany and Leibniz-Rechenzentrum Munich, Germany
per: Wagner, Siegfried

Static Analysis for BSPlib Programs
per: Jakobsson, Filip, 1988-
Publicat: (2019)

Introduction to the theory of computation
per: Sipser, Michael
Publicat: (2006)

Applied Parallel Computing : Advanced Scientific Computing 6th International Conference, PARA 2002 Espoo, Finland, June 15 18, 2002 Proceedings

Parallel problem solving from nature - PPSN III : International Conference on Evolutionary Computation, the Third Conference on Parallel Problem Solving from Nature, Jerusalem, Israel, October 9 14, 1994 : proceedings

High performance computing HiPC 99 : 6th international conference, Calcutta, India, December 17-20, 1999 : proceedings

High performance computing - HiPC 2000 : 7th International Conference, Bangalore, India, December 17 20, 2000 : proceedings

High performance computing : Second International Symposium, ISHPC'99 Kyoto, Japan, May 26 28, 1999 Proceedings

High performance computing - HiPC 2001 : 8th international conference, Hyderabad, India, December 17 20, 2001 : proceedings

High performance computing : third international symposium, ISHPC 2000, Tokyo, Japan, October 16-18, 2000 : proceedings

Calcul scientifique parallèle
per: Magoulès, Frédéric, et al.
Publicat: (2017)

Calcul scientifique parallèle
per: Magoulès, Frédéric, et al.
Publicat: (2017)

Lambda-calcul : types et modèles
per: Krivine, Jean-Louis, 1939-
Publicat: (1990)

High performance computing in science and engineering 05 : transactions of the High Performance Computing Center, Stuttgart (HLRS) 2005

High Performance Computing : 4th International Symposium, ISHPC 2002 Kansai Science City, Japan, May 15 17, 2002 Proceedings

Calcul réparti à grande échelle : Metacomputing
Publicat: (2002)

High Performance Computing on Vector Systems : Proceedings of the High Performance Computing Center Stuttgart, March 2005

Computer algebra and parallelism : second international workshop, Ithaca, USA, May 9-11, 1990 : proceedings

Parallel computation : First International ACPC Conference, Salzburg, Austria, September 30 October 2, 1991 : proceedings

High performance computing : Proceedings of the International symposium on high performance computing, Montpellier, France, 22-24 March, 1989
Publicat: (1989)

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

High performance computing : international symposium, ISHPC '97, Fukuoka, Japan, November 4-6, 1997 : proceedings

High performance computing - HiPC 2002 : 9th international conference, Bangalore, India, December 18 21, 2002 : proceedings

High performance computing - HiPC 2003 : 10th International Conference, Hyderabad, India, December 17-20, 2003 : proceedings

CAAP '88 : 13th Colloquium on trees in algebra and programming, Nancy, France, March 21-24, 1988 : proceedings

© 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