Search for dissertations about: "real-time calculus"

Showing result 6 - 9 of 9 swedish dissertations containing the words real-time calculus.

  2. 6. Types for Crash Preventionn

    Author : Lars Pareto; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; reliability; dependability; concurrent programming; denotational semantics; real-time systems and embedded systems; data-flow; dynamic storage management; applicative functional programming languages ; type systems;

    Abstract : This thesis seeks to strengthen the capabilities of static polymorphic type-checking (as known from typed lambda calculus and functional programming) to allow a larger class of programming errors to be caught at compile time: the goal is to not only prevent illegal uses of data, but to also errors that lead to busy-loops, deadlocks, stack-overflows and heap-overflows. The thesis exploits that, for recursive programs, many correctness properties (including freedom from errors leading to busy-loops, etc. READ MORE

  4. 7. Fair Scheduling and Resource Allocation in Packet Based Radio Access Networks

    Author : Torgny Holmberg; Institutionen för elektro- och informationsteknik; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Telecommunication engineering; HiperAccess; network calculus; fairness; Scheduling; resource allocation; Telekommunikationsteknik;

    Abstract : Wireless communication systems are by nature and by regulations limited in bandwidth and are therefore limited in capacity. Services with Quality of Service (QoS) requirements will enforce a more efficient utilisation of the available capacity. READ MORE

  5. 8. Improving Clock Synchronization Performance in Industrial Networks

    Author : Rahul Nandkumar Gore; Elena Lisova; Johan Åkerberg; Mats Björkman; Han Song; Mälardalens universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Clock synchronization; Industrial networks; Internet of things; Industry 4.0; Network Calculus; Computer Science; datavetenskap;

    Abstract : The recent advances in cyber-physical systems and industrial internet-of-things (IIoT) have enabled the convergence of information technology (IT) and operational technology (OT) worlds of industrial automation systems achieving higher productivity, reliability, and revenues. The availability of business-critical and production-critical data on the converged network has enabled new and advanced network-centric applications that require time-constrained embedded devices to be connected to “the internet. READ MORE

  6. 9. Analysis and Management of Communication in On-Chip Networks

    Author : Fahimeh Jafari; Ahmed Hemani; Davide Bertozzi; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : Regarding the needs of low-power, high-performance embedded systems and the growing computation-intensive applications, the number of computing resources in a single chip has enormously increased. The current VLSI technology is able to support such an integration of transistors and add many computing resources such as CPU, DSP, specific IPs, etc to build a Systemon- Chip (SoC). READ MORE