Now showing items 481-500 of 1149

    Titles index
    Un générateur CP pour la vérification temporelle des contrôleurs d'interfaces [1]
    Un générateur de code machine pour le compilateur Gambit [1]
    Générateurs de nombres aléatoires modulo un grand entier, dont l’uniformité est assurée [1]
    Générateurs de nombres pseudo-aléatoires utilisant des récurrences linéaires modulo 2 [1]
    Générateurs pseudo-aléatoires combinant des récurrences linéaires et non linéaires [1]
    Generating graphical and projectional editors [1]
    Génération automatique d'une spécification formelle à partir de scénarios temps-réels [1]
    Génération automatique de cas de test pour les systèmes modélisés par des machines à états finis communicantes [1]
    Génération automatique de configurations et de scénarios d'utilisation d'outils de visualisation à partir de spécifications de tâches d'analyse de logiciels [1]
    Génération automatique de lettres de recrutement [1]
    Génération automatique de résumés par analyse sélective [1]
    Génération d'ombres floues provenant de sources de lumière surfaciques à l'aide de tampons d'ombre étendus [1]
    Génération de cas de test pour les systèmes temps réel modélisés par des automates à entrées sorties temporisées [1]
    Génération de données : de l’anonymisation à la construction de populations synthétiques [1]
    Génération de machines virtuelles pour l'exécution de programmes compressés [1]
    Génération de modèles de langage compacts pour la reconnaissance vocale [1]
    Génération de résumés par abstraction [1]
    Génération efficace de graphes d’appels dynamiques complets [1]
    Génération et édition de textures géométriques représentées par des ensembles de points [1]
    Génération et reconnaissance de rythmes au moyen de réseaux de neurones à réservoir [1]