Sökning: "Laurent Michel"
Hittade 3 avhandlingar innehållade orden Laurent Michel.
1. From Declarative Models to Local Search
Sammanfattning : A solver is a general-purpose software for solving optimisation problems. It takes as input a description of a problem, called a model, and uses a collection of algorithms, called its solving technology, to ideally produce an optimal solution as output. Most solvers have a modelling language that cannot be processed by other solvers. LÄS MER
2. Constraint-Based Register Allocation and Instruction Scheduling
Sammanfattning : Register allocation (mapping variables to processor registers or memory) and instruction scheduling (reordering instructions to improve latency or throughput) are central compiler problems. This dissertation proposes a combinatorial optimization approach to these problems that delivers optimal solutions according to a model, captures trade-offs between conflicting decisions, accommodates processor-specific features, and handles different optimization criteria. LÄS MER
3. Conflicted Selves : Ironic Representations of Westernization in Three Twentieth-century Turkish Novels
Sammanfattning : For over a century, a dichotomous East–West debate has influenced conceptions of Turkish literature, threatening to reduce single works to products of westernization. This study critically reviews this discourse by investigating how it is addressed through irony in three novels from a period of forty years of the late 20th century: Ahmet Hamdi Tanpınar’s Saatleri Ayarlama Enstitüsü (The Time Regulation Institute, 1961), Adalet Ağaoğlu’s Ölmeye Yatmak (Lying Down To Die, 1973), and Orhan Pamuk’s Yeni Hayat (The New Life, 1994). LÄS MER