Solving problems on concurrent processors. :: SCD d'Orléans

Solving problems on concurrent processors. Software for concurrent processors

Solving problems on concurrent processors. Volume 2, Software for concurrent processors

Gorde:

Xehetasun bibliografikoak
Egile Nagusiak:	Angus, Ian G., Fox, Geoffrey Charles, 1944-..., informaticien (Egilea), Kim, Jai Sam (Egilea)
Formatua:	Livre papier
Hizkuntza:	Anglais
Argitaratua:	Englewood Cliffs, New Jersey : Prentice Hall 1990.
Gaiak:	Multiprocesseurs Parallélisme (informatique)
Autres localisations:	Voir dans le Sudoc
Variante du titre:	Software for concurrent processors

Antzeko izenburuak

Solving problems on concurrent processors. General techniques and regular problems
nork: Fox, Geoffrey Charles, 1944-..., informaticien, et al.
Argitaratua: (1988)

Modélisation du comportement dynamique des processeurs pour la génération automatique de réordonnanceurs de code
nork: Cognard, Lucile, 19..-
Argitaratua: (1995)

Serveurs multiprocesseurs, clusters et architectures parallèles
nork: Chevance, René J.
Argitaratua: (2000)

LUCAS associative array processor : design, programming, and application studies
nork: Fernstrom, Christer, 1951-, et al.

Multiprocessor systems on chip : design space exploration
nork: Kempf, Torsten, 19..-, et al.
Argitaratua: (2011)

Formal models of communicating systems : languages, automata, and monadic second-order logic
nork: Bollig, Benedikt
Argitaratua: (2006)

Solving combinatorial optimization problems in parallel : methods and techniques
nork: Ferreira, Afonso, 1960-

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

Conception et évaluation d'architectures de calculateurs
Argitaratua: (2002)

Solving irregularly structured problems in parallel : 5th International Symposium, IRREGULAR'98, Berkeley, California, USA, August 9 11, 1998 : proceedings

The Analysis of concurrent systems : Cambridge, September 12 16, 1983 : proceedings

Parallel problem solving from nature : 1st workshop, PPSN I, Dortmund, FRG, October 1 3, 1990 : proceedings

Parallel problem solving from nature - PPSN IV : International Conference on Evolutionary Computation - The 4th International Conference on Parallel Problem Solving from Nature, Berlin, Germany, September 22 26, 1996 : proceedings

Programmation concurrente : maîtrisez le traitement de vos données en Java
nork: Joyeux, Laurent
Argitaratua: (2017)

Solving irregularly structured problems in parallel : 4th International Symposium, IRREGULAR'97 Paderborn, Germany, June 12 13, 1997 : proceedings

Verifying concurrent processes using temporal logic
nork: Hailpern, Brent T., 1955-

Semantics of concurrent computation : proceedings of the international symposium, Évian, France, July 2-4, 1979

Parallel problem solving from nature : PPSN VIII : 8th international conference, Birmingham, UK, September 18-22, 2004 : proceedings
nork: Yao, Xin, 1962-

Parallel problem solving from nature - PPSN VI : 6th International Conference, Paris, France, September 18 20, 2000 : proceedings

Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem
nork: Godefroid, Patrice, 19..-

Parallel problem solving from nature - PPSN VII : 7th International Conference, Granada, Spain, September 7 11, 2002 : proceedings

Parallel problem solving from nature - PPSN V : 5th international conference, Amsterdam, The Netherlands, September 27 30, 1998 : proceedings

Embedded processor design challenges : systems, architectures, modeling, and simulation - SAMOS
nork: Deprettere, Ed F., 1944-

Concurrent and real-time programming in Ada 2005
nork: Burns, Alan, 1953-, et al.
Argitaratua: (2007)

The concurrency control problem for database systems
nork: Casanova, Marco Antonio

Concurrent object-oriented programming and Petri Nets : advances in Petri Nets
nork: Agha, Gul A.

Programmation concurrente et temps réel avec ADA 95
nork: Zaffalon, Luigi, et al.
Argitaratua: (1999)

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

Multiscalar Processors
nork: Franklin, Manoj

Actors : a model of concurrent computation in distributed systems
nork: Agha, Gul A.
Argitaratua: (1990)

Algorithmique parallèle : cours et exercices corrigés
nork: Legrand, Arnaud, 1977-...., Informaticien, et al.
Argitaratua: (2003)

Using OpenMP : portable shared memory parallel programming
nork: Chapman, Barbara, 1954-, et al.
Argitaratua: (2008)

Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 : proceedings

Parallel computing : theory & applications.
Argitaratua: (1999)

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

Introduction to parallel computing
nork: Grama, Ananth
Argitaratua: (2003)

Ordinateurs et calcul parallèles
Argitaratua: (1997)

On-line error detection and fast recover techniques for dependable embedded processors
nork: Pflanz, Matthias, 19..-

Calcul parallèle avec R
nork: Miele, Vincent, 19..-, et al.
Argitaratua: (2016)

Parallel computational fluid dynamics 2008 : parallel numerical methods, software development and applications
nork: Tromeur-Dervout, Damien, 1966-

© 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