Browse
Document list
List by document type
List by year
List by subject
List by laboratory
Search
Search
Last articles
advanced search
Home
Services
Create web page
Export a publication list
4003 articles
[version française]
.:.
Browse
>
List by year
> 1992 .:.
58 documents ordered by :
Date
Title
first author name
document type
Submit date
1
-
2
-
3
A denotational theory of synchronous reactive systems
Benveniste A., Le Guernic P., Sorel Y., Sorine M.
Information and Computation
99
, 2 (1992) 192-230 [hal-00549783 - version 1]
Analysis of an Efficient Distributed Algorithm for Mutual Exclusion (Average-Case Analysis of Path Reversal)
Lavault C.
Dans
LNCS 634
- (1992) [hal-00115119 - version 1]
A local approach for matching contour segments
Boukir S., Bouthemy P., Juvin D., Chaumette F.
Rapport de recherche (1992) [inria-00077032 - version 1]
A Complete and irredundant linear description of the asymmetric traveling salesman polytope on 6 nodes
Euler R., Le Verge H.
Rapport de recherche (1992) [inria-00077031 - version 1]
Branching bisimulation for context-free processes
Caucal D., Huynh D., Tian L.
Rapport de recherche (1992) [inria-00077029 - version 1]
An Adaptive sparse unsymmetric linear system solver
Sadkane M., Sidje R. B.
Rapport de recherche (1992) [inria-00077028 - version 1]
Deadlock models and general algorithm for distributed deadlock detection
Brzezinski J., Hélary J.-M., Raynal M.
Rapport de recherche (1992) [inria-00077016 - version 1]
Etude de quelques organisations d'antémémoires
Drach N., Seznec A.
Rapport de recherche (1992) [inria-00077015 - version 1]
Evaluation des performances d'un noyau de simulation répartie
Ingels P., Maziero C.
Rapport de recherche (1992) [inria-00077002 - version 1]
A calculus of Gamma programs
Hankin C., Le Métayer D., Sands D.
Rapport de recherche (1992) [inria-00076998 - version 1]
An exception handling mechanism for parallel object-oriented programming
Issarny V.
Rapport de recherche (1992) [inria-00076997 - version 1]
Un Réseau systolique intégré pour la correction de fautes de frappe
Lavenier D.
Rapport de recherche (1992) [inria-00076995 - version 1]
Evaluation des performances d'un noyau de simulation répartie
Ingels P., Maziero C.
Rapport de recherche (1992) [inria-00076991 - version 1]
Early warning of slight changes in systems and plants with application to condition based maintenance
Zhang Q., Basseville M., Benveniste A.
Rapport de recherche (1992) [inria-00076990 - version 1]
Parallélisation d'un algorithme de détection de mouvement sur une architecture MIMD
Heitz F., Memin E., Priol T., Jufresa S.
Rapport de recherche (1992) [inria-00076977 - version 1]
Two complementary notes on skewed-associative caches
Seznec A.
Rapport de recherche (1992) [inria-00076976 - version 1]
Agrégation faible des processus de Markov absorbants
Ledoux J., Rubino G., Sericola B.
Rapport de recherche (1992) [inria-00076975 - version 1]
Correctness of automated distribution of sequential programs
Bareau C., Caillaud B., Jard C., Thoraval R.
Rapport de recherche (1992) [inria-00076963 - version 1]
Region-based tracking in an image sequence
Meyer F., Bouthemy P.
Rapport de recherche (1992) [inria-00076962 - version 1]
Reconstruction 3D de primitives géometriques par vision active
Boukir S., Chaumette F.
Rapport de recherche (1992) [inria-00076960 - version 1]