Sökning: "real-time calculus"
Visar resultat 1 - 5 av 9 avhandlingar innehållade orden real-time calculus.
1. A calculus of real time systems
Sammanfattning : .... LÄS MER
2. A time constrained real-time process calculus
Sammanfattning : 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. LÄS MER
3. New Techniques for Building Timing-Predictable Embedded Systems
Sammanfattning : 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. LÄS MER
4. Real-Time Services in Packet-Switched Networks for Embedded Applications
Sammanfattning : 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. LÄS MER
5. A Timely Journey Through the Cloud
Sammanfattning : 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. LÄS MER