Advanced search

Showing result 1 - 5 of 75 essays matching the above criteria.

  1. 1. The State of Stateful Serverless Systems

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Ashmitha Ambastha; [2023]
    Keywords : Stateful Serverless Systems; Azure Durable Functions; Apache Flink StateFun; Kalix; Cloudburst; Function-as-a-Service; Serverlösa system utan tillstånd; Azure Durable Functions; Apache Flink StateFun; Kalix; Cloudburst; funktion som tjänst;

    Abstract : Serverless computing and Function-as-a-service are popular paradigms that simplify application development by abstracting the development layer from the underlying infrastructure components. These systems work in a pay-as-you-go model and provide an efficient environment for developers to focus entirely on developing their business logic. READ MORE

  3. 2. Identification of restoration hotspots in landscape-scale green infrastructure planning based on model-predicted connectivity forest

    University essay from Lunds universitet/Institutionen för naturgeografi och ekosystemvetenskap

    Author : Xiaoming Wang; [2023]
    Keywords : boreal forest; conservation; restoration; connectivity; green infrastructure; GIS; Sweden; Earth and Environmental Sciences;

    Abstract : Boreal forest landscapes have undergone severe anthropogenic fragmentation and their enormous values concerning, e.g., ecosystem service, biodiversity and culture are hazarded. READ MORE

  4. 3. Improving the Synthesis of Annotations for Partially Automated Deductive Verification

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Hovig Manjikian; [2023]
    Keywords : Formal verification; Automated verification; Contract inference.; Formell verifiering; Automatiserad verifiering; Kontraktgenerering.;

    Abstract : This work investigates possible improvements to an existing annotation inference tool. The tool is part of a toolchain that aims to automate the process of software verification using formal methods. READ MORE

  5. 4. Complementary porridge based on pearl millet and cow pea : the effect of traditional processing techniques and cooking methods on pasting properties and in vitro starch digestibility

    University essay from SLU/Department of Molecular Sciences

    Author : Signe Christerson; [2023]
    Keywords : Cow pea; pearl millet; traditional processing techniques; germination; fermentation; soaking; pasting properties; starch digestibility; energy density;

    Abstract : In Mozambique, malnutrition in children under 5 years is a serious concern. The condition is thought to be owing to nutritionally inferior diets and improper feeding practices on a mainly cereal-based diet, where porridges from millet- and legume-flours constitute the major staple food. READ MORE

  6. 5. Trädplan för den moderna kvartersstaden : ett växtgestaltningsförslag för Nya Gatan, Nacka stad

    University essay from SLU/Dept. of Urban and Rural Development

    Author : Marit Jonsson; [2023]
    Keywords : gatuträd; exotiskt växtmaterial; förtätning; rumslig upplevelse; 3-30-300;

    Abstract : Hållbara städer och samhällen är ett av FN:s globala mål. I en värld där urbanisering är den rådande trenden är förtätning ett sätt att resurseffektivisera städerna. En förtätning av staden, som i många fall innebär höga byggnader, påverkar skalan och den rumsliga uppfattningen av det offentliga rummet. READ MORE