-
XQTC: A Static Type-Checker for XQuery Using Backward Type Inference
We present a novel technique and a tool for static type-checking of XQuery programs. The tool looks for errors in the program by jointly analyzing the source code of... -
Determination of a depth map from an image sequence
Disponible dans les fichiers attachés à ce document -
An operational formal definition of PROLOG (comprehensive version of RR 598)
Résumé disponible dans les fichiers attachés -
Un constructeur d'arbres de preuve dirigé par des tactiques
Disponible dans les fichiers attachés à ce document -
Approximation of general shell problems by flat plate elements (part 3 : exte...
This dataset has no description
-
Approximation of general shell problems by flat plate elements (part 2 : addi...
This dataset has no description
-
Approximations nonconformes de problemes generaux de coques minces par elemen...
This dataset has no description
-
Une construction systématique de modèles à partir de spécifications opération...
Disponible dans les fichiers attachés à ce document -
Synchronizing processors through memory requests in a tightly coupled multipr...
Disponible dans les fichiers attachés à ce document -
Exact real computer arithmetic with continued fractions
This dataset has no description
-
Elliptic functions, continued fractions and doubled permutations
Résumé disponible dans les fichiers attachés -
Portage d'un environnement Unix sur le noyau Gothic
Disponible dans les fichiers attachés à ce document -
SIGNAL : a declarative language for synchronous programming of real-time systems
Disponible dans les fichiers attachés à ce document -
Parallel machines for multiset transformation and their programming style
Disponible dans les fichiers attachés à ce document -
Tabulations of the closure tensors for the M.P.P. model of turbulence
This dataset has no description
-
Load balancing in a system of two queues with resequencing
We consider a system of two independent servers in parallel. The arriving customers can be directed to either of the two waiting lines. We suppose that there are... -
Analysis of the M/GI/1->./M/1 queueing model
Disponible dans les fichiers attachés à ce document -
Synthèse d'image par lancer de rayon sur un hypercube
Disponible dans les fichiers attachés à ce document -
Quaternions et controle sur l'espace des rotations
Disponible dans les fichiers attachés à ce document -
Optimistic MILP Modeling of Non-linear Optimization Problems
This dataset has no description
