Relevant bibliographies by topics / Analyse de pire cas / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Analyse de pire cas.

Dissertations / Theses on the topic 'Analyse de pire cas'

Author: Grafiati
Published: 25 May 2024
Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Analyse de pire cas.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Adnan, Muhammad. "Analyse pire cas exact du réseau AFDX." Thesis, Toulouse, INPT, 2013. http://www.theses.fr/2013INPT0146/document.

Full text
Abstract:
L'objectif principal de cette thèse est de proposer les méthodes permettant d'obtenir le délai de transmission de bout en bout pire cas exact d'un réseau AFDX. Actuellement, seules des bornes supérieures pessimistes peuvent être calculées en utilisant les approches de type Calcul Réseau ou par Trajectoires. Pour cet objectif, différentes approches et outils existent et ont été analysées dans le contexte de cette thèse. Cette analyse a mis en évidence le besoin de nouvelles approches. Dans un premier temps, la vérification de modèle a été explorée. Les automates temporisés et les outils de veri
APA, Harvard, Vancouver, ISO, and other styles
2

Hardy, Damien. "Analyse pire cas pour processeur multi-cœurs disposant de caches partagés." Phd thesis, Université Rennes 1, 2010. http://tel.archives-ouvertes.fr/tel-00557058.

Full text
Abstract:
Les systèmes temps-réel strict sont soumis à des contraintes temporelles dont le non respect peut entraîner des conséquences économiques, écologiques, humaines catastrophiques. Le processus de validation, garantissant la sûreté de ces logiciels en assurant le respect de ces contraintes dans toutes les situations possibles y compris le pire cas, se base sur la connaissance à priori du pire temps d'exécution de chacune des tâches du logiciel. Cependant, l'obtention de ce pire temps d'exécution est un problème difficile pour les architectures actuelles, en raison des mécanismes matériels complexe
APA, Harvard, Vancouver, ISO, and other styles
3

Hardy, Damien. "Analyse pire cas pour processeur multi-coeurs disposant de caches partagés." Rennes 1, 2010. http://www.theses.fr/2010REN1S143.

Full text
Abstract:
Les systèmes temps-réel strict sont soumis à des contraintes temporelles dont le non respect peut entraîner des conséquences économiques, écologiques, humaines catastrophiques. Le processus de validation, garantissant la sûreté de ces logiciels en assurant le respect de ces contraintes dans toutes les situations possibles y compris le pire cas, se base sur la connaissance à priori du pire temps d’exécution de chacune des tâches du logiciel. Cependant, l’obtention de ce pire temps d’exécution est un problème difficile pour les architectures actuelles, en raison des mécanismes matériels complexe
APA, Harvard, Vancouver, ISO, and other styles
4

Bauer, Henri. "Analyse pire cas de flux hétérogènes dans un réseau embarqué avion." Thesis, Toulouse, INPT, 2011. http://www.theses.fr/2011INPT0008/document.

Full text
Abstract:
La certification des réseaux avioniques requiert une maîtrise des délais de transmission des données. Cepednant, le multiplexage et le partage des ressource de communications dans des réseaux tels que l'AFDX (Avionics Full Duplex Switched Ethernet) rendent difficile le calcul d'un délai de bout en bout pire cas pour chaque flux. Des outils comme le calcul réseau fournissent une borne supérieure (pessimiste) de ce délai pire cas. Les besoins de communication des avions civils modernes ne cessent d'augmenter et un nombre croissant de flux aux contraintes et aux caractéristiques différentes doive
APA, Harvard, Vancouver, ISO, and other styles
5

Lesage, Benjamin. "Architecture multi-coeurs et temps d'exécution au pire cas." Phd thesis, Université Rennes 1, 2013. http://tel.archives-ouvertes.fr/tel-00870971.

Full text
Abstract:
Les tâches critiques en systèmes temps-réel sont soumises à des contraintes temporelles et de correction. La validation d'un tel système repose sur l'estimation du comportement temporel au pire cas de ses tâches. Le partage de ressources, inhérent aux architectures multi-cœurs, entrave le calcul de ces estimations. Le comportement temporel d'une tâche dépend de ses rivales du fait de l'arbitrage de l'accès aux ressources ou de modifications concurrentes de leur état. Cette étude vise à l'estimation de la contribution temporelle de la hiérarchie mémoire au pire temps d'exécution
APA, Harvard, Vancouver, ISO, and other styles
6

Temmerman, Michel. "Analyse et synthèse du tolérancement "au pire des cas" et statistique dans l'environnement CFAO." Châtenay-Malabry, Ecole centrale de Paris, 2001. http://www.theses.fr/2001ECAP0719.

Full text
Abstract:
Les outils et méthodes introduits dans cette thèse sont bases sur l'utilisation du concept de surfaces associées technologiquement et topologiquement (satt). Apres un état de l'art du tolérancement, le nouveau concept de pseudo-satt est présente. Il permet de construire une structure satt généralisée avec boucles de contacts en relation avec la déclaration du spécificateur. Des lois de comportement géométrique et fonctionnel sont alors générées en utilisant les paramètres de petits déplacements associes au concept de satt. Une première simulation au pire des cas est proposée en appliquant les
APA, Harvard, Vancouver, ISO, and other styles
7

