Vuillemin, Jean.
Vuillemin, Jean, 19..-...., informaticien
Vuillemin, J.
Vuillemin, Jean (informatyk)
VIAF ID: 30074131 ( Personal )
Permalink: http://viaf.org/viaf/30074131
Preferred Forms
-
- 100 1 _ ‡a Vuillemin, Jean
- 100 1 _ ‡a Vuillemin, Jean
-
-
-
-
- 100 1 _ ‡a Vuillemin, Jean, ‡d 19..-...., ‡c informaticien
-
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Abstract intepretation of higher-order imperative languages. | |
Algorithms for detecting recurrence relations : application to the synthesis and transformation of programs. | |
Automated compiling targetting FPGAs. | |
Balancing energy, security and circuit area in lightweight cryptographic hardware design | |
Canaux cachés et attaques par injection de fautes en présence de contre-mesures : outils, théorie et pratique. | |
Compilation automatique pour les FPGAs | |
Complexité de l'évaluation de plusieurs formes bilinéaires et des principaux calculs matriciels | |
Computer-aided design applied to VLSI integrated circuit routing. | |
La conception assistée par ordinateur appliquée au routage dans les circuits intégrés VLSI | |
Décompositions de graphes et hypergraphes ; Structures de données pour traiter les ensembles (d'après L. Trabb Pardo) | |
Étude de solutions généralisées de problèmes du type hypersurfaces minimales non paramétriques : minimisation de fonctionnelles définies sur une variété par la méthode du gradient conjugué | |
Etude des opérateurs relationnels et application à la gestion des bases de données | |
Extension of the lustre language and application to hardware design : the lustre-v4 language and the pollux system | |
Files d'attente avec pannes et applications à la modélisation de systèmes informatiques | |
L'ecole de Marbourg | |
L'équilibre entre consommation énergétique, sécurité et surface de circuit dans la conception de matériel cryptographique léger. | |
Manipulation de programmes pascal au niveau des concepts du langage | |
Méthodes d'analyse de structures de données dynamiques | |
Microarchitecture of VLSI computers | |
Proof techniques for recursive programs | |
Réalisation et certains problèmes de modélisation d'un système réparti de gestion de base de données | |
Sémantiques des langages impératifs d'ordre superieur et interprétation abstraite | |
Séries génératrices et analyse automatique d'algorithmes | |
Side-channel and fault analysis in the presence of countermeasures : tools, theory, and practice | |
Spécifications sémantiques dans le système mentor | |
Syntaxe, sémantique et axiomatique d'un langage de programmation simple | |
Techniques informatiques dans la vérification des gardes technologiques des circuits intégrés | |
Y-a-t-il une place pour le philosophe dans le monde d'aujourd'hui |