Cette thèse développe différents problèmes de la conception et de l'implantation d'un circuit intégré complexe avec des fortes contraintes de performa...
En combinant différences divisées, interpolation de newton et interpolation de Lagrange, nous étendons des identités fonctionnelles d'une variable a u...
A théorie des traces de mazurkiewicz n'est pas suffisamment puissante pour décrire certains paradigmes de la concurrence comme celui du producteur/con...
Nous proposons dans cette thèse une technique d'analyse sémantique statique des programmes c élaborée a partir de l'évaluation partielle et de l'évalu...
