Results 1 - 10 of 34,410

une

by Arnaud Costinot, Gaël Riboulet, Thierry Roncalli, Groupe De Recherche Opérationnelle, Crédit Lyonnais
"... testing et théorie des valeurs extrêmes: ..."
Abstract - Add to MetaCart
testing et théorie des valeurs extrêmes:

Par

by Namrata Singh Tomer , 2012
"... Evaluation et amélioration du comportement a ̀ long terme d’élastomères pour une application isolateur électrique ..."
Abstract - Add to MetaCart
Evaluation et amélioration du comportement a ̀ long terme d’élastomères pour une application isolateur électrique

Analyse De Programmes Malveillants Par Abstraction De Comportements

by Philippe Beaucamps , 2011
"... ..."
Abstract - Add to MetaCart
Abstract not found

Stochastic Volatility

by Eric Ghysels, Andrew Harvey, Eric Renault , 1995
"... ..."
Abstract - Cited by 349 (16 self) - Add to MetaCart
Abstract not found

Spécification et Vérification par Interprétation Abstraite d’Aspects pour la Distribution

by Pierre-loïc Garoche, Marc Pantel, Xavier Thirioux
"... Nous présentons une méthode pour spécifier et vérifier des programmes en séparant les préoccupations. En particulier, nous décrivons la spécification puis la vérification par interprétation abstraite de programmes distribués. Un programme est composé de deux parties, une partie concurrente et une pa ..."
Abstract - Add to MetaCart
cadre permet de vérifier des propriétés de sûreté sur des programmes distribués spécifiés dans une approche par aspects. Ces travaux sont les prémisses d’une approche formelle et générique de l’analyse d’autres aspects par interprétation abstraite, en combinant des sémantiques de natures différentes. 1

UNE CONTRIBUTION À L’APPRENTISSAGE PAR

by Docteur De, Sylvain Gelly, M. Jacques, Blanc-talon Dga Examinateur, M. Olivier, Bousquet Google Examinateur, M. Nicolas, Bredeche Université, Paris-sud Co-directeur, M. Rémi
"... presentée en vue de l’obtention du grade de ..."
Abstract - Add to MetaCart
presentée en vue de l’obtention du grade de

par

by Cyril Mongenoty, Hal Id Dumas, École Supérieure, Des Géomètres, Et Topographes, Spécialité Géomètre Et Topographe, Cyril Mongenoty, M Anthony, Guérout Maître , 2014
"... La connaissance du foncier au sein d’une grande ville ..."
Abstract - Add to MetaCart
La connaissance du foncier au sein d’une grande ville

Une Analyse De Globalisation De Programmes Fonctionnels Basée Sur Une Sémantique Naturelle

by Valérie Gouranton
"... Introduction Nous d'ecrivons d'abord la motivation g'en'erale de ce travail puis nous pr'esentons la d'emarche suivie dans le corps de l'article. 1.1 Motivation Les travaux sur l'analyse statique de programmes ont 'et'e nombreuses durant ces derni` ..."
Abstract - Add to MetaCart
chemin [3, 2, 15] et de globalisation [8, 14, 16]. La correction et la pr'ecision des analyses ont 'et'e beaucoup 'etudi'ees et plusieurs techniques ont 'et'e r'ecemment propos'ees pour am'eliorer l'efficacit'e des analyseurs [11, 13]. En d

Vues abstraites d'exécutions Prolog avec Opium

by Apport De Recherche, Mireille Ducassé Irisa/insa, Mireille Ducassé Irisa/insa, Thème Génie Logiciel, Projet Lande
"... Views of Prolog Executions in Opium Mireille Ducasse, IRISA/INSA N 3531 Octobre 1998 TH EME 2 Abstract Views of Prolog Executions in Opium Mireille Ducass#, IRISA#INSA Th#me 2 # G#nie logiciel et calcul symbolique Projet LANDE Rapport de recherche n#3531 # Octobre 1998 # 23 pages Abstract ..."
Abstract - Add to MetaCart
Views of Prolog Executions in Opium Mireille Ducasse, IRISA/INSA N 3531 Octobre 1998 TH EME 2 Abstract Views of Prolog Executions in Opium Mireille Ducass#, IRISA#INSA Th#me 2 # G#nie logiciel et calcul symbolique Projet LANDE Rapport de recherche n#3531 # Octobre 1998 # 23 pages

Interpretation abstraite en logique . . .

by David Pichardie
"... ..."
Abstract - Add to MetaCart
Abstract not found
Results 1 - 10 of 34,410