Search for dissertations about: "real-time calculus"
Showing result 1 - 5 of 9 swedish dissertations containing the words real-time calculus.
-
1. A calculus of real time systems
Abstract : .... READ MORE
-
2. A time constrained real-time process calculus
Abstract : There are two important questions to ask regarding the correct execution of a real-time program: (i) Is there a platform such that the program executes correctly? (ii) Does the program execute correctly on a particular platform? The execution of a program is correct if all actions are taken within their execution window, i.e. READ MORE
-
3. New Techniques for Building Timing-Predictable Embedded Systems
Abstract : Embedded systems are becoming ubiquitous in our daily life. Due to close interaction with physical world, embedded systems are typically subject to timing constraints. At design time, it must be ensured that the run-time behaviors of such systems satisfy the pre-specified timing constraints under any circumstance. READ MORE
-
4. Real-Time Services in Packet-Switched Networks for Embedded Applications
Abstract : Embedded applications have become more and more complex, increasing the demands on the communication network. For reasons such as safety and usability, there are real-time constraints that must be met. Also, to offer high performance, network protocols should offer efficient user services aimed at specific types of communication. READ MORE
-
5. A Timely Journey Through the Cloud
Abstract : This thesis treats the intersection between two of the largest transformations we are seeing within our society today; the cloud and the Internet-of-Things (IoT). The aim of this thesis is to investigate different ways to model and control a network of cloud services so that timing-critical IoT applications can make use of them. READ MORE