Search for dissertations about: "Concurrent Constraint Programming"
Found 3 swedish dissertations containing the words Concurrent Constraint Programming.
-
1. Exploiting Fine-grain Parallelism in Concurrent Constraint Languages
Abstract : This dissertation presents the design, implementation, and evaluation of a system that exploits fine-grain implicit parallelism in concurrent constraint programming language. The system is able to outperform a C implementation of an algorithm with complex dependencies without any user annotations. READ MORE
-
2. System-on-Chip Test Scheduling and Test Infrastructure Design
Abstract : There are several challenges that have to be considered in order to reduce the cost of System-on-Chip (SoC) testing, such as test application time, chip area overhead due to hardware introduced to enhance the testing, and the price of the test equipment. In this thesis the test application time and the test infrastructure hardware overhead of multiple-core SoCs are considered and two different problems are addressed. READ MORE
-
3. The Fusion Calculus : Expressiveness and Symmetry in Mobile Processes
Abstract : The fusion calculus is presented as a significant step towards a canonical calculus of concurrency. It simplifies and extends the π-calculus of Milner, Parrow and Walker.The fusion calculus contains the polyadic π-calculus as a proper subcalculus and thus inherits all its expressive power. READ MORE