Sökning: "Concurrent program"
Visar resultat 1 - 5 av 53 avhandlingar innehållade orden Concurrent program.
1. Concurrent comics : programming of social agents by children
Sammanfattning : This thesis presents a study of how the visual language of comics can be used for programming of social agents. Social agents are interactive and animated characters that can express emotions and behaviours in relation to other agents. Such agents could be programmed by children to create learning games and simulations. LÄS MER
2. Model Checking of Software Systems under Weak Memory Models
Sammanfattning : When a program is compiled and run on a modern architecture, different optimizations may be applied to gain in efficiency. In particular, the access operations (e.g., read and write) to the shared memory may be performed in an out-of-order manner, i. LÄS MER
3. Effective Techniques for Stateless Model Checking
Sammanfattning : Stateless model checking is a technique for testing and verifying concurrent programs, based on exploring the different ways in which operations executed by the processes of a concurrent program can be scheduled. The goal of the technique is to expose all behaviours that can be a result of scheduling non-determinism. LÄS MER
4. Verification of networks of communicating processes : Reachability problems and decidability issues
Sammanfattning : Computer systems are used in almost all aspects of our lives and our dependency on them keeps on increasing. When computer systems are used to handle critical tasks, any software failure can cause severe human and/or material losses. LÄS MER
5. 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