High Performance computing for computational science : :: SCD d'Orléans

High Performance computing for computational science : VECPAR 2012 : 10th International Conference, Kope, Japan, July 17-20, 2012 : evised Selected Papers

High Performance computing for computational science : VECPAR 2012 : 10th International Conference, Kope, Japan, July 17-20, 2012 : evised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on High Performance Computing for Computational Science, VECPAR 2012, held in Kope, Japan, in July 2012. The 28 papers presented together with 7 invited talks were carefully selected during...

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Daydé, Michel, 1957-
Další autoři:	Marques, Osni (Šéfredaktor, odpovědný redaktor), Nakajima, Kengo (Šéfredaktor, odpovědný redaktor)
Médium:	Livre numérique
Jazyk:	Anglais
Vydáno:	Berlin, Heidelberg : Springer Berlin Heidelberg [20..]. Cham : Springer Nature
Edice:	Theoretical Computer Science and General Issues 7851
Témata:	Algorithmes Processeurs à hautes performances Logique informatique Reconnaissance des formes (informatique) Complexité de calcul (informatique)
On-line přístup:	Accès sur la plateforme de l'éditeur Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Poznámka:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• High Performance Computing for Computational Science - VECPAR 2012, Texte imprimé, 9783642387173 • High Performance Computing for Computational Science - VECPAR 2012, Texte imprimé, 9783642387197

Podobné jednotky

Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers
Autor: Leivant, Daniel

LUCAS associative array processor : design, programming, and application studies
Autor: Fernstrom, Christer, 1951-, a další

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

Computation theory and logic
Autor: Börger, Egon, 1946-

Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000 : selected papers

Randomness and completeness in computational complexity
Autor: Van Melkebeek, Dieter

Parcella '88 : fourth International workshop on parallel processing by cellular automata and arrays, Berlin, GDR, October 17-21, 1988 : proceedings

Recursion theory and computational complexity : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 14-23, 1979
Autor: Lolli, Gabriele, 1942-
Vydáno: (2011)

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

Computational science - ICCS 2003 : International conference, Melbourne, Australia and St. Petersburg, Russia, June 2 4, 2003 : proceedings, part IV

Computational science - ICCS 2003 : International conference, Melbourne, Australia and St. Petersburg, Russia, June 2 4, 2003 : proceedings, part III

The computational complexity of equivalence and isomorphism problems
Autor: Thierauf, Thomas

Computational complexity
Autor: Papadimitriou, Christos H., 1949-
Vydáno: (1994)

The computational complexity of algebraic and numeric problems
Autor: Borodin, Allan, 1941-, a další
Vydáno: (1975)

Logique(s), langages formels et complexité pour l'informatique
Autor: Jussien, Narendra, 1973-
Vydáno: (2006)

Fundamentals of computation theory : ; proceedings 14th international symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003

Fundamentals of computation theory : 13th international symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedings

Turing machines with sublogarithmic space
Autor: Szepietowski, Andrzej, 19..-

Evolution of parallel cellular machines : the cellular programming approach
Autor: Sipper, Moshe, 19..-

The computational complexity of logical theories
Autor: Ferrante, Jeanne, 1949-, a další

The nature of computation : logic, algorithms, applications : proceedings
Vydáno: (2013)

Computational science - ICCS 2003 : International conference, Melbourne, Australia and St. Petersburg, Russia, June 2 4, 2003 : proceedings, part I

Computational science - ICCS 2003 : International conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003 : proceedings, part II

CAAP '86 : 11th Colloquium on trees in algebra and programming, Nice, France, March 24-26, 1986 : proceedings

Computational science - ICCS 2004 : 4th international conference, Krakow, Poland, June 6-9, 2004 : proceedings

Computational science - ICCS 2004 : 4th international conference, Krakow, Poland, June 6-9, 2004 : proceedings, part I

Computational Science - ICCS 2004 : 4th International Conference, Kraków, Poland, June 6-9, 2004 : proceedings, part II
Autor: Bubak, Marian, 19..-

Computational science - ICCS 2004 : 4th international conference, Krakow, Poland, June 6-9, 2004 : proceedings, part III

Modified branching programs and their computational power
Autor: Meinel, Christoph, 1954-...., Professeur

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

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

CAAP '92 : 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26 28, 1992 : proceedings

Mathematical foundations of computer science 1986 : proceedings of the 12th symposium, Bratislava, Czechoslovakia, August 25-29, 1986

Fundamentals of computation theory : 8th International Conference, FCT '91 Gosen, Germany, September 9 13, 1991 : proceedings

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

Logiques temporelles pour la vérification : expressivité, complexité, algorithmes
Autor: Markey, Nicolas, 1976-
Vydáno: (2003)

Journal of logic and computation.
Vydáno: (1990)

Computational science - ICCS 2001 : International Conference, San Francisco, CA, USA, May 28 30, 2001 : proceedings

Computational science - ICCS 2001 : international conference, San Francisco, CA, USA, May 28-30, 2001 : proceedings

Discrete mathematics and theoretical computer science : 4th international conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : 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