Sökning: "LaCasa"

Hittade 3 uppsatser innehållade ordet LaCasa.

  1. 1. Object Capabilities and Uniqueness for Isolating Actors in Akka

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

    Författare :Fredrik Sommar; [2018]
    Nyckelord :;

    Sammanfattning : Large-scale concurrent systems need to ensure that the number of bugs is as low as possible, especially since the symptoms may appear far from the cause. Data races, for instance, is caused by the lack of isolation between systems. LÄS MER

  3. 2. Lightweight Software Isolation via Flow-Sensitive Capabilities in Scala

    Master-uppsats, KTH/Skolan för datavetenskap och kommunikation (CSC)

    Författare :Erik Reimers; [2017]
    Nyckelord :Scala; LaCasa; flow-sensitive; aliasing;

    Sammanfattning : Aliasing is a potential source of problems in software development and can, for example,lead to data races in concurrent programs. More recent programming languages includealiasing control in order to catch more errors at compile time. However, this does notexist for most widely-used languages.LaCasa introduces aliasing control to Scala. LÄS MER

  4. 3. Investigation of Variety of Non-CoherentFront end Detectors For Timing Estimation

    Master-uppsats, KTH/Signalbehandling

    Författare :Luis Lacasa Calvo; [2013]
    Nyckelord :;

    Sammanfattning : The indoor localization of mobile users is currently a central issue for many applications and fields, including sensor networks, asset management, healthcare, ambient-assisted living, and public safety personnel localization. Existing solutions often rely on the fusion of information from multiple sensors. LÄS MER