-
Conditions aux limites pseudo-absorbantes pour l'equation de diffusion
This dataset has no description
-
Data synchronized pipeline architecture: Pipelining in multiprocessor environ...
Disponible dans les fichiers attachés à ce document -
Limiting distributions for trie parameters
This dataset has no description
-
Le systeme SICLA: Principes et architecture
Résumé disponible dans les fichiers attachés -
Optimal sensor location for detecting changes in dynamical behavior
Disponible dans les fichiers attachés à ce document -
Exemples de developpement de programmes dans la theorie des constructions
This dataset has no description
-
A distributed algorithm for mutual exclusion in an arbitrary network
Disponible dans les fichiers attachés à ce document -
Commande de systèmes redondants et évitement d'obstacles
Disponible dans les fichiers attachés à ce document -
Une méthode de conception de programmes fonctionnels
Disponible dans les fichiers attachés à ce document -
Verification by means of observational equivalence on automata
Disponible dans les fichiers attachés à ce document -
An algebraic approach to recursive queries in relational databases
This dataset has no description
-
On global smooth solution of Cauchy problem for a class of quasilinear parabo...
This dataset has no description
-
On a Feynman-Kac type result for coupled elliptic systems-I-
This dataset has no description
-
Verifying Fault-Tolerant Distributed Algorithms in the Heard-Of Model
Distributed computing is inherently based on replication, promising increased tolerance to failures of individual computing nodes or communication channels. Realizing... -
Stuttering Equivalence
Two omega-sequences are stuttering equivalent if they differ only by finite repetitions of elements. Stuttering equivalence is a fundamental concept in the theory of... -
Controlling knowledge transfers in distributed algorithms.Application to dead...
Disponible dans les fichiers attachés à ce document -
Prefixes of infinite words and ambiguous context-free languages
Résumé disponible dans les fichiers attachés -
Scattering of elastic waves in a perturbed isotropic half space with a free b...
This dataset has no description
-
Preliminary results on the iterative convergence of a class of implicit schemes
Résumé disponible sur le PDF -
Practical variations of shellsort
Disponible dans les fichiers attachés à ce document
