Your search returned 114 results. Subscribe to this search

|
1. Thèses 8 1.2 : un modele MSIMD pour la simulation massivement parallele [Microforme] / Jean-Louis GiavittoPublication :[S.l.] : [s.n.], 1991Description : 1 microficheAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-609] (1).
2. Congrès A denotational model for mobile many-to-many data-flow networks / {R. Grosu, K. St¢len}Publication :Munich (DEU) : Technische Universität München, 1996Description : 25 p. : Ill. ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2305] (1).
3. Congrès A denotational model for mobile point-to-point dataflow networks / {R. Grosu, K. St¢len}Publication :München : [s.n.], 1995Description : 31 p. : Ill. ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1852] (1).
4.  Monographies, textes A non-interleaving semantics for CCS based on proved transitions = Une sémantique de parallélisme dans CCS basée sur les transitions prouvées / Gérard Boudol & Ilaria CastellaniPublication :Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1988Description : 12, [1] p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI4992] (1).
5. Articles A PARALLEL-PROGRAMMING PROCESS MODEL. / {B. Beck} [[Texte imprimé]]Publication :New York : IEEE, 1989Description : P. 63 A 72 : 7 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI12155] (1).
6. Congrès A unifying approach of data and task parallelism based on structural clock communication paradigm / {E. Melin, X. Rebeuf, B. Raffin, B. Virot}Publication :Orléans : [s.n.], 1997Description : 14 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2378] (1).
7. Congrès ABOARD AUTO. / {D. Vergamini, D. Simone r.}Publication :ROCQUENCOURT : INRIA, 1989Description : 01 VOL.,24 P. : PR 1 ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6443] (1).
8. Congrès ACTION (THE) GRAPH MODEL AS A LINK BETWEEN ABSTRACT RELATION ALGEBRAS AND PROCESS-ALGEBRAIC SPECIFICATIONS. / {T. Gritzner}Publication :S.L. : [s.n.], 1992Description : 01 VOL.,17 P. : 28 RF ; 21 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-916] (1).
9. Congrès ALGEBRAIC CALCULI OF PROCESSES AND NET EXPRESSIONS. / {G. Gonthier}Publication :ROCQUENCOURT : INRIA, 1985Description : 01 VOL.,10 P. : 7 RF ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2684] (2).
10. Articles ALGEBRAIC LAWS FOR NONDETERMINISM AND CONCURRENCY. / {M. Hennessy}Publication :New York : ACM, 1985Description : P. 137 A 161 : 11 RF ; 25 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI7568] (3).
11.  Monographies, textes Algebraic theory of processes [] / Matthew HennessyPublication :Cambridge, Mass. : MIT Press, cop.1988Description : 1 vol. (ix-272 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6294] (2).
12. Congrès Algèbre de processus et synchronisation [[Texte imprimé]] / {G. Boudol, D. Austry}Publication :Rocquencourt : INRIA, 1983Description : 1 VOL. (63 P.) : RF 10 ; 29 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1881] (1).
13. Congrès Algorithmique parallèle [Texte imprimé] / coordonné par M. Cosnard,... M. Nivat,... Y. Robert,...Publication :Paris, Milan, Barcelone : Masson, 1992, 61-Lonrai : Impr. Normandie RotoDescription : 1 vol. (xvii-379 p.) : ill., couv. ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-754] (1).
14.  Monographies, textes Algorithmique parallèle et distribuée / Ivan Lavallée, Christian LavaultPublication :Le Chesnay : INRIA, 1985Description : 57 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3064] (1).
15.  Monographies, textes Algorithms, software, and hardware of parallel computers / ed. by J. Miklosko and V.E. Kotov ; with contributions by J. Chudík ... et al.Publication :Berlin (etc.) : Springer, Bratislava : VEDA, 1984Description : 395 p : ill ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[MIK] (1).
16. Congrès AN AXIOMATIZATION OF LAMPORT'S TEMPORAL LOGIC OF ACTIONS. / {M. Abadi}Publication :s.l. : [s.n.], 1990Description : 01 VOL.,18 P. : PR 1 ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-073] (1).
17. Congrès Une approche synchrone pour l'intégration du contrôle / {S. Dissoubray}Publication :Rocquencourt (FRA) : INRIA, 1996Description : 144 p. : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2222] (1).
18. Congrès ARCHITECTURE-INDEPENDENT PARALLEL COMPUTATION. / {D. Skillicorn}Publication :S.L. : [s.n.], 1990Description : 01 VOL.,21 P. : 22 RF ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-258] (1).
19.  Monographies, textes AUTO : un systéme de vérification de processus paralléles et communicants : A verification system for parallel and communicating processes / Valérie Lecompte, Eric Madelaine, Didier VergaminiPublication :Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1987Description : 20 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3553] (1).
20. Congrès AUTOGRAPH (AN) PRIMER. / {D. Simone r., V. Roy}Publication :ROCQUENCOURT : INRIA, 1989Description : 01 VOL.,30 P. : PR 2 ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6442] (1).
21. Congrès AUTOMATIC VERIFICATION OF FINITE STATE MACHINES USING TEMPORAL LOGIC. / {M. Browne}Publication :PITTSBURGH : CARNEGIE MELLON UNIVERSITY, 1989Description : 01 VOL.,141 P. : PR 4 ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6271] (1).
22. Congrès CALCULS DE PROCESSUS ET VERIFICATION. / {G. Boudol}Publication :ROCQUENCOURT : INRIA, 1985Description : 01 VOL.,18 P. : 17 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2942] (1).
23. Congrès CAN FAIR CHOICE BE ADDED TO DIJKSTRA'S CALCULUS?. / {M. Broy, G. Nelson}Publication :PALO-ALTO : DIGITAL, 1989Description : 01 VOL.,19 P. : 4 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6552] (2).
24.  Monographies, textes Une Combinaison des réseaux de Petri et des types abstraits algébriques pour la spécification des systèmes parallèles / J. VautherinPublication :Orsay : LRI, 1985Description : [13] p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3115] (1).
25. Congrès COMMUNICATION AND CONCURRENCY. / {R. Milner}Publication :ENGLEWOOD-CLIFFS : Prentice Hall, 1989Description : 01 VOL.,269 P. : 46 RF ; 24 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6261] (2).

Powered by Koha

//]]>