Avancerad sökning

Visar resultat 1 - 5 av 2170 avhandlingar som matchar ovanstående sökkriterier.

1. 1. Lock-free Concurrent Search

   Författare :Bapi Chatterjee; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Wait-free; Help-aware; Non-blocking; Concurrency; Linearizability; Lock-based; Lock-free-kD-tree; Amortized Complexity; Data Structure; Binary Search Tree; Blocking; Search; Concurrent; kD-tree; Linked-list; Lock-free; Range Search; Language-portable; Help-optimal; Nearest Neighbour Search; Linearizable; Synchronization;

   Sammanfattning : The contemporary computers typically consist of multiple computing cores with high compute power. Such computers make excellent concurrent asynchronous shared memory system. LÄS MER

3. 2. Optimal Taxation in Search Equilibrium

   Författare :Per Engström; Bertil Holmlund; Ann-Sofie Kolm; Torben Tranaes; Uppsala universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Economics; Optimal Taxation; unemployment; search; unemployment benefits; home production; Nationalekonomi; Economics; Nationalekonomi;

   Sammanfattning : This thesis consists of four self-contained essays.Essay 1 (with Bertil Holmlund and Ann-Sofie Kolm) develops a two-sector general equilibrium search model where ``goods'' are produced exclusively in the market and ”services” are produced both in the market and within the households. LÄS MER

4. 3. Migration, Crime and Search in Spatial Markets

   Författare :Wei Xiao; Yves Zenou; Peter Rupert; Stockholms universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Search; Unemployment; Cities; Crimes; Rural-urban migration; Economics; nationalekonomi;

   Sammanfattning : Search Frictions, Unemployment, and Housing in Cities: Theory and PoliciesWe propose an urban search-matching model with land development. We characterize the steady-state equilibrium and then discuss the issue of efficiency. LÄS MER

5. 4. Interactive Search-Based Software Testing : Development, Evaluation, and Deployment

   Författare :Bogdan Marculescu; Robert Feldt; Robert Torkar; Simon Poulding; Mohammad Mousavi; Blekinge Tekniska Högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Interactive Search-Based Software Testing; Search-Based Software Testing; Search-Based Software Engineering; Industrial Validation;

   Sammanfattning : .... LÄS MER

7. 5. From Declarative Models to Local Search

   Författare :Gustav Björdal; Pierre Flener; Justin Pearson; Laurent Michel; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; discrete optimisation; combinatorial optimisation; local search; large-neighbourhood search; MiniZinc; constraint programming; declarative modelling; declarative neighbourhoods; Computer Science; Datavetenskap;

   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