Sökning: "SCALA"

Visar resultat 11 - 15 av 41 uppsatser innehållade ordet SCALA.

  1. 11. Automatic Verification of Embedded Systems Using Horn Clause Solvers

    Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Anoud Alshnakat; [2019]
    Nyckelord :;

    Sammanfattning : Recently, an increase in the use of safety-critical embedded systems in the automotive industry has led to a drastic up-tick in vehicle software and code complexity. Failure in safety-critical applications can cost lives and money. LÄS MER

  3. 12. A Scala DSL for Rust code generation

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

    Författare :Klas Segeljakt; [2018]
    Nyckelord :Continuous Deep Analytics; Domain Specific Langauges; Code Generation; Rust; Scala; Kontinuerlig Djup Analys; Domänspeficika Språk; Kodgenerering; Rust; Scala;

    Sammanfattning : Continuous Deep Analytics (CDA) is a new form of analytics with performance requirements exceeding what the current generation of distributed systems can offer. This thesis is part of a five year project in collaboration between RISE SICS and KTH to develop a next generation distributed system capable of CDA. LÄS MER

  4. 13. Implementing Streaming Parallel Decision Trees on Graphic Processing Units

    Uppsats för yrkesexamina på avancerad nivå, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :David Svantesson; [2018]
    Nyckelord :decision trees; streaming; gpu; hpc; spdt; streaming parallel decision trees; machine learning;

    Sammanfattning : Decision trees have long been a prevalent area within machine learning. With streaming data environments as well as large datasets becoming increasingly common, researchers have developed decision tree algorithms adapted to streaming data. LÄS MER

  5. 14. Creating Interactive Visualizations for Twitter Datasets using D3

    Kandidat-uppsats, Uppsala universitet/Matematiska institutionen

    Författare :Olof Björck; [2018]
    Nyckelord :D3; JavaScript; Interactive Visualizations; Visualization; Visualizations; Project MEP;

    Sammanfattning : Project Meme Evolution Programme (Project MEP) is a research program directed by Raazesh Sainudiin, Uppsala University, Sweden, that collects and analyzes datasets from Twitter. Twitter can be used to understand how ideas spread in social media. This project aims to produce interactive visualizations for datasets collected in Project MEP. LÄS MER

  7. 15. Constraining future extensions of immutable classes

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

    Författare :Mikael Blomstrand; [2018]
    Nyckelord :scala; dotty; compiler; jvm; mållgan; final; immutable;

    Sammanfattning : Immutable data and persistent data structures are seeing more and more use. Many common programming errors can be solved by simply using immutable data, and in concurrent and parallel programming, they remove the need for data synchronization. LÄS MER