NON CLASSES

Dans le rayon NON CLASSES il y a différentes étagères, cliquez dessus pour les explorer...

Habilitation à diriger des Recherches	Musée	Thèses de doctorat

Acquisition de connaissances à partir d'opérateur de généralisation : Vers une unification des notions de similarité et de catégories / M. LATOURRETTE

Public ISBD Titre : Acquisition de connaissances à partir d'opérateur de généralisation : Vers une unification des notions de similarité et de catégories Type de document : texte imprimé Auteurs : M. LATOURRETTE, Auteur Langues : Français (fre) Index. décimale : THE Thèses de doctorat Directeur(s) de thèse : SALLANTIN J. Acquisition de connaissances à partir d'opérateur de généralisation : Vers une unification des notions de similarité et de catégories [texte imprimé] / M. LATOURRETTE, Auteur . - [s.d.]. Langues : Français (fre) Index. décimale : THE Thèses de doctorat Directeur(s) de thèse : SALLANTIN J.

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
THE-01 / 7827	Non renseigné	THESES	NON CLASSES		Disponible

ACSY-R: Un Modèle pour l'Analyse, la Spécification et la Simulation de la Commande de Systèmes Discrets Complexes Répartis / V. CHAPURLAT

Public ISBD Titre : ACSY-R: Un Modèle pour l'Analyse, la Spécification et la Simulation de la Commande de Systèmes Discrets Complexes Répartis Type de document : texte imprimé Auteurs : V. CHAPURLAT, Auteur Année de publication : 1994 Langues : Français (fre) Tags : SYSTEMES AUTOMATISES DE PRODUCTION  GENIE AUTOMATIQUE  MODELISATION  GRAFCET  RESEAUX DE PETRI INTERPRETES  SYSTEMES REPARTIS  SYSTEMES DISTRIBUES  GENIE INFORMATIQUE, AUTOMATIQUE ET TRAITEMENT DU SIGNAL Index. décimale : THE Thèses de doctorat Directeur(s) de thèse : PRUNET F. Président du jury : TAHON C. Rapporteur(s) : DESCOTES-GENON B. Examinateur(s) : LHOSTE P.;CALLET J.P. Date de soutenance : 29/09/1994 ACSY-R: Un Modèle pour l'Analyse, la Spécification et la Simulation de la Commande de Systèmes Discrets Complexes Répartis [texte imprimé] / V. CHAPURLAT, Auteur . - 1994. Langues : Français (fre) Tags : SYSTEMES AUTOMATISES DE PRODUCTION  GENIE AUTOMATIQUE  MODELISATION  GRAFCET  RESEAUX DE PETRI INTERPRETES  SYSTEMES REPARTIS  SYSTEMES DISTRIBUES  GENIE INFORMATIQUE, AUTOMATIQUE ET TRAITEMENT DU SIGNAL Index. décimale : THE Thèses de doctorat Directeur(s) de thèse : PRUNET F. Président du jury : TAHON C. Rapporteur(s) : DESCOTES-GENON B. Examinateur(s) : LHOSTE P.;CALLET J.P. Date de soutenance : 29/09/1994

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
THE-94 / 5265	Papier	THESES	NON CLASSES		Disponible

Algorithmes Génétiques et Apprentissage pour la Planification de Mouvements et la Navigation de Robots Mobiles / O. PINCHARD

Public ISBD Titre : Algorithmes Génétiques et Apprentissage pour la Planification de Mouvements et la Navigation de Robots Mobiles Type de document : texte imprimé Auteurs : O. PINCHARD, Auteur Année de publication : 1996 Langues : Français (fre) Index. décimale : THE Thèses de doctorat Date de soutenance : 05/11/1996 Algorithmes Génétiques et Apprentissage pour la Planification de Mouvements et la Navigation de Robots Mobiles [texte imprimé] / O. PINCHARD, Auteur . - 1996. Langues : Français (fre) Index. décimale : THE Thèses de doctorat Date de soutenance : 05/11/1996

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
THE-96 / 5893	Non renseigné	THESES	NON CLASSES		Disponible

Algorithmique et Complexité Distribuées. Application à Quelques Problèmes Fondamentaux de Complexité / C. LAVAULT

