Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
11
PAR INTERPRÉTATION ABSTRAITE Static analysis via abstract interpretation of multithreaded programs President
, 2009
"... Le but de cette thèse est de présenter une analyse statique générique pour des programmes multitâche écrits en Java. Les programmes multitâche exécutent plusieurs tâches en parallèle. Ces tâches communiquent implicitement par le biais de la mémoire partagée et elles se synchonisent sur des moniteurs ..."
Abstract
- Add to MetaCart
Le but de cette thèse est de présenter une analyse statique générique pour des programmes multitâche écrits en Java. Les programmes multitâche exécutent plusieurs tâches en parallèle. Ces tâches communiquent implicitement par le biais de la mémoire partagée et elles se synchonisent sur des
POUR L'OBTENTION DU GRADE DE DOCTEUR ÈS SCIENCES PAR
"... 2010 to my wife, Joyce, and my family...- Résumé- ..."
Stability of the vortex defect in Landau- de Gennes theory of nematic liquid crystals
"... Received *****; accepted after revision +++++ Presented by £££££ We analyze the radially symmetric solution corresponding to the vortex defect (the so called melting hedgehog) in Landau- de Gennes theory for nematic liquid crystals. We prove existence, uniqueness and stability results of the melting ..."
Abstract
- Add to MetaCart
of the melting hedgehog. To cite this article: A. Name1, A. Name2, C. R. Acad. Sci. Paris, Ser. I 340 (2005).
TRANSITION VITREUSE ET TRANSITION DE BLOCAGE: LES SOLIDES DÉSORDONNÉS ENTRE CHAMP MOYEN ET DIMENSION FINIE.
, 2011
"... Cette thèse est consacrée à l’étude de la transition liquide/solide amorphe. Cette transition se retrouve dans des systèmes thermiques (par exemple dans les verres moléculaires) ou athermiques (avec entre autres les milieux granulaires), à l’équilibre thermodynamique ou hors équilibre. Nous montrons ..."
Abstract
- Add to MetaCart
Cette thèse est consacrée à l’étude de la transition liquide/solide amorphe. Cette transition se retrouve dans des systèmes thermiques (par exemple dans les verres moléculaires) ou athermiques (avec entre autres les milieux granulaires), à l’équilibre thermodynamique ou hors équilibre. Nous
TRANSITION VITREUSE ET TRANSITION DE BLOCAGE:
, 2011
"... HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte p ..."
Abstract
- Add to MetaCart
pluridisciplinaire HAL, est destinée au dépôt et a ̀ la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
3
"... Anne SABOURIN Mélanges bayésiens de modèles d'extrêmes multivariés, Application à la prédétermination régionale des crues avec données incomplètes. Sous la direction de: ..."
Abstract
- Add to MetaCart
Anne SABOURIN Mélanges bayésiens de modèles d'extrêmes multivariés, Application à la prédétermination régionale des crues avec données incomplètes. Sous la direction de:
Proposition de stage de
"... L’équipe-projet Sardes développe une approche de la construction de systèmes logiciels dynamiquement configurables (notamment systèmes d’exploitation et systèmes distribués) qui combine programmation par composants et programmation réflexive. L’équipe a en particulier développe ́ le modèle ..."
Abstract
- Add to MetaCart
L’équipe-projet Sardes développe une approche de la construction de systèmes logiciels dynamiquement configurables (notamment systèmes d’exploitation et systèmes distribués) qui combine programmation par composants et programmation réflexive. L’équipe a en particulier développe ́ le
Die Deutsche Bibliothek- Cataloging in Publication Data
, 1996
"... @ Printed on acid-free paper which falls within the guidelines of the ANSI ..."
Abstract
- Add to MetaCart
@ Printed on acid-free paper which falls within the guidelines of the ANSI
Results 1 - 10
of
11
