Search for dissertations about: "core calculus"

Showing result 1 - 5 of 10 swedish dissertations containing the words core calculus.

  2. 1. Programming Language Design - Issues in Web Programming and Security

    Author : Niklas Broberg; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Functional programming; web programming; dynamic loading; regular expressions; security; non-interference; calculus; core calculus; bisimulation; calculus;

    Abstract : This thesis consists of two separate parts. Both concern programming language design, the first in the domain of web programming and the other for security. READ MORE

  4. 2. New Techniques for Building Timing-Predictable Embedded Systems

    Author : Nan Guan; Wang Yi; Lothar Thiele; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Real-time systems; WCET analysis; cache analysis; abstract interpretation; multiprocessor scheduling; fixed-priority scheduling; EDF; multi-core processors; response time analysis; utilization bound; real-time calculus; scalability; Datavetenskap med inriktning mot realtidssystem; Computer Science with specialization in Real Time 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

  5. 3. Barycentric Markov processes and stability of stochastic integrators

    Author : Philip Kennerberg; Matematisk statistik; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; geometric probability; dirichlet processes; Markov processes; stochastic integration; interacting particle systems;

    Abstract : This thesis consists of four papers that broadly concerns two dierent topics. The rsttopic is so-called barycentric Markov processes. By a barycentric Markov process wemean a process that consists of a point/particle system evolving in (discrete) time,whose evolution depends in some way on the mean value of the current points in thesystem. READ MORE

  6. 4. Meta-Languages and Semantics for Equation-Based Modeling and Simulation

    Author : David Broman; Peter Fritzson; Jeremy Siek; Thomas Schön; Björn Lisper; Walid Taha; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Meta-language; semantics; EOO; Modelica; equations; modeling; simulation; MKL; Computer science; Datalogi;

    Abstract : Performing computational experiments on mathematical models instead of building and testing physical prototypes can drastically reduce the develop cost for complex systems such as automobiles, aircraft, and powerplants. In the past three decades, a new category of equation-based modeling languages has appeared that is based on acausal and object-oriented modeling principles, enabling good reuse of models. READ MORE

  7. 5. 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