Les trois monothéismes conçoivent un Dieu créateur et ordonnateur du monde, révélé dans l’histoire, garant de toute justice et de tout équilibre, et déterminant l’autorité et les systèmes d’autorités. La théologie a informé le droit et les lois, l’économie et l’éthique des personnes et des États. L’islam, loin d’être homogénéisé dans ses approches économiques, financières et réglementaires, révèle par le biais d’un exemple concret, par l’industrie des services financiers islamiques, les différentes facettes de ce qu’est l’autorité dans un contexte musulman, international et en pleine évolution. Prenant en compte la dynamique des questions sectaires, géographiques et interprétatives, la thèse analyse cette force déterminante que sont les « autorités » en finance islamique. Ces dernières semblent déterminer la finance islamique dans ses formes les plus tangibles, en structurant des produits financiers islamiques. L’analyse comporte d’abord une approche théorique, ensuite une étude comparée des facteurs qui déterminent les décisions prises lors de la structuration de produits financiers islamiques. Ces structures sont en effet fondées sur des contrats financiers conformes aux principes de la sharia. Leur approbation par des membres de conseils de la sharia est-elle déterminée par une autorité régionale, par des autorités internationales ou par des autorités de régulation ? Ces autorités sont-elles conventionnelles ou religieuses ? Afin de bien évaluer la problématique non seulement de l’autorité en tant que telle mais aussi de l’équilibre complexe entre les différentes autorités, nous développons une analyse comparée du système de structuration des produits financiers islamiques par les autorités concernées, en fonction des zones géographiques, au moyen d’un échantillon de 121 membres de conseils de la sharia couvrant l’approbation de produits financiers islamiques au sein de 243 institutions financières islamiques sur 35 pays. / The three monotheistic religions refer to a God who is the all-powerful creator of all that exists, revealed throughout history, guarantor of justice and fairness, who is the ultimate moral authority. Theology advises some of the laws, economics and ethics of individuals and of states. Islam is not homogeneous in its economic, financial and regulatory approaches. However, through the financial services industry, it reveals in a tangible manner various facets of authority across Muslim contexts. These include contexts that are international and highly dynamic. Taking into account the delicate balance between sectarian, geographic and interpretive facets, the thesis analyses the determining forces that we refer to as authorities in Islamic finance. These contribute to the Islamic finance industry in its most tangible form in the structuring of Islamic financial products. Analysis is carried out initially theoretically. It is followed by a comparative study of factors affecting decisions pertaining to the structuring of Islamic financial products. These structures are based on financial contracts that conform to the principles of the Sharia. Is approval by Sharia board members fashioned by a regional authority, by international authorities, or by regulatory authorities? Are these authorities conventional or religious? We address the question as it pertains to the dynamics between various types of authority. We develop a comparative analysis of the approach taken in structuring Islamic financial products, according to geographical areas related to a sample of 121 Sharia board members covering Islamic financial products for 243 Islamic financial institutions in 35 countries.

Tradicinės x86 architektūros spartinimui artėjant prie galimybių ribos, kompanija Intel pradėjo kurti naują IA-64 architektūrą, paremtą EPIC – išreikštinai lygiagrečiai vykdomomis instrukcijomis vieno takto metu. Ši pagrindinė savybė leidžia vykdyti iki šešių instrukcijų per vieną taktą. Taipogi architektūra pasižymi tokiomis savybėmis, kurios leido efektyviai spręsti su kodo optimizavimu susijusias problemas tradicinėse architektūrose. Tačiau kompiliatorių optimizavimo algoritmai ilgą laiką buvo tobulinami tradicinėse architektūrose, todėl norint išnaudoti naująją architektūrą, reikia ieškoti būdų tobulinti esamus kompiliatorius. Vienas iš būdų – kompiliatoriaus vidinių parametrų atsakingų už optimizacijas reikšmių pritaikymas IA-64. Būtent toks yra šio darbo tikslas, kuriam pasiekti reikia išnagrinėti IA-64 savybes, jas vėliau eksperimentiškai taikyti realaus kodo pavyzdžiuose bei įvertinti jų įtaką kodo vykdymo spartai. Pagal gautus rezultatus nagrinėjami kompiliatoriaus vidiniai parametrai ir su specialia kompiliatorių testavimo programa randamas geriausias reikšmių rinkinys šiai architektūrai. Vėliau šis rinkinys išbandomas su taikomosiomis programomis. Gauto parametrų rinkinio reikšmės turėtų leisti generuoti efektyvesnį kodą IA-64 architektūrai. / After performance optimization of traditional architectures began to reach their limits, Intel corporation started to develop new architecture based on EPIC – Explicitly Parallel Instruction Counting. This main feature allowed up to six instructions to be executed in single CPU cycle. Also this architecture includes more features, which allowed efficient solution of traditional architectures code optimization problems. However for long time code optimization algorithms have been improved for traditional architectures only, as a result those algorithms should be adopted to new architecture. One of the ways to do that – exploration of internal compilers parameters, which are responsible for code optimizations. That is the primary target of this work and in order to reach it the features of the IA-64 architecture and impact to execution performance must be explored using real-life code examples. Tests results may be used later for internal parameters selection and further exploration of these parameters values by using special compiler performance testing benchmarks. The set of those new values could be tested with real life applications in order to prove efficiency of IA-64 architecture features.

This master's thesis offers a brief introduction to evolutionary computation. It describes and compares the genetic programming and grammar based genetic programming and their potential use in automatic software repair. It studies possible applications of grammar based genetic programming on automatic software repair. Grammar based genetic programming is then used in design and implementation of a new method for automatic software repair. Experimental evaluation of the implemented automatic repair was performed on set of test programs.