Colin, Antoine. "Estimation de temps d'éxécution au pire cas par analyse statique et application aux systèmes d'exploitation temps réel." Rennes 1, 2001. http://www.theses.fr/2001REN10118.

Full text
Abstract:
Soit X une variété algébrique réelle affine compacte non singulière. Une variété algébrique réelle affine X' est obtenue par modification de X si elle peut être construite à partir de X par une suite d'éclatements et de contractions le long de centres non singuliers. Dans la première partie, nous montrons qu'une variété X' ainsi construite a sa cohomologie entièrement algébrique si la variété X et tous les centres de la modification ont aussi leur cohomologie entièrement algébrique. Dans la deuxième et la troisième partie, nous définissons et développons la notion de (co)homologie équivariante
APA, Harvard, Vancouver, ISO, and other styles
8

Bourgade, Roman. "Analyse du temps d'exécution pire-cas de tâches temps-réel exécutées sur une architecture multi-cœurs." Phd thesis, Université Paul Sabatier - Toulouse III, 2012. http://tel.archives-ouvertes.fr/tel-00746073.

Full text
Abstract:
Les défaillances des applications embarquées dans les systèmes temps-réel strict peuvent avoir des conséquences graves (catastrophes industrielles, mise en danger de vies humaines). La vérification des contraintes temporelles d'un système temps-réel strict dépend de la connaissance du temps d'exécution pire-cas des tâches constituant l'application embarquée. L'utilisation de processeurs multi-cœurs est l'un des moyens actuellement mis en œuvre afin d'améliorer le niveau de performances des systèmes embarqués. Cependant, la détermination du temps d'exécution pire-cas d'une tâche sur ce type d'a
APA, Harvard, Vancouver, ISO, and other styles
9

Bourgade, Roman. "Analyse du temps d'exécution pire-cas de tâches temps-réel exécutées sur une architecture multi-coeurs." Toulouse 3, 2012. http://thesesups.ups-tlse.fr/1740/.

Full text
Abstract:
Les défaillances des applications embarquées dans les systèmes temps-réel strict peuvent avoir des conséquences graves (catastrophes industrielles, mise en danger de vies humaines). La vérification des contraintes temporelles d'un système temps-réel strict dépend de la connaissance du temps d'exécution pire-cas des tâches constituant l'application embarquée. L'utilisation de processeurs multi-cœurs est l'un des moyens actuellement mis en œuvre afin d'améliorer le niveau de performances des systèmes embarqués. Cependant, la détermination du temps d'exécution pire-cas d'une tâche sur ce type d'a
APA, Harvard, Vancouver, ISO, and other styles
10

Mangoua, sofack William. "Amélioration des délais de traversée pire cas des réseaux embarqués à l’aide du calcul réseau." Thesis, Toulouse, ISAE, 2014. http://www.theses.fr/2014ESAE0024/document.

Full text
Abstract:
Le calcul réseau (network calculus) est une théorie basée sur l’algèbre min-plus. Il offre un cadre formel de modélisation des réseaux de communication. Il a été utilisé pour certifier le réseau AFDX embarqué dans l’A380 de Airbus. Seulement, les bornes sur le délai annoncés par ces travaux de certification souffrent d’une sur-approximation dans le cas précis de l’agrégation dans un contexte de priorité statique non préemptive.L’objectif de nos travaux est de réduire cette sur-approximation. Dans cette thèse, nous proposons un service résiduel permettant d’obtenir de meilleurs bornes sur le dé
APA, Harvard, Vancouver, ISO, and other styles
11

Touzeau, Valentin. "Analyse statique de caches LRU : complexité, analyse optimale, et applications au calcul de pire temps d'exécution et à la sécurité." Thesis, Université Grenoble Alpes (ComUE), 2019. http://www.theses.fr/2019GREAM041.

Full text
Abstract:
Dans le cadre des systèmes critiques, la certification de programmes temps-réel nécessite de borner leur temps d'exécution.Les mémoires caches impactant fortement la latence des accès mémoires, les outils de calcul de pire temps d'exécution incluent des analyses de cache.Ces analyses visent à prédire statiquement si ces accès aboutissent à des cache-hits ou des cache-miss.Ce problème étant indécidable en général, les analyses de caches emploient des abstractions pouvant mener à des pertes de précision.Une hypothèse habituelle pour rendre le problème décidable consiste à supposer que toutes les
APA, Harvard, Vancouver, ISO, and other styles
12

Ruiz, Jordy. "Détermination de propriétés de flot de données pour améliorer les estimations de temps d'exécution pire-cas." Thesis, Toulouse 3, 2017. http://www.theses.fr/2017TOU30285/document.

Full text
Abstract:
La recherche d'une borne supérieure au temps d'exécution d'un programme est une partie essentielle du processus de vérification de systèmes temps-réel critiques. Les programmes de tels systèmes ont généralement des temps d'exécution variables et il est difficile, voire impossible, de prédire l'ensemble de ces temps possibles. Au lieu de cela, il est préférable de rechercher une approximation du temps d'exécution pire-cas ou Worst-Case Execution Time (WCET). Une propriété cruciale de cette approximation est qu'elle doit être sûre, c'est-à-dire qu'elle doit être garantie de majorer le WCET. Parc
APA, Harvard, Vancouver, ISO, and other styles
13

