Search for dissertations about: "SEARCH"

Showing result 1 - 5 of 1930 swedish dissertations containing the word SEARCH.

  2. 1. Lock-free Concurrent Search

    Author : Bapi Chatterjee; Chalmers University of Technology; []
    Keywords : NATURVETENSKAP; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; ENGINEERING AND TECHNOLOGY; 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;

    Abstract : The contemporary computers typically consist of multiple computing cores with high compute power. Such computers make excellent concurrent asynchronous shared memory system. READ MORE

  4. 2. Optimal Taxation in Search Equilibrium

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

    Abstract : 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. READ MORE

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

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

    Abstract : 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. READ MORE

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

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

    Abstract : .... READ MORE

  7. 5. From Declarative Models to Local Search

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

    Abstract : 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. READ MORE