Sökning: "Veronica Gaspes"

Visar resultat 1 - 5 av 8 avhandlingar innehållade orden Veronica Gaspes.

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

    Författare :Verónica Gaspes; Chalmers University of Technology; []
    Nyckelord :;

    Sammanfattning : 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. LÄS MER

  2. 2. Formal proofs of combinatorial completeness

    Författare :Verónica Gaspes; Chalmers University of Technology; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : .... LÄS MER

  3. 3. Rigorous Simulation : Its Theory and Applications

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

    Sammanfattning : 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. LÄS MER

  4. 4. Compiling Concurrent Programs for Manycores

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

    Sammanfattning : 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. LÄS MER

  5. 5. Tools to Compile Dataflow Programs for Manycores

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

    Sammanfattning : 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. LÄS MER