Public ISBD Titre : Algorithmique et Complexité Distribuées. Application à Quelques Problèmes Fondamentaux de Complexité Type de document : texte imprimé Auteurs : C. LAVAULT, Auteur Langues : Français (fre) Index. décimale : THE Thèses de doctorat Algorithmique et Complexité Distribuées. Application à Quelques Problèmes Fondamentaux de Complexité [texte imprimé] / C. LAVAULT, Auteur . - [s.d.]. Langues : Français (fre) Index. décimale : THE Thèses de doctorat

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
THE-87 / 6743	Non renseigné	THESES	NON CLASSES		Disponible

Algorithms and Heuristics for Total and Partial Constraint Satisfaction / LARROSA

Public ISBD Titre : Algorithms and Heuristics for Total and Partial Constraint Satisfaction Type de document : texte imprimé Auteurs : LARROSA, Auteur Langues : Français (fre) Index. décimale : THE Thèses de doctorat Note de contenu : Institut d'Investigacio en Intel-igencia Artificial, Barcelona, Spain Algorithms and Heuristics for Total and Partial Constraint Satisfaction [texte imprimé] / LARROSA, Auteur . - [s.d.]. Langues : Français (fre) Index. décimale : THE Thèses de doctorat Note de contenu : Institut d'Investigacio en Intel-igencia Artificial, Barcelona, Spain

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
THE-98 / 6456	Non renseigné	THESES	NON CLASSES		Disponible

Allocation en Vue de la Testabilité dans le Cadre de la Synthèse de Haut Niveau / Peter BUKOVJAN

Public ISBD Titre : Allocation en Vue de la Testabilité dans le Cadre de la Synthèse de Haut Niveau Type de document : texte imprimé Auteurs : Peter BUKOVJAN, Auteur Année de publication : 2000 Langues : Français (fre) Tags : ELECTRONIQUE, OPTRONIQUE ET SYSTEMES Index. décimale : THE Thèses de doctorat Directeur(s) de thèse : MARZOUKI M.;BRZOBOHATY J. Président du jury : GENTIL P. Rapporteur(s) : HLAVICKA J.;LANDRAULT C. Examinateur(s) : KOTASEK Z. Date de soutenance : 28/09/2000 Allocation en Vue de la Testabilité dans le Cadre de la Synthèse de Haut Niveau [texte imprimé] / Peter BUKOVJAN, Auteur . - 2000. Langues : Français (fre) Tags : ELECTRONIQUE, OPTRONIQUE ET SYSTEMES Index. décimale : THE Thèses de doctorat Directeur(s) de thèse : MARZOUKI M.;BRZOBOHATY J. Président du jury : GENTIL P. Rapporteur(s) : HLAVICKA J.;LANDRAULT C. Examinateur(s) : KOTASEK Z. Date de soutenance : 28/09/2000

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
THE-00 / 6839	Papier	THESES	NON CLASSES		Disponible

Amélioration du Niveau de Sécurité des Systèmes Electroniques Programmables par Application du Concept d'Analyse de Signature / A. SCHWEITZER

Public ISBD Titre : Amélioration du Niveau de Sécurité des Systèmes Electroniques Programmables par Application du Concept d'Analyse de Signature Type de document : texte imprimé Auteurs : A. SCHWEITZER, Auteur Langues : Français (fre) Tags : APPRENTISSAGE  DIAGNOSTIC  LOGIQUE  COMPUTER  RECONNAISSANCE Index. décimale : THE Thèses de doctorat Note de contenu : LAMM 87089 Amélioration du Niveau de Sécurité des Systèmes Electroniques Programmables par Application du Concept d'Analyse de Signature [texte imprimé] / A. SCHWEITZER, Auteur . - [s.d.]. Langues : Français (fre) Tags : APPRENTISSAGE  DIAGNOSTIC  LOGIQUE  COMPUTER  RECONNAISSANCE Index. décimale : THE Thèses de doctorat Note de contenu : LAMM 87089

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
THE-87 / 3134	Non renseigné	THESES	NON CLASSES		Disponible

Amélioration de la Testabilité des Circuits Séquentiels par Emulation de Configurations de Test / S. LAVABRE

Public ISBD Titre : Amélioration de la Testabilité des Circuits Séquentiels par Emulation de Configurations de Test Type de document : texte imprimé Auteurs : S. LAVABRE, Auteur Année de publication : 1995 Langues : Français (fre) Tags : TECHNIQUE DE TEST  TEST DE CIRCUITS SEQUENTIELS  TESTABILITE  CONCEPTION EN VUE DU TEST  REDUCTION DU TEMPS DE TEST  ELECTRONIQUE, OPTRONIQUE ET SYSTEMES Index. décimale : THE Thèses de doctorat Directeur(s) de thèse : BERTRAND Y. Président du jury : CAMBON G. Rapporteur(s) : RUBIO A.;DANTO Y. Examinateur(s) : LANDRAULT C.;RENOVELL M. Date de soutenance : 13/07/1995 Amélioration de la Testabilité des Circuits Séquentiels par Emulation de Configurations de Test [texte imprimé] / S. LAVABRE, Auteur . - 1995. Langues : Français (fre) Tags : TECHNIQUE DE TEST  TEST DE CIRCUITS SEQUENTIELS  TESTABILITE  CONCEPTION EN VUE DU TEST  REDUCTION DU TEMPS DE TEST  ELECTRONIQUE, OPTRONIQUE ET SYSTEMES Index. décimale : THE Thèses de doctorat Directeur(s) de thèse : BERTRAND Y. Président du jury : CAMBON G. Rapporteur(s) : RUBIO A.;DANTO Y. Examinateur(s) : LANDRAULT C.;RENOVELL M. Date de soutenance : 13/07/1995

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
THE-95 / 5467	Papier	THESES	NON CLASSES		Disponible

An Abstract Machine Based Execution Model for Computer Architecture Design and Efficient Implementation of Logic Programs in Parallel / HERMENEGILDO

Public ISBD Titre : An Abstract Machine Based Execution Model for Computer Architecture Design and Efficient Implementation of Logic Programs in Parallel Type de document : texte imprimé Auteurs : HERMENEGILDO, Auteur Langues : Français (fre) Tags : ARCHITECTURE  CONCEPTION  PARALLELISME  LOGIQUE Index. décimale : THE Thèses de doctorat Note de contenu : LAMM 86099 An Abstract Machine Based Execution Model for Computer Architecture Design and Efficient Implementation of Logic Programs in Parallel [texte imprimé] / HERMENEGILDO, Auteur . - [s.d.]. Langues : Français (fre) Tags : ARCHITECTURE  CONCEPTION  PARALLELISME  LOGIQUE Index. décimale : THE Thèses de doctorat Note de contenu : LAMM 86099

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
THE-86 / 3024	Non renseigné	THESES	NON CLASSES		Disponible

An Object-Oriented Modelling Technique for Analysis and Design of Complex (Real-Time) Systems / A.C. VERSCHUEREN

Public ISBD Titre : An Object-Oriented Modelling Technique for Analysis and Design of Complex (Real-Time) Systems Type de document : texte imprimé Auteurs : A.C. VERSCHUEREN, Auteur Année de publication : 1992 Langues : Français (fre) Tags : V.L.S.I.  CIRCUIT Index. décimale : THE Thèses de doctorat Note de contenu : LAMM 92054 Date de soutenance : 19/05/1992 An Object-Oriented Modelling Technique for Analysis and Design of Complex (Real-Time) Systems [texte imprimé] / A.C. VERSCHUEREN, Auteur . - 1992. Langues : Français (fre) Tags : V.L.S.I.  CIRCUIT Index. décimale : THE Thèses de doctorat Note de contenu : LAMM 92054 Date de soutenance : 19/05/1992

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
THE-92 / 3648	Papier	THESES	NON CLASSES		Disponible

"Analogue Network of Converters": a DfT Technique to Test a Complete Set of ADCs and DACs Embedded in a Complex SiP or SoC / Vincent KERZERHO

Public ISBD Titre : "Analogue Network of Converters": a DfT Technique to Test a Complete Set of ADCs and DACs Embedded in a Complex SiP or SoC Type de document : texte imprimé Auteurs : Vincent KERZERHO, Auteur Année de publication : 2008 Langues : Français (fre) Tags : GENIE INFORMATIQUE, AUTOMATIQUE ET TRAITEMENT DU SIGNAL Index. décimale : THE Thèses de doctorat Directeur(s) de thèse : RENOVELL M. Rapporteur(s) : HUERTAS J.L.;FOUILLAT P. Examinateur(s) : CAUVET P.;BERNARD S.;COMTE M.;AZAIS F.;DALLET D. Date de soutenance : 22/09/2008 "Analogue Network of Converters": a DfT Technique to Test a Complete Set of ADCs and DACs Embedded in a Complex SiP or SoC [texte imprimé] / Vincent KERZERHO, Auteur . - 2008. Langues : Français (fre) Tags : GENIE INFORMATIQUE, AUTOMATIQUE ET TRAITEMENT DU SIGNAL Index. décimale : THE Thèses de doctorat Directeur(s) de thèse : RENOVELL M. Rapporteur(s) : HUERTAS J.L.;FOUILLAT P. Examinateur(s) : CAUVET P.;BERNARD S.;COMTE M.;AZAIS F.;DALLET D. Date de soutenance : 22/09/2008

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
THE-08 / 13675	Papier	THESES	NON CLASSES		Disponible

Analogue Network of Converters" : A DFT Technique to Test a Complete Set of ADCs and DACs Embedded in a Complex SiP or SoC / Vincent KERZERHO

Public ISBD Titre : Analogue Network of Converters" : A DFT Technique to Test a Complete Set of ADCs and DACs Embedded in a Complex SiP or SoC Type de document : texte imprimé Auteurs : Vincent KERZERHO, Auteur Année de publication : 2008 Langues : Français (fre) Tags : GENIE INFORMATIQUE, AUTOMATIQUE ET TRAITEMENT DU SIGNAL Index. décimale : THE Thèses de doctorat Résumé : Une nouvelle méthode de test pour des convertisseurs ADC (Analog to Digital Converter) et DAC (Digital to Analog Converters), embarqués dans un système complexe, a été développée. Cette méthode a été développée en prenant en compte les nouvelles contraintes affectant le test. Ces contraintes, dues aux tendances de design des systèmes, sont: un nombre réduit de points d'accès aux entrées / sorties des blocs analogiques du système et l'augmentation rapide du nombre et des performances des convertisseurs integrés. Pour la méthode, on propose de connecter les convertisseurs DAC et ADC dans le domaine analogique pour n'avoir besoin que d'instruments de test numériques pour générer et capturer des signaux de test. Un algorithme de traitement du signal a été développé pour discriminer les erreurs des DAC et ADC. Cet algorithme a été validé par simulation et par expérimentation sur des produits commerciaux. La dernière partie de la thèse a consisté à développer de nouvelles applications pour l'algorithme. Directeur(s) de thèse : RENOVELL M. Co-directeur(s) de thèse : BERNARD S. Rapporteur(s) : HUERTAS J.L.;FOUILLAT P. Examinateur(s) : CAUVET P.;COMTE M.;AZAIS F.;DALLET D. Date de soutenance : 22/04/2008 Analogue Network of Converters" : A DFT Technique to Test a Complete Set of ADCs and DACs Embedded in a Complex SiP or SoC [texte imprimé] / Vincent KERZERHO, Auteur . - 2008. Langues : Français (fre) Tags : GENIE INFORMATIQUE, AUTOMATIQUE ET TRAITEMENT DU SIGNAL Index. décimale : THE Thèses de doctorat Résumé : Une nouvelle méthode de test pour des convertisseurs ADC (Analog to Digital Converter) et DAC (Digital to Analog Converters), embarqués dans un système complexe, a été développée. Cette méthode a été développée en prenant en compte les nouvelles contraintes affectant le test. Ces contraintes, dues aux tendances de design des systèmes, sont: un nombre réduit de points d'accès aux entrées / sorties des blocs analogiques du système et l'augmentation rapide du nombre et des performances des convertisseurs integrés. Pour la méthode, on propose de connecter les convertisseurs DAC et ADC dans le domaine analogique pour n'avoir besoin que d'instruments de test numériques pour générer et capturer des signaux de test. Un algorithme de traitement du signal a été développé pour discriminer les erreurs des DAC et ADC. Cet algorithme a été validé par simulation et par expérimentation sur des produits commerciaux. La dernière partie de la thèse a consisté à développer de nouvelles applications pour l'algorithme. Directeur(s) de thèse : RENOVELL M. Co-directeur(s) de thèse : BERNARD S. Rapporteur(s) : HUERTAS J.L.;FOUILLAT P. Examinateur(s) : CAUVET P.;COMTE M.;AZAIS F.;DALLET D. Date de soutenance : 22/04/2008

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
THE-08 / 13492	Papier	THESES	NON CLASSES		Disponible

Analyse et Amélioration de la Logique Double Rail pour la Conception de Circuits Sécurisés / A. RAZAFINDRAIBE

Public ISBD Titre : Analyse et Amélioration de la Logique Double Rail pour la Conception de Circuits Sécurisés Type de document : texte imprimé Auteurs : A. RAZAFINDRAIBE, Auteur Année de publication : 2006 Langues : Français (fre) Tags : CRYPTOGRAPHIE  CARTE A PUCE  SIDE CHANNEL ATTACKS  DPA  LOGIQUE DOUBLE RAIL  CIRCUIT ASYNCHRONE  BIBLIOTHEQUE CMOS SPECIFIQUE  GENIE INFORMATIQUE, AUTOMATIQUE ET TRAITEMENT DU SIGNAL Index. décimale : THE Thèses de doctorat Résumé : Dans le domaine de la conception de circuits sécurisés (cartes à puce) et plus particulièrement des circuits robustes aux attaques par canaux cachés, la logique double rail apparaît comme une alternative intéressante à la logique statique CMOS. En effet, le codage associé à ce style de logique offre la possibilité d'équilibrer la consommation rendant ainsi impossible les attaques différentielles en consommation (DPA). Partant de ce constat, dans cette thèse, nous nous sommes focalisés sur l'analyse des atouts et faiblesses de la logique double rail et surtout à son amélioration. Directeur(s) de thèse : ROBERT M. Co-directeur(s) de thèse : RENAUDIN M. Président du jury : CAMBON G. Rapporteur(s) : PIGUET C.;SICARD E. Examinateur(s) : MAURINE P.;RIGAUD J.B.;SONZOGNI J. Date de soutenance : 27/11/2006 Analyse et Amélioration de la Logique Double Rail pour la Conception de Circuits Sécurisés [texte imprimé] / A. RAZAFINDRAIBE, Auteur . - 2006. Langues : Français (fre) Tags : CRYPTOGRAPHIE  CARTE A PUCE  SIDE CHANNEL ATTACKS  DPA  LOGIQUE DOUBLE RAIL  CIRCUIT ASYNCHRONE  BIBLIOTHEQUE CMOS SPECIFIQUE  GENIE INFORMATIQUE, AUTOMATIQUE ET TRAITEMENT DU SIGNAL Index. décimale : THE Thèses de doctorat Résumé : Dans le domaine de la conception de circuits sécurisés (cartes à puce) et plus particulièrement des circuits robustes aux attaques par canaux cachés, la logique double rail apparaît comme une alternative intéressante à la logique statique CMOS. En effet, le codage associé à ce style de logique offre la possibilité d'équilibrer la consommation rendant ainsi impossible les attaques différentielles en consommation (DPA). Partant de ce constat, dans cette thèse, nous nous sommes focalisés sur l'analyse des atouts et faiblesses de la logique double rail et surtout à son amélioration. Directeur(s) de thèse : ROBERT M. Co-directeur(s) de thèse : RENAUDIN M. Président du jury : CAMBON G. Rapporteur(s) : PIGUET C.;SICARD E. Examinateur(s) : MAURINE P.;RIGAUD J.B.;SONZOGNI J. Date de soutenance : 27/11/2006

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
THE-06 / 13185	Non renseigné	THESES	NON CLASSES		Disponible

Analyse de Défaillances de Circuits VLSI par Microscopie Electronique à Balayage / BERGHER

Public ISBD Titre : Analyse de Défaillances de Circuits VLSI par Microscopie Electronique à Balayage Type de document : texte imprimé Auteurs : BERGHER, Auteur Langues : Français (fre) Tags : TEST  DIAGNOSTIC  MICROSCOPIE  V.L.S.I.  DEFAUT Index. décimale : THE Thèses de doctorat Note de contenu : LAMM 85044 Analyse de Défaillances de Circuits VLSI par Microscopie Electronique à Balayage [texte imprimé] / BERGHER, Auteur . - [s.d.]. Langues : Français (fre) Tags : TEST  DIAGNOSTIC  MICROSCOPIE  V.L.S.I.  DEFAUT Index. décimale : THE Thèses de doctorat Note de contenu : LAMM 85044

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
THE-85 / 2890	Non renseigné	THESES	NON CLASSES		Disponible

Analyse Déterministe et Compilateurs / GRIFFITHS

Public ISBD Titre : Analyse Déterministe et Compilateurs Type de document : texte imprimé Auteurs : GRIFFITHS, Auteur Langues : Français (fre) Index. décimale : THE Thèses de doctorat Note de contenu : CRIM IL030 Analyse Déterministe et Compilateurs [texte imprimé] / GRIFFITHS, Auteur . - [s.d.]. Langues : Français (fre) Index. décimale : THE Thèses de doctorat Note de contenu : CRIM IL030

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
THE-69 / 710	Non renseigné	THESES	NON CLASSES		Disponible

page /39