skip to main content
Résultats 1 2 next page
Filtré par : sujet: Parallélisme supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Livre
Ajouter à Mon espace

Deriving trace checkers for distributed systems = Generation de verificateurs de traces pour les systemes distribues

Jard, Claude (1959-....) ; Drissi-Kaitouni, Omar

Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1987

Voir les exemplaires

2
Material Type:
Thèse
Ajouter à Mon espace

Propositions pour un langage d'écriture de programmes répartis : expression du contrôle et de la communication entre processus distribués

Guillot, Jean-Michel (1955-....)

Grenoble, 1979

Voir les exemplaires

3
Material Type:
Livre
Ajouter à Mon espace

Polycomputer : a scalable fault-tolerant architecture

FLYNN HUMMEL, Susan

Fontainebleau : ENSMP, 1991

Voir les exemplaires  et autres localisations

4
Material Type:
Livre
Ajouter à Mon espace

A highly parallel ADA task scheduler

FLYNN HUMMEL, Susan

Fontainebleau : ENSMP, 1992

Voir les exemplaires  et autres localisations

5
Material Type:
Livre
Ajouter à Mon espace

HPF et l'état de l'art

Coelho, Fabien

Fontainebleau : ENSMP, 1994

Voir les exemplaires  et autres localisations

6
Functional programming for loosely-coupled multiprocessors
Material Type:
Livre
Ajouter à Mon espace

Functional programming for loosely-coupled multiprocessors

Kelly, Paul

London Cambridge, MA : Pitman MIT press, 1989

Voir les exemplaires

7
Computer aided verification : 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 proceedings
Material Type:
Livre
Ajouter à Mon espace

Computer aided verification : 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 proceedings

CAV CAV Conference 21st Grenoble, France 2009 ; Bouajjani, Ahmed ; Maler, Oded

Berlin New York : Springer, 2009

Voir les exemplaires

8
Material Type:
Livre
Ajouter à Mon espace

A COMPARATIVE SURVEY OF CONCURRENT PROGRAMMING LANGUAGES.

New York : ACM, 1982

Voir les exemplaires  et autres localisations

9
Material Type:
Livre
Ajouter à Mon espace

Parallel and Distributed Workstation Systems (Special triple issue)

Amsterdam : NORTH-HOLLAND, 1992

Voir les exemplaires

10
ALGORITHMIQUE DU PARALLELISME LE PROBLEME DE L'EXCLUSION MUTUELLE.
Material Type:
Livre
Ajouter à Mon espace

ALGORITHMIQUE DU PARALLELISME LE PROBLEME DE L'EXCLUSION MUTUELLE.

Paris : Dunod, 1984

Voir les exemplaires  et autres localisations

11
Material Type:
Livre
Ajouter à Mon espace

ARCHITECTURE DES MACHINES ET SYSTEMES INFORMATIQUES.

Anceau, François (1940-....)

s.l. : s.n., 1979

Voir les exemplaires

12
CONTROL FLOW AND DATA FLOW : CONCEPTS OF DISTRIBUTED PROGRAMMING
Material Type:
Livre
Ajouter à Mon espace

CONTROL FLOW AND DATA FLOW : CONCEPTS OF DISTRIBUTED PROGRAMMING

Berlin, Heidelberg : Springer, 1986

Voir les exemplaires

13
Material Type:
Livre
Ajouter à Mon espace

14èmes Rencontres francophones du parallélisme : 8ème Symposium en architectures nouvelles de machines : Journée ASF des jeunes chercheurs en systeme d'exploitation (RenPar'14 - SympA'8 - ASF) : Hammamet - Tunisie 10-13 avril 2002

Tunis : s.n., 2002

Voir les exemplaires

14
Material Type:
Versions multiples

Systèmes d'exploitation : concepts et algorithmes

Beauquier, Joffroy. ; Bérard, Béatrice.

Plusieurs versions trouvées
Il y a 3 versions

15
Material Type:
Livre
Ajouter à Mon espace

INFORMATION PROCESSING 83.

AMSTERDAM : NORTH-HOLLAND, 1983

Voir les exemplaires

16
Material Type:
Livre
Ajouter à Mon espace

INFORMATION PROCESSING 83 RECUEIL DES CONFERENCES IFIP.

S.L. : s.n., 1983

Voir les exemplaires

17
Material Type:
Livre
Ajouter à Mon espace

Workshop on parallel and distributed debugging

New York : ACM, 1988

Voir les exemplaires  et autres localisations

18
Material Type:
Livre
Ajouter à Mon espace

LANGAGES ET SYSTEMES INFORMATIQUES.

S.L. : s.n., 1984

Voir les exemplaires

19
UTILISATION DE LA CONNAISSANCE SEMANTIQUE DANS LE CONTROLE DE CONCURRENCE DES SYSTEMES REPARTIS.
Material Type:
Thèse
Ajouter à Mon espace

UTILISATION DE LA CONNAISSANCE SEMANTIQUE DANS LE CONTROLE DE CONCURRENCE DES SYSTEMES REPARTIS.

S.L. : s.n., 1985

Voir les exemplaires

20
Material Type:
Livre
Ajouter à Mon espace

MULTI-MICROPROCESSORS SYSTEMS.

VOLUCEAU : IRIA, 1978

Voir les exemplaires

Résultats 1 2 next page

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

N'afficher que

  1. Disponible (1)

Affiner les résultats

Type de ressource 

  1. Livres  (26)
  2. Thèses  (2)
  3. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1983  (5)
  2. 1983 à 1985  (7)
  3. 1986 à 1988  (6)
  4. 1989 à 1992  (6)
  5. Après 1992  (4)
  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é