Li, Hanbing. "Extraction and traceability of annotations for WCET estimation." Thesis, Rennes 1, 2015. http://www.theses.fr/2015REN1S040/document.

Full text
Abstract:
Les systèmes temps-réel devenaient omniprésents, et jouent un rôle important dans notre vie quotidienne. Pour les systèmes temps-réel dur, calculer des résultats corrects n’est pas la seule exigence, il doivent de surcroît être produits dans un intervalle de temps borné. Connaître le pire cas de temps d’exécution (WCET - Worst Case Execution Time) est nécessaire, et garantit que le système répond à ses contraintes de temps. Pour obtenir des estimations de WCET précises, des annotations sont nécessaires. Ces annotations sont généralement ajoutées au niveau du code source, tandis que l’analyse d
APA, Harvard, Vancouver, ISO, and other styles
14

Hermant, Jean-François. "Quelques problèmes et solutions en ordonnancement temps réel pour systèmes répartis." Paris 6, 1999. http://www.theses.fr/1999PA066665.

Full text
APA, Harvard, Vancouver, ISO, and other styles
15

Simard, Catherine. "Analyse d'algorithmes de type Nesterov et leurs applications à l'imagerie numérique." Mémoire, Université de Sherbrooke, 2015. http://hdl.handle.net/11143/7714.

Full text
Abstract:
Ce mémoire se veut d'abord un recueil des principales variantes de l'algorithme optimal en pire cas pour la résolution de problèmes convexes et fortement convexes sans contraintes présenté par Yurii Nesterov en 1983 et en 2004. Ces variantes seront présentées dans un cadre unifié et analysées de manière théorique et empirique. On y retrouve une analyse des rôles des différents paramètres composant l'algorithme de base ainsi que de l'influence des constantes L et mu, respectivement la constante de Lipschitz du gradient et la constante de forte convexité de la fonction objectif, sur le comportem
APA, Harvard, Vancouver, ISO, and other styles
16

Maroneze, André Oliveira. "Certified Compilation and Worst-Case Execution Time Estimation." Thesis, Rennes 1, 2014. http://www.theses.fr/2014REN1S030/document.

Full text
Abstract:
Les systèmes informatiques critiques - tels que les commandes de vol électroniques et le contrôle des centrales nucléaires - doivent répondre à des exigences strictes en termes de sûreté de fonctionnement. Nous nous intéressons ici à l'application de méthodes formelles - ancrées sur de solides bases mathématiques - pour la vérification du comportement des logiciels critiques. Plus particulièrement, nous spécifions formellement nos algorithmes et nous les prouvons corrects, à l'aide de l'assistant à la preuve Coq - un logiciel qui vérifie mécaniquement la correction des preuves effectuées et qu
APA, Harvard, Vancouver, ISO, and other styles
17

Ballabriga, Clément. "Vérification de contraintes temporelles strictes sur des programmes par composition d'analyses partielles." Toulouse 3, 2010. http://thesesups.ups-tlse.fr/1001/.

Full text
Abstract:
Les systèmes temps-réel critiques doivent impérativement obéir à des contraintes temporelles strictes. Le respect de ces contraintes doit donc être prouvé, et le calcul de pire temps d'exécution (WCET ou Worst Case Execution Time) joue un rôle important dans cette preuve. Le calcul de WCET par analyse statique est généralement réalisé sur un programme entier. Ceci présente deux inconvénients : la plupart de ces méthodes de calcul voient leur temps d'exécution augmenter de manière non linéaire par rapport à la taille de la tâche à analyser, et un problème se pose lorsque cette tâche est constit
APA, Harvard, Vancouver, ISO, and other styles
18

Baga, Yohan. "Analyse de Flux de Trames AFDX en Réception et Méthode d’Optimisation Mémoire." Thesis, Cergy-Pontoise, 2018. http://www.theses.fr/2018CERG0957/document.

Full text
Abstract:
L’essor des réseaux AFDX comme infrastructure de communication entre les équipements de bord des aéronefs civils motive de nombreux travaux de recherche pour réduire les délais de communication tout en garantissant un haut niveau de déterminisme et de qualité de service. Cette thèse traite de l’effet des accolements de trames sur l’End System de réception, notamment sur le buffer interne afin de garantir une non perte de trames et un dimensionnement mémoire optimal. Une modélisation pire cas du flux de trames est réalisée selon une première méthode pessimiste, basée sur un flux de trames pério
APA, Harvard, Vancouver, ISO, and other styles
19

Rihani, Hamza. "Analyse temporelle des systèmes temps-réels sur architectures pluri-coeurs." Thesis, Université Grenoble Alpes (ComUE), 2017. http://www.theses.fr/2017GREAM074/document.

Full text
Abstract:
La prédictibilité est un aspect important des systèmes temps-réel critiques. Garantir la fonctionnalité de ces systèmespasse par la prise en compte des contraintes temporelles. Les architectures mono-cœurs traditionnelles ne sont plussuffisantes pour répondre aux besoins croissants en performance de ces systèmes. De nouvelles architectures multi-cœurssont conçues pour offrir plus de performance mais introduisent d'autres défis. Dans cette thèse, nous nous intéressonsau problème d’accès aux ressources partagées dans un environnement multi-cœur.La première partie de ce travail propose une approc
APA, Harvard, Vancouver, ISO, and other styles
20

