Search
Now showing items 1-5 of 5
(Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 2020)
Loosely-coupled distributed systems organized as collections of so-called cloud-native microservices are able to adapt to traffic in very fine-grained and flexible ways. For this purpose, the cloud-native microservices ...
(Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 2020)
Symbolic execution is an important technique for software analysis, which enables systematic model exploration by following all possible execution paths for a given program. For multithreaded shared variable programs, this ...
(Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 2020)
Structural Operational Semantics (SOS) provides a general format to describe a model as a transition system with very powerful synchronization mechanisms. Actor systems are distributed, asynchronously communicating units ...
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2020)
This paper presents a method for testing whether objects in actor languages and active object languages exhibit locally deterministic behavior. We investigate such a method for a class of guarded command programs, abstracting ...
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2020)
Dynamic resource provisioning is an important driver for pay-on-demand cloud computing. Virtualized resources open for resource awareness, such that applications may use resource management strategies to modify their ...