• User profiling for diverse user contexts 

      Karlsen, Jan Tore (Master thesis; Mastergradsoppgave, 2015-05-14)
      The amount of content available for consumption online is increasing tremendously. This make the job of recommender systems more important, and at the same time, more demanding. Context-aware recommender systems might be a solution to this problem. This work set out to discover user contexts dynamically by collecting contextual information from user actions and perform cluster analysis on the ...
    • Verification of the Chord protocol in TLA+ 

      Lund, Jørgen Aarmo (Master thesis; Mastergradsoppgave, 2019-05-15)
      In traditional software engineering methodologies, software correctness is established through testing and progressive fault mitigation. Safety properties are established by demonstrating that a sufficiently large number of test cases fail to violate them. In contrast, formal verification methods permit a systems design process where desired safety properties are stated outright in the system ...
    • WallMon : Interactive distributed monitoring of process-level resource usage on display and compute clusters 

      Nilsen, Arild (Master thesis; Mastergradsoppgave, 2011-11)
      To achieve low overhead, traditional cluster monitoring systems sample data at low frequencies and with coarse granularity. However, interactive monitoring requires frequent (up to 60 Hz) sampling of fine-grained data and visualization tools that can explore and display data in near real-time. This makes traditional cluster monitoring systems unsuited for interactive monitoring of distributed cluster ...
    • ZeroComm: Decentralized, Secure and Trustful Group Communication 

      Witharanage, Yasiru Rathsara (Mastergradsoppgave; Master thesis, 2023-05-15)
      In the context of computer networks, decentralization is a network architecture that distributes both workload and control of a system among a set of coequal participants. Applications based on such networks enhance trust involved in communication by eliminating the external author- ities with self-interests, including governments and tech companies. The decentralized model delegates the ownership ...