Recherche simple :
Ressources pédagogiques
Ressources diverses
Thèses
Toutes les ressources
Thèses > Par auteur en fr
  • Nouveautés
  • Recherche avancée
  • Par auteur
  • Par date
  • Par laboratoire
  • Recherche thématique
Thèses -> Auteurs
Auteurs > L > La Spina Sophia
Niveau supérieur
  • 1 ressource a été trouvée.
  |< << Page précédente 1 Page suivante >> >| documents par page
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
Tri :   Date de référencement Editeur Auteur Titre

Formal verification of weak topological orderings and dataflow analysis
  • Consulter la notice
  • Date de publication : 
    • 16-12-2025  | 
  • Auteur(s) : 
    • La Spina Sophia  | 
  • Editeur(s) : 
    • Université de Rennes  | 
  • Origine de la fiche : 
    • Université de Rennes 1
  • L'analyse flots de données est une technique d'analyse statique qui détermine des informations sur la propagation des données lors de l'exécution d'un programme informatique, sans exécuter le programme. Ces informations peuvent être notamment utilisées pour optimiser le programme lors de sa compilation. Réaliser une analyse flots de données consiste en général à résoudre un système d'équations. En...


  • Référencé le  : 
    • 22-06-2026
    |< << Page précédente 1 Page suivante >> >| documents par page
    © 2006-2010 ORI-OAI