Communication

Exploiter le modèle des polytopes pour estimer la taille mémoire d'une application DSP

Nadjiba Sahraoui

Yvon Savaria

Aboulhamid El Mustapha

Guy Bois

Membre a labase

Nadjiba Sahraoui

Résumé de la communication

La problématique de l'estimation de la taille mémoire d'un système intégré a été très peu exploré par les travaux de recherche. Pourtant, l'espace mémoire est un critère important à considérer dans les systèmes dédiés, puisqu'il contribue significativement à l'espace total du chip, qui lui-même détermine directement le coût du système. À notre avis, le nombre restreint de méthodes de résolution de ce problème revient sans doute au fait que la taille mémoire est un concept qui ne peut être représenté explicitement, contrairement aux fonctions de coût comme le temps d'exécution qui lui, a une forme assez simple et directe. L'approche que nous proposons permet d'estimer la taille minimale requise pour des programmes induisant des calculs sur des tableaux multidimensionnels tels que l'on retrouve dans les applications du domaine du traitement du signal. En se basant sur une formalisation de l'analyse de variable en vie, notre approche transforme l'estimation de la taille mémoire en un problème mathématique pouvant être résolu par la méthode de dénombrement de l'intersection de mapping de polytopes paramétrés. Notre algorithme donne une estimation exacte de la taille mémoire sans utiliser le déroulage de boucle.

Contexte

Section :

Génie électrique et génie informatique

Domaine de la communication :

Génie électrique et génie informatique

Hôte : Université de Montréal

Découvrez d'autres communications scientifiques

Dans le même domaine
Du même congressiste

Thème du communication :

Génie électrique et génie informatique

Modélisation du champ électrique autour des isolateurs recouverts de glace en utilisant la méthode …

Christophe Volat

Interface Humain-Machine de détection visuelle de la posture de la main dans une application d'anal…

Fabienne Lathuiliere

Méthode de conception de matériel par raffinements successifs

Karim Khordoc

Voir tous les contenus de ce communication

Autres communications du même congressiste :

Domaine de la communication :

Génie électrique et génie informatique

Étude de l’implantation d’un serveur d’objets dans une base de données orienté-objet

Nadjiba Sahraoui

Une approche de compilation pour des architectures à logique reconfigurable

Nadjiba Sahraoui

Une approche de compilation pour des architectures à logique reconfigurable

Nadjiba Sahraoui