Sökning: "Symbolic constraints"

Visar resultat 1 - 5 av 10 uppsatser innehållade orden Symbolic constraints.

  1. 1. Extending applicability of symbolic execution to uncover possible shared memory transactions in GPU programs

    Master-uppsats, Linköpings universitet/Institutionen för datavetenskap

    Författare :Jonathan Hjort; [2022]
    Nyckelord :;

    Sammanfattning : General-purpose computing on the graphics processing unit has become popular since the cost-to-power ratio is lower for GPUs (compared to CPUs) and the programmability of the GPU has increased. CUDA is an extension of the C/C++ programming languages which enables software developers to more easily make use of the computational power of the GPUs. LÄS MER

  3. 2. Stories of persistence and desistance: A study on Maltese ex-inmates’ pathways in and out of crime

    Master-uppsats, Lunds universitet/Sociologi; Lunds universitet/Sociologiska institutionen

    Författare :Jolin Mifsud; [2022]
    Nyckelord :desistance; persistence; identity; criminal pathways; narratives; social interactions; Social Sciences;

    Sammanfattning : This thesis investigates five ex-inmates’ narratives on their pathways in and out of crime in Malta. In-depth interviews were conducted to generate their stories. Previous studies on criminal pathways tend to prioritise either the persistence or desistance path and present each path as a linear process. LÄS MER

  4. 3. Profit-making businesswomen or (too) proud women and prostitutes? : change and continuity in the social practice of gender at Kiwira market, Tanzania

    Master-uppsats, SLU/Dept. of Urban and Rural Development

    Författare :Nora Wahlström; [2019]
    Nyckelord :market women; rural development; gender; gender practices;

    Sammanfattning : African women’s involvement in the informal economy as market sellers is a topic which has received substantial attention, often with an interest in the possibilty of empowerment which comes from earning money and conducting business outside of the household. However, this topic suffers from an urban bias as well as a focus mainly on West Africa. LÄS MER

  5. 4. The Disparate Effects of Legal Violence: Access to Family Reunification for Refugees in Denmark

    Master-uppsats, Lunds universitet/Rättssociologiska institutionen

    Författare :Sarah Scott Ford; [2018]
    Nyckelord :sociology of law; legal violence; family reunification; danish refugee policy; Social Sciences;

    Sammanfattning : This thesis is a case study on the family reunification procedure for refugees in Denmark, in the context of an increasingly restrictive environment. It sought to find out how structural facets of Danish immigration law interact with and influence the practices of navigating a family reunification process, for people with a refugee background. LÄS MER

  7. 5. Towards Arc Consistency in PLAS

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :William Wieweg; [2018]
    Nyckelord :Constraint Programming; Scheduling; Planning; Symbolic constraints; Arc consistency; Villkorsprogrammering; Schemaläggning; Planering; Symboliska villkor; Bågkonsekvens;

    Sammanfattning : The Planning And Scheduling (PLAS) module of ICE (Intelligent Control Environment) is responsible for planning and scheduling a large fleet of vehicles. This process involves the creation of tasks to be executed by the vehicles. LÄS MER