Sökning: "Concurrent Constraint Programming"

Hittade 3 avhandlingar innehållade orden Concurrent Constraint Programming.

  1. 1. Exploiting Fine-grain Parallelism in Concurrent Constraint Languages

    Författare :Johan Montelius; RISE; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Implicit parallelism; Concurrent Constraint Programming; Cache performance; Logic programming; Abstract machine; Parallel execution; Scheduling; Multiprocessor; Shared memory;

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

  3. 2. System-on-Chip Test Scheduling and Test Infrastructure Design

    Författare :Anders Larsson; Petru Eles; Zebo Peng; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; system-on-chip; core-based systems; test infrastructure; test scheduling; broadcasting; test set sharing; Computer science; Datavetenskap;

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

  4. 3. The Fusion Calculus : Expressiveness and Symmetry in Mobile Processes

    Författare :Björn Victor; Joachim Parrow; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

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