Silantiev, Alexey. "Groupes quantiques associés aux courbes rationnelles et elliptiques et leurs applications." Angers, 2008. http://www.theses.fr/2008ANGE0061.

Full text
Abstract:
Le contexte général dans lequel s'inscrivent les travaux développés dans ce mémoire est le contrôle des processus industriels complexes. Ces travaux proposent des nouvelles techniques d'amélioration du contrôle statistique des processus non gaussiens : la carte de contrôle avec des paramètres variables et la carte de contrôle théorique pour la loi de distribution de Rayleigh. Un modèle d'intégration des outils des domaines de l'APC (Automatic Process Control) et de la MSP est proposée et ensuite analysé par le biais des deux modèles de processus réel<br>The general context of the work develope
APA, Harvard, Vancouver, ISO, and other styles
21

Henry, Julien. "Static analysis of program by Abstract Interpretation and Decision Procedures." Thesis, Grenoble, 2014. http://www.theses.fr/2014GRENM037/document.

Full text
Abstract:
L'analyse statique de programme a pour but de prouver automatiquement qu'un programme vérifie certaines propriétés. L'interprétation abstraite est un cadre théorique permettant de calculer des invariants de programme. Ces invariants sont des propriétés sur les variables du programme vraies pour toute exécution. La précision des invariants calculés dépend de nombreux paramètres, en particulier du domaine abstrait et de l'ordre d'itération utilisés pendant le calcul d'invariants. Dans cette thèse, nous proposons plusieurs extensions de cette méthode qui améliorent la précision de l'analyse.Habit
APA, Harvard, Vancouver, ISO, and other styles
22

Naji, Amine. "Timing analysis for time-predictable architectures." Electronic Thesis or Diss., Sorbonne université, 2019. http://www.theses.fr/2019SORUS282.

Full text
Abstract:
En raison de la complexité croissante des architectures matérielles, l'analyse temporelle du logiciel temps-réel devient de plus en plus complexe et imprécise. Les architectures prédictibles des ordinateurs ont donc été proposées afin d'assurer un support matériel dédié à analyse temporelle. The but est de fournir des estimations plus précises de pire-temps d'exécution de programmes (WCET), tout en gardant le coût et la compexité de l'analyse minimal. Ces estimations proviennent typiquement d'outils dédiés à l'analyse WCET. L'émergence de ces architectures spécialisées est, toutefois, assez ré
APA, Harvard, Vancouver, ISO, and other styles
23

Khelassi, Mohamed Amine. "Using statistical methods to model and estimate the time variability of programs executed on multicore architectures." Electronic Thesis or Diss., Université Gustave Eiffel, 2024. http://www.theses.fr/2024UEFL2072.

Full text
Abstract:
Les systèmes temps réel sont des systèmes qui doivent fonctionner avec des contraintes de temps strictes, autrement dit, le temps de réponse des fonctionnalités (tâches temps réel) qui composent un système temps réel doit être bornées. Ces systèmes sont essentiels dans les applications critiques telles que les systèmes automobile, les appareils médicaux et les applications spatiales qui doivent respecter des contraintes de temps strictes, communément appelées "échéances" (deadlines). Dans les systèmes temps réel, la détermination du pire temps d'exécution des programmes (WCET) permet de prouve
APA, Harvard, Vancouver, ISO, and other styles
24

Delbot, François. "Au delà de l'évaluation en pire cas : comparaison et évaluation en moyenne de processus d'optimisation pour le problème du vertex cover et des arbres de connexion de groupes dynamiques." Phd thesis, Université d'Evry-Val d'Essonne, 2009. http://tel.archives-ouvertes.fr/tel-00927315.

