skip to main content
Résultats 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Acte de conférence
Ajouter à Mon espace

Evaluation paramétrée de formules de logique temporelle

Haddad, Serge ; Vernier, Isabelle

5èmes Rencontres du Parallélisme ; 1993-05 ; France

1993

Accessible en ligne

2
CONCUR '90 : theories of concurrency : unification and extension
Material Type:
Livre
Ajouter à Mon espace

CONCUR '90 : theories of concurrency : unification and extension

Congrès Amsterdam 1990. ; Baeten, Jos C. M. ; Klop, Jan Willem

Berlin New York NY Paris : Springer, 1990

Voir les exemplaires

3
Material Type:
Versions multiples

Euro-par 2002 parallel processing : 8th International Euro-Par Conference, Paderborn, Germany, August 27-30, 2002 : proceedings

International EURO-PAR Conference 8 2002 Paderborn, Allemagne ; Monien, Burkhard ; Feldmann, Rainer

Plusieurs versions trouvées
Il y a 2 versions

4
Semantics of systems of concurrent processes : proceedings ..
Material Type:
Livre
Ajouter à Mon espace

Semantics of systems of concurrent processes : proceedings ..

Spring School of Theoretical Computer Science La Roche Posay 1990. ; Guessarian, Irène (1948-....) ; Laboratoire d'Informatique Théorique et Programmation. ; LITP.

Berlin New York NY London Paris : Springer, 1990

Voir les exemplaires

5
Material Type:
Versions multiples

Using OpenMP : portable shared memory parallel programming

Chapman, Barbara (1954-....) ; Jost, Gabriele ; Van der Pas, Ruud ; Kuck, David J.

Plusieurs versions trouvées
Il y a 2 versions

6
Matériaux pour l'étude des parallélismes sémantiques
Material Type:
Livre
Ajouter à Mon espace

Matériaux pour l'étude des parallélismes sémantiques

Masson, Michel (1938-...)

Paris : Presses de la Sorbonne Nouvelle, 2000

Voir les exemplaires

7
Material Type:
Livre
Ajouter à Mon espace

MODELS FOR DISTRIBUTED COMPUTING.

Mac Queen, D.B.

Rocquencourt : IRIA, 1979

Voir les exemplaires

8
Material Type:
Thèse
Ajouter à Mon espace

CONTRIBUTION A L'ETUDE DES EQUIVALENCES SYNTAXIQUES ET TRANSFORMATION DE PROGRAMMES PARALLELES.

Roucairol, Gérard

s.l. : s.n., 1978

Voir les exemplaires

9
Material Type:
Livre
Ajouter à Mon espace

MESURE DU PARALLELISME DES CALCULS DISTRIBUES.

S.L. : s.n., 1988

Voir les exemplaires

10
Material Type:
Livre
Ajouter à Mon espace

ON CHOICE OF A MODEL OF PARALLEL COMPUTATION.

S.L. : s.n., 1983

Voir les exemplaires

11
Efficient parallel algorithms
Material Type:
Livre
Ajouter à Mon espace

Efficient parallel algorithms

Gibbons, Alan M. ; Rytter, Wojciech.

Cambridge England New York : Cambridge University Press, 1989

Voir les exemplaires

12
Modal and temporal properties of processes
Material Type:
Livre
Ajouter à Mon espace

Modal and temporal properties of processes

Stirling, Colin P.

New York N.Y. : Springer, 2001

Voir les exemplaires

13
CONPAR 90-VAPP IV : proceedings ..
Material Type:
Livre
Ajouter à Mon espace

CONPAR 90-VAPP IV : proceedings ..

Joint International Conference on Vector and Parallel Processing Zurich 1990. ; Burkhart, H.

Berlin New York NY London Paris : Springer, 1990

Voir les exemplaires

14
New results and new trends in computer science : proceedings
Material Type:
Livre
Ajouter à Mon espace

New results and new trends in computer science : proceedings

Congrès Graz 1991. ; Maurer, Hermann A. (1941-....)

Berlin New York NY Paris : Springer, 1991

Voir les exemplaires

15
Stepwise refinement of distributed systems. Models, formalisms, correctness : proceedings ..
Material Type:
Livre
Ajouter à Mon espace

Stepwise refinement of distributed systems. Models, formalisms, correctness : proceedings ..

REX Workshop Mook 1989. ; De Bakker, Jacobus ; De Roever, Willem-Paul ; Rozenberg, Grzegorz ; REX. ; Research and Education in Concurrent Systems.

Berlin New York NY Paris : Springer, 1990

Voir les exemplaires

16
Advances in Petri nets 1987.
Material Type:
Livre
Ajouter à Mon espace

Advances in Petri nets 1987.

European Workshop on Applications and Theory of Petri Nets 007 Oxford 1986. ; Rozenberg, Grzegorz

Berlin New York NY Paris : Springer, 1987

Voir les exemplaires

17
Advances in computing and information - ICCI '90 : proceedings ..
Material Type:
Livre
Ajouter à Mon espace

Advances in computing and information - ICCI '90 : proceedings ..

International Conference on Computing and Information Niagara Falls 1990. ; Akl, Selim G. ; Fiala, Frantisek ; Koczkodaj, Waldemar W.

Berlin New York NY London Paris : Springer, 1991

Voir les exemplaires

18
Proceedings of the twentieth annual ACM symposium on theory of computing.
Material Type:
Acte de conférence
Ajouter à Mon espace

Proceedings of the twentieth annual ACM symposium on theory of computing.

ACM Symposium on Theory of Computing 20 1988 Chicago, Ill. ; Special group on algorithms and computation theory, Etats-Unis

New York NY : ACM, 1988

Voir les exemplaires

19
Proceedings of the seventeenth annual ACM symposium on theory of computing.
Material Type:
Acte de conférence
Ajouter à Mon espace

Proceedings of the seventeenth annual ACM symposium on theory of computing.

ACM Symposium on Theory of Computing 17 1985 Providence, R.I. ; Special group on algorithms and computation theory, Etats-Unis

New York NY : ACM, 1985

Voir les exemplaires

20
Material Type:
Versions multiples

Compiling parallel loops for high performance computers : partitioning, data assignment and remapping

Hudak, David E. ; Abraham, Santosh G.

Plusieurs versions trouvées
Il y a 2 versions

Résultats 1 2 3 4 5 next page

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

Affiner les résultats

Type de ressource 

  1. Actes de conférence  (28)
  2. Articles  (8)
  3. Autres  (24)
  4. Livres  (686)
  5. Thèses  (116)
  6. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1979  (21)
  2. 1979 à 1988  (295)
  3. 1989 à 1998  (401)
  4. 1999 à 2009  (95)
  5. Après 2009  (57)
  6. Plus d’options open sub menu

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré