464 résultats : Informatique

Mon panier0

Recherche en cours

Par thème = Informatique

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

464 résultats

page 10 sur 47

résultats 91 à 100

Accès libre

STAR : dépôt national des thèses électroniques françaises

Conception et réalisation d’un écosystème basé sur des propriétés formelles d’isolation mémoire pour l’Internet des objets

Auteur : Yaker Mahieddine

Année : 2019

Directeur(s) : Grimaud Gilles, Cartigny Julien

Conception et réalisation d’un écosystème basé sur des propriétés formelles d’isolation mémoire pour l’Internet des objets

Ajouter à mon panier

Accéder au document

Accès libre

STAR : dépôt national des thèses électroniques françaises

Conception, implémentation et preuve d'un service de transfert de flôt d'exécution au sein d'un noyau de système d'exploitation

Auteur : Vanhems Florian

Année : 2023

Directeur(s) : Grimaud Gilles

Conception, implémentation et preuve d'un service de transfert de flôt d'exécution au sein d'un noyau de système d'exploitation

Ajouter à mon panier

Accéder au document

Accès libre

STAR : dépôt national des thèses électroniques françaises

Construction d'individualité par un mécanisme de sélection d'action basé sur les motivations

Auteur : Dujardin Tony

Année : 2010

Directeur(s) : Routier Jean-Christophe, Mathieu Philippe

Construction d'individualité par un mécanisme de sélection d'action basé sur les motivations

Ajouter à mon panier

Accéder au document

???web.label.results.rights.auth_not_ok???

Accès libre

STAR : dépôt national des thèses électroniques françaises

Constructive methods for estimation and control of nonlinear dynamical systems with applications to HCI modeling

Auteur : Khalin Anatolii

Année : 2022

Directeur(s) : Ushirobira Rosane, Efimov Denis

Constructive methods for estimation and control of nonlinear dynamical systems with applications to HCI modeling

Ajouter à mon panier

Accéder au document

Accès libre

STAR : dépôt national des thèses électroniques françaises

Contribution à l'algorithmique et à la programmation efficace des nouvelles architectures parallèles comportant des accélérateurs de calcul dans le domaine de la neutronique et de la radioprotection

Auteur : Dubois Jérôme

Année : 2011

Directeur(s) : Petiton Serge, Calvin Christophe

Contribution à l'algorithmique et à la programmation efficace des nouvelles architectures parallèles comportant des accélérateurs de calcul dans le domaine de la neutronique et de la radioprotection

Ajouter à mon panier

Accéder au document

464 résultats : Informatique

Conception et réalisation d’un écosystème basé sur des propriétés formelles d’isolation mémoire pour l’Internet des objets

Conception et réalisation d'un estimateur de dimension fractale par utilisation de techniques floues

Conception, implémentation et preuve d'un service de transfert de flôt d'exécution au sein d'un noyau de système d'exploitation

Construction d'individualité par un mécanisme de sélection d'action basé sur les motivations

Constructive methods for estimation and control of nonlinear dynamical systems with applications to HCI modeling

Contribution à l'algorithmique et à la programmation efficace des nouvelles architectures parallèles comportant des accélérateurs de calcul dans le domaine de la neutronique et de la radioprotection

Contribution à l'ananlyse de la complexité de problèmes de résolution de contraintes

Contribution à l'étude de faisabilité d'un système à opérateurs numériques : application à la simulation hybride et au traitement parallèle

Contribution à l'étude des architectures d'ordinateurs parallèles : structures de la machine N-ARCH et émulation sur un réseau de Transputers

Contribution a l'étude des fonctions de commutation partielle