• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 384
  • 223
  • 80
  • 31
  • 17
  • 13
  • 10
  • 9
  • 8
  • 7
  • 4
  • 2
  • 2
  • 1
  • 1
  • Tagged with
  • 800
  • 199
  • 122
  • 90
  • 90
  • 89
  • 82
  • 79
  • 71
  • 68
  • 61
  • 57
  • 56
  • 55
  • 54
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
441

Encapsulation de dispositifs symbiotiques implantables : évaluation de la biocompatibilité et des performances / Encapsulation of implantable symbiotic devices : evaluation of biocompatibility and performances

Penven, Géraldine 11 July 2016 (has links)
Afin de répondre à une demande de soins et traitements toujours mieux adaptés et plus performants, des dispositifs médicaux implantables (DMI) ont vu le jour. Il s’agit actuellement de dispositifs isolés et autonomes à l’intérieur de l’organisme hôte, dont la fonction ne nécessite pas d’interaction avec celui-ci, ou uniquement dans un sens (par la libération de molécules par exemple). Une nouvelle génération de DMI dont le fonctionnement s’appuie sur des échanges continus avec l’organisme vivant est toutefois en cours de développement, et un des points clefs de leur élaboration est l’enrobage. En effet, l’interface entre le DMI et le corps joue un rôle primordial puisqu’elle doit assurer une symbiose parfaite entre ces derniers. Les mécanismes inflammatoires et immunitaires étant si complexes et puissants, il est nécessaire de protéger ces dispositifs tout en leur permettant de communiquer avec l’organisme hôte. En outre, cette barrière protège aussi le corps d’éventuels éléments agressifs libérés par l’implant. Ainsi, le travail de recherche décrit dans ce manuscrit concerne la fabrication et la caractérisation d’un matériau qui peut être utilisé pour enrober des dispositifs symbiotiques implantables.Dans ce contexte, les hydrogels d’alcool polyvinylique (Polyvinyl alcohol) : PVA) polymérisés physiquement par un procédé de congélation/décongélation se sont révélés particulièrement intéressants. En effet, leur structure semi-cristalline permet de modifier leur porosité et leurs propriétés mécaniques en faisant varier les paramètres de fabrication. Nous avons donc caractérisé physico-chimiquement les hydrogels de PVA (propriétés mécaniques, porosité, diffusivité), avant d’étudier leur biocompatibilité in vitro et in vivo. Pour finir, nous nous sommes concentrés sur un DMI particulier qu’est la biopile à glucose implantable, en analysant les performances du PVA en tant qu’enrobage d’électrodes.Ainsi, nous avons déterminé un procédé de fabrication permettant d’obtenir une membrane enrobante solide et facile à manipuler, poreuse afin de laisser diffuser le glucose et l’oxygène de manière optimale jusqu’à l’électrode, et protectrice vis-à-vis des protéines de l’organisme de plus grandes tailles. / The development of implantable medical devices (IMD) provides for more efficient treatment in specific healthcare applications. Such devices are isolated and autonomous within the host organism. Their function does not usually require any input from the host, with the main function of the IMD being typically to stimulate tissues (e.g. muscles, nerves) or to release molecules (e.g. osmotic pump). New generations of IMD that rely on the on continuous duplex interactions with the living organism are being developed. The key aspect of such IMD is the interface with the internal environment of the body. This interface plays a crucial role because it must ensure a perfect symbiosis between the IMD and the host. For example, the interface must both protect the IMD from the complex and powerful inflammatory and immune mechanisms in addition to providing an efficient communication pathway with the host organism. Furthermore, this interface also protects the body from the potentially aggressive elements that can be released by the IMD. The research described in this manuscript is focused to the manufacture and characterisation of a material that can be used to coat IMD so as to optimise both the biocompatibility and efficient functions of the IMD.In this context, the research described here has focused on hydrogels of polyvinyl alcohol (PVA) physically polymerized by a freeze/thaw method. Indeed, the semi-crystalline structure of PVA allows modification of the porosity and mechanical properties by varying the parameters of the production process. We therefore performed physico-chemical characterisations of PVA hydrogels (mechanical properties, porosity and diffusivity) before studying in vitro cytotoxicity and in vivo biocompatibility. We tuned the PVA membranes to a specific IMD that relied upon duplex communication for its function (i.e. the implantable glucose biofuel cell) and analyzed the performance of PVA to provide an optimised coating. The results report an optimised manufacturing process for PVA that provides for the IMD (i) a solid and easily handled membrane, (ii) a porous membrane optimised for the diffusion of glucose and oxygen to the IMD bioelectrodes, and (iii) a protective membrane against proteins of larger dimension.
442

Analyse des synchronisations dans un programme parallèle ordonnancé par vol de travail. Applications à la génération déterministe de nombres pseudo-aléatoires. / Analysis of Synchronizations In Greedy-Scheduled Executions - Application to Efficient Generation of Pseudorandom Numbers in Parallel

Mor, Stefano Drimon Kurz 26 October 2015 (has links)
Nous présentons deux contributions dans le domaine de la programmation parallèle.La première est théorique : nous introduisons l'analyse SIPS, une approche nouvelle pour dénombrer le nombre d'opérations de synchronisation durant l'exécution d'un algorithme parallèle ordonnancé par vol de travail.Basée sur le concept d'horloges logiques, elle nous permet,: d'une part de donner de nouvelles majorations de coût en moyenne; d'autre part de concevoir des programmes parallèles plus efficaces par adaptation dynamique de la granularité.La seconde contribution est pragmatique: nous présentons une parallélisation générique d'algorithmes pour la génération déterministe de nombres pseudo-aléatoires, indépendamment du nombre de processus concurrents lors de l'exécution.Alternative à l'utilisation d'un générateur pseudo-aléatoire séquentiel par processus, nous introduisons une API générique, appelée Par-R qui est conçue et analysée grâce à SIPS.Sa caractéristique principale est d'exploiter un générateur séquentiel qui peut "sauter" directement d'un nombre à un autre situé à une distance arbitraire dans la séquence pseudo-aléatoire.Grâce à l'analyse SIPS, nous montrons qu'en moyenne, lors d'une exécution par vol de travail d'un programme très parallèle (dont la profondeur ou chemin critique est très petite devant le travail ou nombre d'opérations), ces opérations de saut sont rares.Par-R est comparé au générateur pseudo-aléatoire DotMix, écrit pour Cilk Plus, une extension de C/C++ pour la programmation parallèle par vol de travail.Le surcout théorique de Par-R se compare favorablement au surcoput de DotMix, ce qui apparait aussi expériemntalement.De plus, étant générique, Par-R est indépendant du générateur séquentiel sous-jacent. / We present two contributions to the field of parallel programming.The first contribution is theoretical: we introduce SIPS analysis, a novel approach to estimate the number of synchronizations performed during the execution of a parallel algorithm.Based on the concept of logical clocks, it allows us: on one hand, to deliver new bounds for the number of synchronizations, in expectation; on the other hand, to design more efficient parallel programs by dynamic adaptation of the granularity.The second contribution is pragmatic: we present an efficient parallelization strategy for pseudorandom number generation, independent of the number of concurrent processes participating in a computation.As an alternative to the use of one sequential generator per process, we introduce a generic API called Par-R, which is designed and analyzed using SIPS.Its main characteristic is the use of a sequential generator that can perform a ``jump-ahead'' directly from one number to another on an arbitrary distance within the pseudorandom sequence.Thanks to SIPS, we show that, in expectation, within an execution scheduled by work stealing of a "very parallel" program (whose depth or critical path is subtle when compared to the work or number of operations), these operations are rare.Par-R is compared with the parallel pseudorandom number generator DotMix, written for the Cilk Plus dynamic multithreading platform.The theoretical overhead of Par-R compares favorably to DotMix's overhead, what is confirmed experimentally, while not requiring a fixed generator underneath.
443

Musical Theatre in Secondary Education: Teacher Preparation, Responsibilities, and Attitudes

January 2010 (has links)
abstract: Since the 1920's, the school musical has been an important event in American high schools and in the lives of students. This study begins with a condensed history of the American musical theatre, into focus on selected shows' value as potential high school repertoire. Review of literature included studies of high school musical theatre, production guides and related materials, and writings both against and in favor of musicals at the high school level. The school musical is usually undertaken as an extra-curricular activity led by performing arts faculty. This study focuses on the preparation, responsibilities, and attitudes of high school music educators toward musical theatre direction. Musical direction is defined as teaching the vocal music, and teaching and leading the instrumental music of the production where applicable. A researcher-designed survey was distributed to Arizona music educators in schools that included grade 12. The response rate was 71%. Questions included items designed to assess the pervasiveness of musical theatre productions, the roles and responsibilities of music educators, and their preparation for those roles. Additional Likert-type questions comprised an inventory measuring attitudes toward musical theatre productions. Results of the survey showed that musicals are produced in 80% of Arizona high schools, and music faculty are expected to lead at least the musical aspects of these productions. Although 62% report that they learned about teaching musical theatre on the job, and that they received no other preparation, 70% report a large amount of personal enjoyment and fulfillment from their work in musical theatre. The mean attitude score for positive feelings about work in musical theatre was found to be significantly higher for choral teachers than instrumental teachers. The primary implications of the study are the need for better preparation and in-service opportunities for music educators in musical theatre pedagogy. / Dissertation/Thesis / D.M.A. Music Education 2010
444

Définition de signaux et de techniques de traitement innovants pour les futurs systèmes GNSS / Analysis and improvement of GNSS navigation message demodulation performance in urban environments

Roudier, Marion 16 January 2015 (has links)
Les systèmes de navigation par satellites sont de plus en plus présents dans notre vie quotidienne. De nouveaux besoins émergent, majoritairement en environnement urbain. Dans ce type d'environnement très obstrué, le signal reçu par l'utilisateur a subit des atténuations ainsi que des réfractions/diffractions, ce qui rend difficile la démodulation des données et le calcul de position de l'utilisateur. Les signaux de navigation par satellites étant initialement conçus dans un contexte d'environnement dégagé, leurs performances de démodulation sont donc généralement étudiées dans le modèle de canal de propagation AWGN associé. Or aujourd'hui ils sont utilisés aussi en environnements dégradés. Il est donc indispensable de fournir et d'étudier leurs performances de démodulation dans des modèles de canal de propagation urbain. C'est dans ce contexte que s'inscrit cette thèse, le but final étant d'améliorer les performances de démodulation des signaux GNSS en milieux urbains, en proposant un nouveau signal. Afin de pouvoir fournir et analyser les performances de démodulation des signaux de navigation par satellite en milieux urbains, un outil de simulation a été développé dans le cadre de cette thèse : SiGMeP pour « Simulator for GNSS Message Performance ». Il permet de simuler la chaine entière d'émission/réception d'un signal de navigation par satellites et de calculer ses performances de démodulation en milieu urbain. Les performances de démodulation des signaux existants et modernisés ont donc été calculées avec SiGMeP en environnement urbain. Afin de représenter au mieux ces performances pour qu'elles soient le plus réalistes possibles, une nouvelle méthode adaptée au cas urbain est proposée dans ce manuscrit. Ensuite, pour améliorer ces performances de démodulation, l'axe de recherche s'est essentiellement porté sur le « codage canal ». Pour décoder l'information utile transmise, le récepteur calcule une fonction de détection à l'entrée du décodeur. Or la fonction de détection utilisée dans les récepteurs classiques correspond à un modèle de canal AWGN. Ce manuscrit propose donc une fonction de détection avancée, qui s'adapte au canal de propagation dans lequel l'utilisateur évolue, ce qui améliore considérablement les performances de démodulation, en ne modifiant que la partie récepteur du système. Enfin, dans le but de concevoir un nouveau signal avec de meilleures performances de démodulation en environnement urbain que celles des signaux existants ou futurs, un nouveau codage canal de type LDPC a été optimisé pour une modulation CSK. En effet, la modulation CSK est une modulation prometteuse dans le monde des signaux de type spectre étalé, qui permet de se débarrasser des limitations en termes de débit de données qu'impliquent les modulations actuelles des signaux de navigation par satellites. / Global Navigation Satellite Systems (GNSS) are increasingly present in our everyday life. Further operational needs are emerging, mainly in urban environments. In these obstructed environments, the signal emitted by the satellite is severely degraded due to the many obstacles. Consequently, the data demodulation and the user position calculation are difficult. GNSS signals being initially designed in an open environment context, their demodulation performance is thus generally studied in the associated AWGN propagation channel model. But nowadays, GNSS signals are also used in degraded environments. It is thus essential to provide and study their demodulation performance in urban propagation channel models. It is in this context that this PhD thesis is related, the final goal being to improve GNSS signals demodulation performance in urban areas, proposing a new signal. In order to be able to provide and study GNSS signals demodulation performance in urban environments, a simulation tool has been developed in this PhD thesis context: SiGMeP for ‘Simulator for GNSS Message Performance'. It allows simulating the entire emission/reception GNSS signal chain in urban environment. Existing and modernized signals demodulation performance has thus been computed with SiGMeP in urban environments. In order to represent this demodulation performance faithfully to reality, a new methodology adapted to urban channels is proposed in this dissertation. Then, to improve GNSS signals demodulation performance in urban environments, the research axis of this thesis has focused on the ‘Channel Coding' aspect. In order to decode the transmitted useful information, the receiver computes a detection function at the decoder input. But the detection function used in classic receivers corresponds to an AWGN propagation channel. This dissertation thus proposes an advanced detection function which is adapting to the propagation channel where the user is moving. This advanced detection function computation considerably improves demodulation performance, just in modifying the receiver part of the system. Finally, in order to design a new signal with better demodulation performance in urban environments than one of existing and future signals, a new LDPC channel code has been optimized for a CSK modulation. Indeed, the CSK modulation is a promising modulation in the spread spectrum signals world, which permits to free from limitation sin terms of data rate implied by current GNSS signals modulations.
445

Amélioration des délais de traversée pire cas des réseaux embarqués à l’aide du calcul réseau / Enhancement of worst case traversal time for embedded networks with network calculus

Mangoua sofack, William 30 June 2014 (has links)
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élai dans le cas de la politique à priorité statique non préemptive et de la politique DRR. Nous montrons aussi comment ces deux politiques peuvent être combinées dans une politique hiérarchique à deux niveaux. / The thesis addresses performance analysis of embedded real time network using network calculus. Network calculus is a theory based on min-plus algebra. We use network calculus to assess the quality of service of a residual flow in two context : aggregation with non-preemptive priority policy and DRR policy. The main contribution concerns the evaluation of residual service, given to each flow. We also present how to handle DRR and non-preemptive priority policy hierrachically.
446

Conception et validation d'AeroRing - un réseau de communication Ethernet en double anneau pour les systèmes avioniques de nouvelle génération / Specification and Analysis of AeroRing - A Full Duplex Ethernet Ring Network for New Generation Avionics Systems

Amari, Ahmed 21 September 2017 (has links)
La complexité et le besoin en bande passante des architectures de communication avioniquene cessent de croitre avec le nombre des calculateurs et l’expansion des données échangées. Latechnologie AFDX a été introduite pour offrir des communications haut débit (100Mbps) pourles avions de nouvelle génération. Cependant, ce réseau commuté est déployé de manièreentièrement redondante, ce qui conduit à des quantités importantes de câbles, augmentant lepoids et les coûts d’intégration. Pour faire face à ces problèmes, on propose dans cette thèsel’intégration d’un réseau Ethernet en anneau comme une solution principale pour diminuerle poids et la complexité liés au câblage. Dans ce contexte, notre objectif est de concevoir etvalider un nouveau réseau de communication avionique, AeroRing, basé sur de l’EthernetGigabit avec une topologie anneau. / The inherent complexity and bandwidth requirement of avionics communication architecturesare increasing due to the growing number of interconnected end-systems and theexpansion of exchanged data. The Avionics Full Duplex Switched Ethernet (AFDX) has beenintroduced to provide high-speed communication (100Mbps) for new generation aircraft.However, this switched network is deployed in a fully redundant way, which leads to significantquantities of wires, and thus increases weight and integration costs. To cope with thesearising issues, integrating ring-based Ethernet network in avionics context is proposed in thisthesis as a main solution to decrease the wiring-related weight and complexity. In this context,our main objective is to design and validate a new avionic communication network, calledAeroRing, based on a Gigabit Ethernet technology and supporting a Full Duplex ring topology.To achieve this aim, first, a benchmarking of the most relevant Real-Time Ethernet (RTE)solutions supporting ring topologies vs avionics requirements has been conducted, and weparticularly assess the main Performance Indicators (PIs), specified in IEC 61784-2. Thisbenchmarking reveals that each existing RTE solution satisfies some requirements better thanothers, but there is no best solution in terms of all the requirements.
447

Un dispositif d'évaluation assistée par ordinateur pour l'encadrement dans la fonction publique d'Etat : une approche dynamique pour le management des ressources humaines. / A computer-aided evaluation device for the public servants managers : a dynamic approach for the management of human resources

Weber, Gérard 14 April 2011 (has links)
La modernisation du service public nécessite un accompagnement en matière de GRH pour évaluer les compétences des personnels. Cette démarche passe par la nécessité de disposer d’un outil de gestion adapté, faisant appel aux NTIC, et permettant d’agréger des données qualitatives. Un moteur d’inférence interne a été créé, basé sur l’intelligence artificielle et utilisant la logique floue. Il apparait, à l’issue de la réalisation de l’outil d’Evaluation Assistée par Ordinateur, qu’il doit posséder des qualités particulières permettant de réaliser l’évaluation la plus objective et équitable possible. Sa mise en usage dans des conditions réelles indique que pour pouvoir faire l’objet d’une acceptation et d’une appropriation par les managers et les personnels évalués, il doit être crédible et efficace. Les tests réalisés nous permettent d’affirmer que la perception essentielle de son rôle, de son utilité, et de sa facilité d’utilisation est une nécessité qui est le corollaire de sa pérennité. / The modernization of the public sector requires an HRM accompaniment, for the evaluation competencies of the supervisory staff. This approach relies on the necessity of having an adapted management tool, requiring NICT, and allowing the aggregation of qualitative data. To achieve our objectives, we used an innovative, internal, interference engine based on artificial intelligence, namely the “fuzzy logic”. It would seem, at the conclusion of the realization of our Computer-Aided Evaluation tool, that it must possess particular qualities allowing it to carry out the most objective and fairest evaluation as possible. Its use in real conditions indicates that it must, to be accepted and an appropriation, at once by the managers and the estimated staffs, be credible and effective. The realized tests allow us to assert that the essential perception of its role, its utility, and its facility of use, are a necessity which will be the corollary of ensuring its continual existence.
448

Educação matemática encena / Mathematics Education Stages

Lacerda, Hannah Dora de Garcia e [UNESP] 11 December 2015 (has links)
Submitted by Hannah Dora Garcia Lacerda (hannahdoralacerda@gmail.com) on 2015-12-23T12:13:51Z No. of bitstreams: 1 Lacerda (2015).pdf: 3269057 bytes, checksum: 66e39503c0f13abb58538329bd7d3466 (MD5) / Approved for entry into archive by Juliano Benedito Ferreira (julianoferreira@reitoria.unesp.br) on 2015-12-23T16:25:36Z (GMT) No. of bitstreams: 1 Lacerda (2015).pdf: 3269057 bytes, checksum: 66e39503c0f13abb58538329bd7d3466 (MD5) / Made available in DSpace on 2015-12-23T16:25:36Z (GMT). No. of bitstreams: 1 Lacerda (2015).pdf: 3269057 bytes, checksum: 66e39503c0f13abb58538329bd7d3466 (MD5) Previous issue date: 2015-12-11 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Esta pesquisa articula Teatro e Educação Matemática a partir do diálogo com a noção de Performances Matemáticas Digitais (PMDs), tendo como pergunta norteadora: quais as imagens sobre a Matemática e sobre equações estudantes expressam quando desenvolvem performances matemáticas teatrais? As atividades foram realizadas com alunos de oitavo e nono anos em uma escola pública de Santa Gertrudes, SP, e consistem em introdução à linguagem teatral, elaboração e escrita de uma peça teatral sobre o conteúdo matemático equações e encenação e filmagem da mesma, com o objetivo de produzir PMDs teatrais e publicá-las na internet. Tal trabalho foi fundamentado na perspectiva da Metodologia de Pesquisa Qualitativa, e os procedimentos consistiram em caderno de campo, grupo focal, entrevistas semiestruturadas, observação participante e filmagem dos encontros. A imagem que os estudantes expressam da Matemática estão associadas aos temas: disciplina escolar; transformação da imagem negativa; cotidiano; recompensa; símbolos matemáticos. Os temas referentes à imagem dos alunos sobre equação foram: letras, números e operações; balança/igualdade; incógnita; as regras. Como considerações finais são destacadas as potencialidades do Teatro na transformação da imagem da Matemática e aproximações com as PMDs, além das limitações encontradas durante o percurso e perspectivas de desdobramento dos questionamentos aqui propostos. / This research links drama and mathematics education, through a dialogue with the notion of Digital Mathematical Performances (DMPs), to answer the question: What images of mathematics and equations do students express when they develop mathematical theatrical performances? The activities were carried out with eighth and ninth grade students from a public school in Santa Gertrudes, SP. The activities consisted of introducing students to theatrical language, preparation and writing of a play about the mathematical content equations, as well as acting and filming them, with the goal of producing theatrical DMPs and posting them on the Internet. The work was based on the perspective of qualitative research methodology, and the procedures consisted of having a field notepad, focus groups, semi-structured interviews, participant observation and filming of gatherings. The mathematics images that students express are associated with the themes: school subject; changing the negative image of mathematics; daily life; reward; mathematical symbols. The issues related to students' images of equation were: letters, numbers and operations; balance/equality; the unknown; the rules. As final considerations, the potential of drama to change the image of mathematics and approaches to the DMPs, as well as the limitations encountered, and possibilities for future research are pointed out.
449

Jews against Wagner : the 1929 Krolloper production of Wagner's Der fliegende Holländer

Siddiqui, Tashmeen Monique January 2010 (has links)
No description available.
450

Une méthodologie de conception de modèles analytiques de surface et de puissance de réseaux sur puce hautement paramétriques basée sur une méthode d’apprentissage automatique / A machine-learning based methodology to design analytical area and power models of highly parametric networks-on-chip

Dubois, Florentine 04 July 2013 (has links)
Les réseaux sur puces (SoCs - Networks-on-chip) sont apparus durant la dernière décennie en tant que solution flexible et efficace pour interconnecter le nombre toujours croissant d'éléments inclus dans les systèmes sur puces (SoCs - Systems-on-chip). Les réseaux sur puces sont en mesure de répondre aux besoins grandissants en bande-passante et en scalabilité tout en respectant des contraintes fortes de performances. Cependant, ils sont habituellement caractérisés par un grand nombre de paramètres architecturaux et d'implémentation qui forment un vaste espace de conception. Dans ces conditions, trouver une architecture de NoC adaptée aux besoins d'une plateforme précise est un problème difficile. De plus, la plupart des grands choix architecturaux (topologie, routage, qualité de service) sont généralement faits au niveau architectural durant les premières étapes du flot de conception, mais mesurer les effets de ces décisions majeures sur les performances finales du système est complexe à un tel niveau d'abstraction. Les analyses statiques (méthodes non basées sur des simulations) sont apparues pour répondre à ce besoin en méthodes d'estimations des performances des SoCs fiables et disponibles rapidement dans le flot de conception. Au vu du haut niveau d'abstraction utilisé, il est irréaliste de s'attendre à une estimation précise des performances et coûts de la puce finale. L'objectif principal est alors la fidélité (caractérisation des grandes tendances d'une métrique permettant une comparaison équitable des alternatives) plutôt que la précision. Cette thèse propose une méthodologie de modélisation pour concevoir des analyses statiques des coûts des composants des NoCs. La méthode proposée est principalement orientée vers la généralité. En particulier, aucune hypothèse n'est faite ni sur le nombre de paramètres des composants ni sur la nature des dépendances de la métrique considérée sur ces mêmes paramètres. Nous sommes alors en mesure de modéliser des composants proposant des millions de possibilités de configurations (ordre de 1e+30 possibilités de configurations) et d'estimer le coût de réseaux sur puce composés d'un grand nombre de ces composants au niveau architectural. Il est complexe de modéliser ce type de composants avec des modèles analytiques expérimentaux à cause du trop grand nombre de possibilités de configurations. Nous proposons donc un flot entièrement automatisé qui peut être appliqué tel quel à n'importe quelles architectures et technologies. Le flot produit des prédicteurs de coûts des composants des réseaux sur puce capables d'estimer les différentes métriques pour n'importe quelles configurations de l'espace de conception en quelques secondes. Le flot conçoit des modèles analytiques à grains fins sur la base de résultats obtenus au niveau porte et d'une méthode d'apprentissage automatique. Il est alors capable de concevoir des modèles présentant une meilleure fidélité que les méthodes basées uniquement sur des théories mathématiques tout en conservant leurs qualités principales (basse complexité, disponibilité précoce). Nous proposons d'utiliser une méthode d'interpolation basée sur la théorie de Kriging. La théorie de Kriging permet de minimiser le nombre d'exécutions du flot d'implémentation nécessaires à la modélisation tout en caractérisant le comportement des métriques à la fois localement et globalement dans l'espace. La méthode est appliquée pour modéliser la surface logique des composants clés des réseaux sur puces. L'inclusion du trafic dans la méthode est ensuite traitée et un modèle de puissance statique et dynamique moyenne des routeurs est conçu sur cette base. / In the last decade, Networks-on-chip (NoCs) have emerged as an efficient and flexible interconnect solution to handle the increasing number of processing elements included in Systems-on-chip (SoCs). NoCs are able to handle high-bandwidth and scalability needs under tight performance constraints. However, they are usually characterized by a large number of architectural and implementation parameters, resulting in a vast design space. In these conditions, finding a suitable NoC architecture for specific platform needs is a challenging issue. Moreover, most of main design decisions (e.g. topology, routing scheme, quality of service) are usually made at architectural-level during the first steps of the design flow, but measuring the effects of these decisions on the final implementation at such high level of abstraction is complex. Static analysis (i.e. non-simulation-based methods) has emerged to fulfill this need of reliable performance and cost estimation methods available early in the design flow. As the level of abstraction of static analysis is high, it is unrealistic to expect an accurate estimation of the performance or cost of the chip. Fidelity (i.e. characterization of the main tendencies of a metric) is thus the main objective rather than accuracy. This thesis proposes a modeling methodology to design static cost analysis of NoC components. The proposed method is mainly oriented towards generality. In particular, no assumption is made neither on the number of parameters of the components nor on the dependences of the modeled metric on these parameters. We are then able to address components with millions of configurations possibilities (order of 1e+30 configuration possibilities) and to estimate cost of complex NoCs composed of a large number of these components at architectural-level. It is difficult to model that kind of components with experimental analytical models due to the huge number of configuration possibilities. We thus propose a fully-automated modeling flow which can be applied directly to any architecture and technology. The output of the flow is a NoC component cost predictor able to estimate a metric of interest for any configuration of the design space in few seconds. The flow builds fine-grained analytical models on the basis of gate-level results and a machine-learning method. It is then able to design models with a better fidelity than purely-mathematical methods while preserving their main qualities (i.e. low complexity, early availability). Moreover, it is also able to take into account the effects of the technology on the performance. We propose to use an interpolation method based on Kriging theory. By using Kriging methodology, the number of implementation flow runs required in the modeling process is minimized and the main characteristics of the metrics in space are modeled both globally and locally. The method is applied to model logic area of key NoC components. The inclusion of traffic is then addressed and a NoC router leakage and average dynamic power model is designed on this basis.

Page generated in 0.2855 seconds