Sökning: "core calculus"
Visar resultat 1 - 5 av 10 avhandlingar innehållade orden core calculus.
1. Programming Language Design - Issues in Web Programming and Security
Sammanfattning : 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. LÄS MER
2. 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
3. Barycentric Markov processes and stability of stochastic integrators
Sammanfattning : 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. LÄS MER
4. Meta-Languages and Semantics for Equation-Based Modeling and Simulation
Sammanfattning : 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. LÄS MER
5. Analysis and Management of Communication in On-Chip Networks
Sammanfattning : 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). LÄS MER