Search for dissertations about: "network calculus"

Showing result 16 - 20 of 20 swedish dissertations containing the words network calculus.

  2. 16. Games and Probabilistic Infinite-State Systems

    Author : Sven Sandberg; Parosh Abdulla; Luca de Alfaro; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; program verification; model checking; determinacy; strategy improvement; infinite games; parity games; mean payoff games; stochastic games; Büchi games; reachability games; limiting average; limiting behavior; Markov chains; infinite-state systems; lossy channel systems; vector addition systems; noisy Turing machines; Computer science; Datavetenskap;

    Abstract : Computer programs keep finding their ways into new safety-critical applications, while at the same time growing more complex. This calls for new and better methods to verify the correctness of software. We focus on one approach to verifying systems, namely that of model checking. READ MORE

  4. 17. Type Based Techniques for Covert Channel Elimination and Register Allocation

    Author : Johan Agat; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; type and effect systems; program analysis; functional languages; confidentiality; register allocation; privacy; computer security; covert timing channels; program transformation; information flow; type systems;

    Abstract : As the title suggests, this thesis consists of two parts that address two rather different topics. The first part investigates secure information flow in sequential programs, with the aim of completely eliminating covert timing channels. The second part presents a technique to describe register allocation for a functional language. READ MORE

  5. 18. Studying the views of preservice teachers on the concept of function

    Author : Örjan Hansson; Lars-Erik Persson; Barbro Grevholm; Högskolan Kristianstad; []
    Keywords : SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; Education; Pedagogik; Mathematics Education; Matematik och lärande;

    Abstract : This thesis consists of an overview of the subject, where in particular five papers are put into a frame. The research conducted for the thesis concerns the views of preservice teachers on the concept of function. READ MORE

  6. 19. Studying the views of preservice teachers on the concept of function

    Author : Örjan Hansson; Luleå tekniska universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Mathematics Education; Matematik och lärande;

    Abstract : This thesis consists of an overview of the subject, where in particular five papers are put into a frame. The research conducted for the thesis concerns the views of preservice teachers on the concept of function. READ MORE

  7. 20. Performance Trade-offs for Ultra-Reliable Low-Latency Communication Systems

    Author : Sebastian Schiessl; James Gross; Mikael Skoglund; Cenk Gursoy; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Electrical Engineering; Elektro- och systemteknik;

    Abstract : In this dissertation, we consider wireless systems for ultra-reliable low-latency communication (URLLC). URLLC systems are required for example in industrial closed loop control systems, where data must be transmitted within a short target delay of at most a few milliseconds. READ MORE