Search for dissertations about: "Veronica Gaspes"

Showing result 1 - 5 of 8 swedish dissertations containing the words Veronica Gaspes.

  2. 1. A Type Theoretical Analysis of Some Aspects of Programming Languages

    Author : Verónica Gaspes; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : We present three papers on the application of Martin-Löf's type theory to the analysis of programming languages. In the first paper, we present formal proofs in type theory of the combinatorial completeness of two calculi of combinators. The statement formulates the ability of the calculi to describe functions. READ MORE

  4. 2. Formal proofs of combinatorial completeness

    Author : Verónica Gaspes; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : .... READ MORE

  5. 3. Rigorous Simulation : Its Theory and Applications

    Author : Adam Duracz; Walid Taha; Veronica Gaspes; Kazunori Ueda; Högskolan i Halmstad; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; simulation; verification; interval analysis; validated numerics; hybrid systems; cyber-physical systems;

    Abstract : Designing Cyber-Physical Systems is hard. Physical testing can be slow, expensive and dangerous. Furthermore computational components make testing all possible behavior unfeasible. Model-based design mitigates these issues by making it possible to iterate over a design much faster. READ MORE

  6. 4. Compiling Concurrent Programs for Manycores

    Author : Essayas Gebrewahid; Bertil Svensson; Veronica Gaspes; Zain Ul-Abdin; Johan Eker; Högskolan i Halmstad; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : The arrival of manycore systems enforces new approaches for developing applications in order to exploit the available hardware resources. Developing applications for manycores requires programmers to partition the application into subtasks, consider the dependence between the subtasks, understand the underlying hardware and select an appropriate programming model. READ MORE

  7. 5. Tools to Compile Dataflow Programs for Manycores

    Author : Essayas Gebrewahid; Zain Ul-Abdin; Veronica Gaspes; Bertil Svensson; Marco Mattavelli; Högskolan i Halmstad; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : The arrival of manycore systems enforces new approaches for developing applications in order to exploit the available hardware resources. Developing applications for manycores requires programmers to partition the application into subtasks, consider the dependence between the subtasks, understand the underlying hardware and select an appropriate programming model. READ MORE