Full text
Abstract:
La théorie de la complexité distingue les problèmes que l'on sait résoudre en un temps polynomial en la taille des données (que l'on peut qualifier de raisonnable), des problèmes NP-complets, qui nécessitent (en l'état actuel des connaissances) un temps de résolution exponentiel en la taille des données (que l'on peut qualifier de déraisonnable). C'est pour cette raison que la communauté scientifique s'est tournée vers les algorithmes (polynomiaux) d'approximation dont la mesure de qualité se fait le plus souvent grâce au rapport d'approximation en pire cas (pour un problème de minimisation de
APA, Harvard, Vancouver, ISO, and other styles
25

Barré, Mathieu. "Worst-case analysis of efficient first-order methods." Electronic Thesis or Diss., Université Paris sciences et lettres, 2021. http://www.theses.fr/2021UPSLE064.

Full text
Abstract:
De nombreuses applications modernes reposent sur la résolution de problèmes d’optimisations (par exemple, en biologie numérique, en mécanique, en finance), faisant des méthodes d’optimisation des outils essentiels dans de nombreux domaines scientifiques. Apporter des garanties sur le comportement de ces méthodes constitue donc un axe de recherche important. Une façon classique d’analyser un algorithme d’optimisation consiste à étudier son comportement dans le pire cas. C'est-à-dire, donner des garanties sur son comportement (par exemple sa vitesse de convergence) qui soient indépendantes de la
APA, Harvard, Vancouver, ISO, and other styles
26

Louise, Stéphane. "Calcul de majorants sûrs de temps d'exécution au pire pour des tâches d'applications temps-réels critiques, pour des systèmes disposants de caches mémoire." Phd thesis, Université Paris Sud - Paris XI, 2002. http://tel.archives-ouvertes.fr/tel-00695930.

Full text
Abstract:
Ce mémoire présente une nouvelle approche pour le calcul de temps d'exécution au pire (WCET) de tâche temps-réel critique, en particulier en ce qui concerne les aléas dus aux caches mémoire. Le point général est fait sur la problématique et l'état de l'art en la matière, mais l'accent est mis sur la théorie elle-même et son formalisme, d'abord dans le cadre monotâche puis dans le cadre multitâche. La méthode utilisée repose sur une technique d'interprétation abstraite, comme la plupart des autres méthodes de calcul de WCET, mais le formalisme est dans une approche probabiliste (bien que déterm
APA, Harvard, Vancouver, ISO, and other styles
27

Senoussaoui, Ikram. "Co-ordonnancement processeur et mémoire des applications temps-réel sur les plateformes multicœurs." Electronic Thesis or Diss., Université de Lille (2022-....), 2023. http://www.theses.fr/2023ULILB051.

Full text
Abstract:
La demande en puissance de calcul dans les systèmes embarqués temps-réel a considérablement augmenté ces dernières années. Les plateformes multicœurs qui sont généralement équipés d'un sous-système de mémoire partagé par tous les cœurs ont répondu dans une certaine mesure à ce besoin croissant en capacité de calcul. Cependant, dans les systèmes temps-réel, l'utilisation simultanée du sous-système de mémoire peut induire à des interférences mémoire significatives.Ces dernières peuvent rendre les pires temps d'exécution des tâches (WCET) très pessimistes et conduire à une sous-utilisation du sys
APA, Harvard, Vancouver, ISO, and other styles
28

Varoumas, Steven. "Modèles de programmation de haut niveau pour microcontrôleurs à faibles ressources." Electronic Thesis or Diss., Sorbonne université, 2019. http://www.theses.fr/2019SORUS394.

Full text
Abstract:
Les microcontrôleurs sont des circuits imprimés programmables nichés dans de nombreux objets de notre quotidien. En raison de leurs ressources limitées, ils sont souvent programmés dans des langages de bas niveau comme le C, ou en langage assembleur. Ces derniers n'offrent pas les mêmes abstractions et les mêmes garanties que des langages de haut niveau, comme OCaml. Cette thèse propose alors un ensemble de solutions destinées à enrichir la programmation de microcontrôleurs avec des paradigmes de programmation de plus haut niveau. Ces solutions apportent une montée en abstraction progressive,
APA, Harvard, Vancouver, ISO, and other styles
29

Babus, Florina. "Contrôle de processus industriels complexes et instables par le biais des techniques statistiques et automatiques." Phd thesis, Université d'Angers, 2008. http://tel.archives-ouvertes.fr/tel-00535668.

Full text
Abstract:
Le contexte général dans lequel s'inscrivent les travaux développés dans ce mémoire est le contrôle des processus industriels complexes. Ces travaux proposent des nouvelles techniques d'amélioration du contrôle statistique des processus non gaussiens : la carte de contrôle avec des paramètres variables et la carte de contrôle théorique pour la loi de distribution de Rayleigh. Un modèle d'intégration des outils des domaines de l'APC ( Automatic Process Control ) et de la MSP est proposée et ensuite analysée par le biais des deux modèles de processus réel.
APA, Harvard, Vancouver, ISO, and other styles
30

Giroudot, Frédéric. "NoC-based Architectures for Real-Time Applications : Performance Analysis and Design Space Exploration." Thesis, Toulouse, INPT, 2019. https://oatao.univ-toulouse.fr/25921/1/Giroudot_Frederic.pdf.

Full text
Abstract:
Les architectures mono-processeur montrent leurs limites en termes de puissance de calcul face aux besoins des systèmes actuels. Bien que les architectures multi-cœurs résolvent partiellement ce problème, elles utilisent en général des bus pour interconnecter les cœurs, et cette solution ne passe pas à l'échelle. Les architectures dites pluri-cœurs ont été proposées pour palier les limitations des processeurs multi-cœurs. Elles peuvent réunir jusqu'à des centaines de cœurs sur une seule puce, organisés en dalles contenant une ou plusieurs entités de calcul. La communication entre les cœurs se
APA, Harvard, Vancouver, ISO, and other styles
31

Mussot, Vincent. "Automates d'annotation de flot pour l'expression et l'intégration de propriétés dans l'analyse de WCET." Thesis, Toulouse 3, 2016. http://www.theses.fr/2016TOU30247/document.

Full text
Abstract:
Dans le domaine des systèmes critiques, l'analyse des temps d'exécution des programmes est nécessaire pour planifier et ordonnancer au mieux différentes tâches et par extension pour dimensionner les systèmes. La durée d'exécution d'un programme dépend de divers facteurs comme ses entrées ou le matériel utilisé. Or cette variation temporelle pose problème dans les systèmes temps-réel dans lesquels il est nécessaire de dimensionner précisément les temps processeur alloués à chaque tâche, et pour cela, connaître leur temps d'exécution au pire cas. Au sein de l'équipe TRACES à l'IRIT, nous chercho
APA, Harvard, Vancouver, ISO, and other styles
32

Bettonte, Gabriella. "Quantum approaches for Worst-Case Execution-Times analysis of programs." Electronic Thesis or Diss., université Paris-Saclay, 2023. http://www.theses.fr/2023UPASG026.

Full text
Abstract:
L'informatique quantique gagne en popularité dans la communauté informatique. La prise de conscience du potentiel de l'informatique quantique a commencée en 1981, lorsque Richard Feynman a imaginé la construction d'un ordinateur quantique. Cependant, le domaine a connu beaucoup de scepticisme quant à ses capacités pratiques à long terme pour résoudre les problèmes. En particulier, les chercheurs tente de relever le défi de construire des ordinateurs quantiques scalables et fiables. Dernièrement, de nombreuses entreprises ont obtenu des résultats encourageants et ont construit des machines quan
APA, Harvard, Vancouver, ISO, and other styles
33

Stehlé, Damien. "Algorithmique de la réduction de réseaux et application à la recherche de pires cas pour l'arrondi defonctions mathématiques." Phd thesis, Université Henri Poincaré - Nancy I, 2005. http://tel.archives-ouvertes.fr/tel-00011150.

Full text
Abstract:
Les réseaux euclidiens sont un outil particulièrement puissant dans<br />plusieurs domaines de l'algorithmique, en cryptographie et en théorie<br />algorithmique des nombres par exemple. L'objet du présent mémoire est dual : nous améliorons les algorithmes de réduction des réseaux,<br />et nous développons une nouvelle application dans le domaine<br />de l'arithmétique des ordinateurs. En ce qui concerne l'aspect algorithmique, nous nous intéressons aux cas des petites dimensions (en dimension un, où il s'agit du calcul de pgcd, et aussi en dimensions 2 à 4), ainsi qu'à la description d'une no
APA, Harvard, Vancouver, ISO, and other styles
34

Preda, Valentin. "Robust microvibration control and worst-case analysis for high pointing stability space missions." Thesis, Bordeaux, 2017. http://www.theses.fr/2017BORD0785/document.

Full text
Abstract:
Le contexte général des travaux de recherche de cette thèse concerne les problématiques liées à l’optimisation glob-ale liée à la conception des futurs satellites d’observation terrestre et de missions scientifiques, nécessitantune très haute stabilité en pointage (capacité du satellite à garder son point de visée). Plus particulièrement,les travaux concernent le contrôle actif des modes micro-vibratoires.Dans une mission satellitaire d’observation terrestre, la qualité des images dépend bien évidemmentdes instruments de mesure optique (diamètre du miroir, aberrations optiques et qualité du po
APA, Harvard, Vancouver, ISO, and other styles
35

Burguière, Claire. "Modéliser la prédiction de branchement pour le calcul de temps d'exécution pire-cas." Toulouse 3, 2008. http://thesesups.ups-tlse.fr/383/.

Full text
Abstract:
De nos jours, les pipelines haute-performance sont de plus en plus utilisés dans les systèmes temps-réel et il devient de plus en plus difficile de garantir que les programmes respecteront leurs échéances. Certains éléments de l'architecture des processeurs récents ont des comportements dynamiques difficiles à modéliser pour le calcul de temps d'exécution pire-cas (WCET) par méthode statique. Dans ce rapport nous étudions l'impact de la prédiction de branchement dynamique sur le temps d'exécution pire-cas. Cet impact dépend de la valeur de la prédiction (correcte ou mauvaise). Deux approches p
APA, Harvard, Vancouver, ISO, and other styles
36

Mouafo, Tchinda Yves. "Robustesse des applications temps-réel multicoeurs : techniques de construction d'un ordonnacement équitable tolérant aux pannes matérielles." Thesis, Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique, 2017. http://www.theses.fr/2017ESMA0015/document.

Full text
Abstract:
Cette thèse propose des techniques de construction d'une séquence d'ordonnancement valide par un algorithme équitable pour des systèmes temps-réel multicoeurs subissant des pannes processeurs permanentes. Selon la nature des tâches les concepteurs peuvent allouer ou pas du temps supplémentaire pour récupérer l'exécution perdue. Dans un premier temps, nous traitons le cas de la défaillance d'un seul coeur. Nous montrons alors que s'il n'y a pas d'allocation de temps supplémentaire, prévoir un coeur de plus que le minimum nécessaire permet de construire une séquence valide : c'est la Technique d
APA, Harvard, Vancouver, ISO, and other styles
37

Soni, Aakash. "Real-time performance analysis of a QoS based industrial embedded network." Thesis, Toulouse, INPT, 2020. http://www.theses.fr/2020INPT0047.

Full text
Abstract:
L'AFDX est utilisé comme un réseau fédérateur pour la transmission des flux avioniques critiques. Ce réseau est certifié grâce à l'analyse pire-cas utilisant l'approche Network Calculus (NC). Le pessimisme introduit par NC conduit souvent à un réseau surdimensionné et éventuellement sous-utilisé. Les avionneurs envisagent d'augmenter l'utilisation des ressources du réseau AFDX en ajoutant du trafic supplémentaire provenant d'autres fonctions critiques et non critiques. Le partage du réseau AFDX avec des flux de criticité mixtes nécessite l'utilisation d'un mécanisme de qualité de service (QoS)
APA, Harvard, Vancouver, ISO, and other styles
38

Emery, Laetitia. "Approches archéométriques des productions faïencières françaises au XVIIIe siècle : le cas de la manufacture Babut à Bergerac (env. 1740 - 1789)." Phd thesis, Université Michel de Montaigne - Bordeaux III, 2012. http://tel.archives-ouvertes.fr/tel-00751413.

Full text
Abstract:
La faïence est une céramique caractérisée par son revêtement vitreux blanc opaque, grâce à l'adjonction d'oxyde d'étain ; sur ce fond on peut apposer les décors polychromes. Résultant d'une technologie abbaside (VIIIe siècle), elle connait son apogée en France au XVIIIe siècle. Les précédentes études menées sur la faïence moderne ont mis en évidence la nécessité de procéder à une approche pluridisciplinaire pour appréhender ce matériau complexe, ses techniques de fabrication, et cerner les enjeux de sa production. Ce travail de recherche s'inscrit dans la continuité pour s'élargir aux producti
APA, Harvard, Vancouver, ISO, and other styles
39

Ait, Bensaid Samira. "Formal Semantics of Hardware Compilation Framework." Electronic Thesis or Diss., université Paris-Saclay, 2023. http://www.theses.fr/2023UPASG085.

Full text
Abstract:
Les analyses statiques de pire temps d’exécution sont utilisées pour garantir les délais requis pour les systèmes critiques. Afin d’estimer des bornes précises sur ces temps d’exécution, ces analyses temporelles nécessitent des considérations sur la (micro)- architecture. Habituellement, ces modèles de micro-architecture sont construits à la main à partir des manuels des processeurs. Cependant, les initiatives du matériel libre et les langages de description de matériel de haut niveau (HCLs), permettent de réaborder la problématique de la génération automatique de ces modèles de micro-architec
APA, Harvard, Vancouver, ISO, and other styles
40

Bechtel, Andrew Joseph. "External strengthening of reinforced concrete pier caps." Diss., Georgia Institute of Technology, 2011. http://hdl.handle.net/1853/42809.

Full text
Abstract:
The shear capacity of reinforced concrete pier caps in existing bridge support systems can be a factor which limits the capacity of an existing bridge. In their usual configuration, pier caps behave as deep beams and have the ability to carry load through tied arch action after the formation of diagonal cracks. Externally bonded fiber reinforced polymer (FRP) reinforcement has been shown to increase the shear capacity of reinforced concrete members which carry load through beam action. However, there is an insufficient amount of research to make it a viable strengthening system for beams whic
APA, Harvard, Vancouver, ISO, and other styles
41

Bel, Hadj Aissa Nadia. "Maîtrise du temps d'exécution de logiciels déployés dans des dispositifs personnels de confiance." Thesis, Lille 1, 2008. http://www.theses.fr/2008LIL10133/document.

Full text
Abstract:
La prolifération de petits équipements ouverts tels que les dispositifs personnels de confiance a favorisé l'essor des environnements d'exécution dynamiquement adaptables. Ainsi, de nouveaux logiciels peuvent être déployés à la volée après que les équipements soient délivrés à leurs porteurs. Par nos travaux, nous aspirons à garantir que chaque nouveau logiciel, dont le déploiement aboutit, est en mesure de délivrer les réponses aux requêtes qui lui sont adressées dans un délai maximal préalablement établi. Les garanties apportées sont cruciales tant en terme de sûreté de fonctionnement que de
APA, Harvard, Vancouver, ISO, and other styles
42

SOPHIYAIR, ELEONORE. "Diabete et grossesse : analyse retrospective de 57 cas." Montpellier 1, 1989. http://www.theses.fr/1989MON11299.

Full text
APA, Harvard, Vancouver, ISO, and other styles
43

FABRIZI, CARLO. "Analisi computazionale dell’aeroacustica di un pneumatico in rotolamento." Doctoral thesis, Università degli Studi di Roma "Tor Vergata", 2010. http://hdl.handle.net/2108/1369.

Full text
Abstract:
Il traffico stradale è una delle maggiori fonti di inquinamento acustico della società moderna. Conseguentemente, lo sviluppo dei nuovi veicoli è soggetta a direttive sempre più stringenti in termini di emissione rumorosa. Le maggiori sorgenti di rumore dei comuni veicoli stradali sono il rumore del motore, quello della trasmissione, il rumore aerodinamico e quello dell’interazione pneumatico-strada. Quest’ultimo diventa dominante tra i 50 e 100 km/h, velocità tipiche dei tratti urbani ed extra-urbani. Il rumore derivante dall’interazione pneumatico-strada è la combinazione di vibrazioni strut
APA, Harvard, Vancouver, ISO, and other styles
44

Sirigu, Marco. "Synthétisation d'un calculateur de délai et de puissance : application à la technologie MOS complémentaire." Paris 11, 1985. http://www.theses.fr/1985PA112062.

Full text
Abstract:
Cette thèse présente la mise au point d'un calculateur de délai (retard à la propagation) et de puissance consommée, qui donne la possibilité de faire intervenir les effets des paramètres du procédé associés à une technologie fixée. Les techniques employées permettent de mettre en évidence les principaux paramètres de la technologie utilisée, ou bien de les déterminer (dans le cas d'un changement de technologie). En conclusion, on souligne la faisabilité de ce calculateur et on en donne des utilisations mises en place, ou pouvant l’être, par exemple : le calcul des délais de macromodèles.
APA, Harvard, Vancouver, ISO, and other styles
45

Okiye, Waais Idriss. "Analyse multidimensionnelle de la pauvreté : le cas de Djibouti." Thesis, Bourgogne Franche-Comté, 2017. http://www.theses.fr/2017UBFCB001/document.

Full text
Abstract:
L'objet de cette thèse est de proposer et de développer les différentes mesures multidimensionnelles de la pauvreté. La multidimensionnalité de la pauvreté fait aujourd'hui consensus. Scientifiques, décideurs politiques et professionnels du développement s'accordent pour dire que la seule dimension monétaire (le manque de revenu) ne suffit pas à représenter la pauvreté. En se basant sur les travaux de Sen (Prix Nobel d'Economie) en particulier sur l'approche des capacités, nous proposons quatre mesures différentes de la pauvreté. La première est une mesure monétaire basée sur l'approche utilit
APA, Harvard, Vancouver, ISO, and other styles
46

Bouallegue, Olfa. "Analyse économique des révolutions : Cas de la révolution Tunisienne." Thesis, Montpellier, 2017. http://www.theses.fr/2017MONTD020/document.

Full text
Abstract:
En 2011, des mouvements sociaux et révolutionnaires d’une ampleur rare ont agité certains pays du nord de l’Afrique. Cela correspond à ce qu’on a appelé le printemps arabe.Le premier de ces pays touchés par ces mouvements est la Tunisie. Cette thèse porte sur la révolution tunisienne. Elle propose une analyse théorique et empirique de cette révolution.D’un point de vue théorique, ce travail se situe dans le cadre de l’analyse économique. Nous nous situons donc dans le prolongement de la littérature économique qui, à partir des années 1970, s’est intéressée aux mouvements sociaux et plus précis
APA, Harvard, Vancouver, ISO, and other styles
47

Chenguiti, Khalid. "Analyse en composantes principales fonctionnelle cas des prises alimentaires." Mémoire, Université de Sherbrooke, 2006. http://savoirs.usherbrooke.ca/handle/11143/4722.

Full text
Abstract:
Les méthodes d'analyse statistique des données fonctionnelles sont une extension des méthodes de l'analyse statistique des données à des données qui se présentent sous forme de courbes. L'analyse en composantes principales fonctionnelle"ACPF" est une méthode d'analyse statistique qui permet de résumer l'information contenue dans un ensemble de données fonctionnelles, permettant de produire des fonctions dites composantes principales de dimension minimale qui reproduisent un maximum d'information sur les données étudiées. L'application de l'ACPF à des données de prises alimentaires porcines per
APA, Harvard, Vancouver, ISO, and other styles
48

Méhel, Éric. "Kératotomie radiaire : analyse vidéokératoscopique : à propos de 80 cas." Nantes, 1994. http://www.theses.fr/1994NANT252M.

Full text
APA, Harvard, Vancouver, ISO, and other styles
49

Ochs, Patrick. "L'investissement immatériel et la commercialisation : analyse du cas français." Paris 2, 1995. http://www.theses.fr/1995PA020005.

Full text
Abstract:
L'investissement immateriel progresse, en france, de 1973 a 1993 de maniere plus rapide que l'investissement materiel. Cette evolution conjugue a la fois investissement immateriel et depenses immaterielle actuellement l'absence d'indicateu rs d'evaluation financiere pertinents de l'investissement immateriel a caractere commercial ne permet pas aux entreprise s de mesurer les enjeux que representent ces engagements intangibles a court, moyen et long terme. Il s'agit tout d'abord de definir l'investissement immateriel dans le processus de commercialisation de l'entreprise compte tenu des interre
APA, Harvard, Vancouver, ISO, and other styles
50

Hancard, Olivier. "Le défi technologique : analyse théorique et étude de cas." Paris 1, 1997. http://www.theses.fr/1997PA010045.

Full text
Abstract:
Le progrès technologique est ses corollaires, le progrès technique et le progrès scientifique, forment une trilogie analytique qui recouvre des enjeux économiques empiriques doubles d'un défi théorique et conceptuel. Après avoir développé une lecture critique du débat théorique "traditionnel", nous le projetons dans l'univers conceptuel néo-darwiniste. La démarche, sans être infructueuse, rencontre ses propres limites. Nous nous tournons alors vers une "macroéconomie de la production de connaissances". Nous définissons l'efficience macroéconomique de cette "production cognitive" (production d'
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Analyse de pire cas' for other source types:
Journal articles Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography