Cette thèse propose un nouveau paradigme de représentation d’applications pour les machines virtuelles, capable d’abstraire l’architecture des systèmes informatiques. Les machines virtuelles actuelles reposent sur un modèle unique de représentation d’application qui abstrait les instructions des machines et sur un modèle d’exécution qui traduit le fonctionnement de ces instructions vers les machines cibles. S’ils sont capables de rendre les applications portables sur une vaste gamme de systèmes, ces deux modèles ne permettent pas en revanche d’exprimer la concurrence sur les instructions. Or, celle-ci est indispensable pour optimiser le traitement des applications selon les ressources disponibles de la plate-forme cible. Nous avons tout d’abord développé une représentation « universelle » d’applications pour machine virtuelle fondée sur la modélisation par graphe flux de données. Une application est ainsi modélisée par un graphe orienté dont les sommets sont des unités de calcul (les acteurs) et dont les arcs représentent le flux de données passant au travers de ces sommets. Chaque unité de calcul peut être traitée indépendamment des autres sur des ressources distinctes. La concurrence sur les instructions dans l’application est alors explicite. Exploiter ce nouveau formalisme de description d'applications nécessite de modifier les règles de programmation. A cette fin, nous avons introduit et défini le concept de « Représentation Canonique et Minimale » d’acteur. Il se fonde à la fois sur le langage de programmation orienté acteur CAL et sur les modèles d’abstraction d’instructions des machines virtuelles existantes. Notre contribution majeure qui intègre les deux nouvelles représentations proposées, est le développement d’une « Machine Virtuelle Universelle » (MVU) dont la spécificité est de gérer les mécanismes d’adaptation, d’optimisation et d’ordonnancement à partir de l’infrastructure de compilation Low-Level Virtual Machine. La pertinence de cette MVU est démontrée dans le contexte normatif du codage vidéo reconfigurable (RVC). En effet, MPEG RVC fournit des applications de référence de décodeurs conformes à la norme MPEG-4 partie 2 Simple Profile sous la forme de graphe flux de données. L’une des applications de cette thèse est la modélisation par graphe flux de données d’un décodeur conforme à la norme MPEG-4 partie 10 Constrained Baseline Profile qui est deux fois plus complexe que les applications de référence MPEG RVC. Les résultats expérimentaux montrent un gain en performance en exécution de deux pour des plates-formes dotées de deux cœurs par rapport à une exécution mono-cœur. Les optimisations développées aboutissent à un gain de 25% sur ces performances pour des temps de compilation diminués de moitié. Les travaux effectués démontrent le caractère opérationnel et universel de cette norme dont le cadre d’utilisation dépasse le domaine vidéo pour s’appliquer à d’autres domaine de traitement du signal (3D, son, photo…) / This thesis proposes a new paradigm that abstracts the architecture of computer systems for representing virtual machines’ applications. Current applications are based on abstraction of machine’s instructions and on an execution model that reflects operations of these instructions on the target machine. While these two models are efficient to make applications portable across a wide range of systems, they do not express concurrency between instructions. Expressing concurrency is yet essential to optimize processing of application as the number of processing units is increasing in computer systems. We first develop a “universal” representation of applications for virtual machines based on dataflow graph modeling. Thus, an application is modeled by a directed graph where vertices are computation units (the actors) and edges represent the flow of data between vertices. Each processing units can be treated apart independently on separate resources. Concurrency in the instructions is then made explicitly. Exploit this new description formalism of applications requires a change in programming rules. To that purpose, we introduce and define a “Minimal and Canonical Representation” of actors. It is both based on actor-oriented programming and on instructions ‘abstraction used in existing Virtual Machines. Our major contribution, which incorporates the two new representations proposed, is the development of a “Universal Virtual Machine” (UVM) for managing specific mechanisms of adaptation, optimization and scheduling based on the Low-Level Virtual Machine (LLVM) infrastructure. The relevance of the MVU is demonstrated on the MPEG Reconfigurable Video Coding standard. In fact, MPEG RVC provides decoder’s reference application compliant with the MPEG-4 part 2 Simple Profile in the form of dataflow graph. One application of this thesis is a new dataflow description of a decoder compliant with the MPEG-4 part 10 Constrained Baseline Profile, which is twice as complex as the reference MPEG RVC application. Experimental results show a gain in performance close to double on a two cores compare to a single core execution. Developed optimizations result in a gain on performance of 25% for compile times reduced by half. The work developed demonstrates the operational nature of this standard and offers a universal framework which exceeds the field of video domain (3D, sound, picture...)

Darbo tikslas. Išanalizuoti išlaidų kompensuojamiesiems iš privalomojo sveikatos draudimo fondo (PSDF) biudžeto vaistams pokyčius, tendencijas, bei jų įtaką gyventojams Panevėžio apskrityje per 2003 – 2005 metus. Uždaviniai: • Išanalizuoti PSDF biudžeto išlaidų kompensuojamiesiems vaistams pokyčius Panevėžio apskrities asmens sveikatos priežiūros įstaigose (ASPĮ); • Išanalizuoti pacientų priemokas, įsigyjant kompensuojamuosius iš PSDF biudžeto vaistus, bei įvertinti kompensuojamųjų vaistų prieinamumo dinamiką. • Palyginti Panevėžio apskrities išlaidas kompensuojamiesiems iš PSDF biudžeto vaistams su bendrais Lietuvos rodikliais. Tyrimo metodika. Duomenys apie kompensuojamuosius iš PSDF biudžeto vaistus per 2003 – 2005 metus buvo renkami ir vertinami iš Valstybinės ligonių kasos (Panevėžio teritorinės ligonių kasos serveris) informacinės sistemos „SVEIDRA“ duomenų bazės. Rezultatai. Išlaidos kompensuojamiems vaistams kiekvienais metais augo po 10 – 18 %. Brangiausi medikamentai buvo išrašomi darbingo amžiaus pacientams, o pigiausi vaistai tekdavo vaikams iki 18 metų. Pacientų priemokos nuolat augo ir nuo visos vaistų kainos sudarydavo vidutiniškai 20 %. Pacientų priemokos sudarė nuo 12 % (vaikams) iki 23 % (vyresniems nei 65 metai pacientams) nuo vaisto pardavimo kainos. Išvados. 2003-2005 m. išlaidos kompensuojamiems vaistams augo sparčiau, nei bendras pacientų ir išrašomų receptų skaičius. Ypač išlaidos pastebimai augo 2005 metais, kai buvo į kompensuojamųjų vaistų kainyną... [toliau žr. visą tekstą] / The aim of the final thesis. To analyze the changes, tendencies and the influence for people out of pocket payments in expenditure for medicines that are reimbursed from the Compulsory Health Insurance Fund in Panevėžys county during the period from 2003 to 2005 years. Objectives: • To analyze the changes of expenditure for compensative medicines, that are financed from CHIF budget in health care institutions in Panevėžys county; • To analyze the patients out of pocket payments acquiring medicines that are reimbursed from the Compulsory Health Insurance Fund and to evaluate the dynamics of accessibility of the reimbursed medicines; • To compare expenditure for medicines that are compensated from the Compulsory Health Insurance Fund in Panevėžys county with general index of Lithuania Research methods. Statistical data concerning medicines that are reimbursed from the Compulsory Health Insurance Fund during the period from 2003 to 2005 was collected and estimated from the state information system “SVEIDRA”. Results. Expenditure for reimbursed medicines was increasing for 10-18 percent each year. The most expensive medicines were mostly assigned for a capable of working patients. The cheapest medicines were mostly assigned for children under 18 years. The patients co-payments for medicines was increasing average 20 percent each year. Co-payment was about 12 percent for children and about 23 percent for adults. Conclusions. During the period from 2003 to 2005 expenditure... [to full text]

Cette thèse propose un nouveau paradigme de représentation d'applications pour les machines virtuelles, capable d'abstraire l'architecture des systèmes informatiques. Les machines virtuelles actuelles reposent sur un modèle unique de représentation d'application qui abstrait les instructions des machines et sur un modèle d'exécution qui traduit le fonctionnement de ces instructions vers les machines cibles. S'ils sont capables de rendre les applications portables sur une vaste gamme de systèmes, ces deux modèles ne permettent pas en revanche d'exprimer la concurrence sur les instructions. Or, celle-ci est indispensable pour optimiser le traitement des applications selon les ressources disponibles de la plate-forme cible. Nous avons tout d'abord développé une représentation " universelle " d'applications pour machine virtuelle fondée sur la modélisation par graphe flux de données. Une application est ainsi modélisée par un graphe orienté dont les sommets sont des unités de calcul (les acteurs) et dont les arcs représentent le flux de données passant au travers de ces sommets. Chaque unité de calcul peut être traitée indépendamment des autres sur des ressources distinctes. La concurrence sur les instructions dans l'application est alors explicite. Exploiter ce nouveau formalisme de description d'applications nécessite de modifier les règles de programmation. A cette fin, nous avons introduit et défini le concept de " Représentation Canonique et Minimale " d'acteur. Il se fonde à la fois sur le langage de programmation orienté acteur CAL et sur les modèles d'abstraction d'instructions des machines virtuelles existantes. Notre contribution majeure qui intègre les deux nouvelles représentations proposées, est le développement d'une " Machine Virtuelle Universelle " (MVU) dont la spécificité est de gérer les mécanismes d'adaptation, d'optimisation et d'ordonnancement à partir de l'infrastructure de compilation Low-Level Virtual Machine. La pertinence de cette MVU est démontrée dans le contexte normatif du codage vidéo reconfigurable (RVC). En effet, MPEG RVC fournit des applications de référence de décodeurs conformes à la norme MPEG-4 partie 2 Simple Profile sous la forme de graphe flux de données. L'une des applications de cette thèse est la modélisation par graphe flux de données d'un décodeur conforme à la norme MPEG-4 partie 10 Constrained Baseline Profile qui est deux fois plus complexe que les applications de référence MPEG RVC. Les résultats expérimentaux montrent un gain en performance en exécution de deux pour des plates-formes dotées de deux cœurs par rapport à une exécution mono-cœur. Les optimisations développées aboutissent à un gain de 25% sur ces performances pour des temps de compilation diminués de moitié. Les travaux effectués démontrent le caractère opérationnel et universel de cette norme dont le cadre d'utilisation dépasse le domaine vidéo pour s'appliquer à d'autres domaine de traitement du signal (3D, son, photo...)