Mise à l’essai

Mise à l’essai  Mise à l’essai du STRATEGY EDITOR Pour illustrer l’utilisation de l’éditeur de stratégies d’observation, nous allons reprendre les résultats issus de l’expérimentation réalisée à l’aide de l’environnement Hop3X [Lekira, 2010]. Rappelons que cette expérimentation a porté sur...

Modèle d’Ewens

Modèle d’Ewens Algorithme de tri optimal pour la mesure mrec Pour motiver le choix de ces distributions, nous allons nous intéresser à un algorithme de tri qui s’adapte au nombre de records. Pour rappel, si une séquence X a rec(X)...

Méthodologie d’analyse d’embarquabilité

Méthodologie d’analyse d’embarquabilité Modélisation du problème Dans le cadre de cette thèse, nous avons choisi de nous focaliser sur des architectures hétérogènes. Ainsi, celles-ci présentent des capacités de calcul beaucoup plus intéressantes dans un contexte de systèmes embarqués mais elles...

MÉTHODES DE SEGMENTATION

MÉTHODES DE SEGMENTATION Le fait que le thaï soit une langue sans séparateur implique deux niveaux de segmentation : segmentation en mots et segmentation en phrases. 4.1 Segmentation en mots En général, l’objectif de la segmentation en mots est de...

Mémoires externes

Mémoires externes Modèle EM-BSP Les ordinateurs modernes comportent typiquement plusieurs niveaux de mémoire tels que la mémoire principale (appelé couramment mémoire vive ou RAM), les caches (ou tampons) systèmes du processeur et des périphériques ainsi que la mémoire externe sous...

MÉTAHEURISTIQUES D’OPTIMISATION

MÉTAHEURISTIQUES D’OPTIMISATION Métaheuristiques pour l’optimisation mono-objectif difficile Problème d’optimisation Un problème d’optimisation au sens général est défini par un ensemble de variables, une fonction objectif f et un ensemble de contraintes d’égalité (ou d’inégalité) que les variables doivent satisfaire. L’ensemble...

Optimisation de chemins de données arithmétique

Optimisation de chemins de données arithmétique Définition du problème Optimisation arithmétique dans le flot de conception VLSI La Figure 4.1 présente le flot de conception VLSI. A partir d’une description haut niveau (i.e. description algorithmique), la phase de synthèse sert...

Les algorithmes top-k dans un contexte de recherche approximative par arrêt prématuré

Les algorithmes top-k dans un contexte de recherche approximative par arrêt prématuré Recherche approximative par arrêt prématuré : motivation Comme nous l’avons indiqué dans le chapitre 1, plusieurs techniques sont proposées pour une recherche top-k approximative. Nous nous intéressons ici...

Les algorithmes séquentiels

Les algorithmes séquentiels  Logique du premier ordre Bien que nous aurions pu l’éviter, dans un soucis de cohérence de notation et de simplification de la présentation, notre formalisation de la logique du premier ordre ne sera pas classique 1 ....

Cours d’algorithmique définition des fonctions et procédures

Cours d’algorithmique Définition des fonctions et procédures Les procédures et fonctions peuvent nécessiter éventuellement un ou plusieurs paramètres d’entrée ou de sortie. Un paramètre d’entrée est la référence à une variable manipulée par la procédure ou la fonction. Un paramètre...