Sökning: "Verónica Gaspes"
Visar resultat 1 - 5 av 8 avhandlingar innehållade orden Verónica Gaspes.
1. A Type Theoretical Analysis of Some Aspects of Programming Languages
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. Formal proofs of combinatorial completeness
Sammanfattning : .... LÄS MER
3. Rigorous Simulation : Its Theory and Applications
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. Compiling Concurrent Programs for Manycores
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. Tools to Compile Dataflow Programs for Manycores
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