Sökning: "constraint programming"

Visar resultat 16 - 20 av 89 avhandlingar innehållade orden constraint programming.

  1. 16. Constraint-Driven Design Space Exploration for Memory-Dominated Embedded Systems

    Författare :Radoslaw Szymanek; Institutionen för datavetenskap; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; systems; control; Datalogi; numerisk analys; system; kontroll; Computer science; memory; design space exploration; embedded systems; constraint programming; numerical analysis;

    Sammanfattning : Today, embedded systems often consist of many different processing, communication, and memory units. This makes an embedded system a multiprocessor system. There are usually many possible multiprocessor architectures and therefore we need tool support for fast evaluation of numerous design alternatives. LÄS MER

  3. 17. Radiation Therapy Patient Scheduling: An Operations Research Approach

    Författare :Sara Frimodig; Per Enqvist; Jan Kronqvist; Mats Carlsson; Willem-Jan van Hoeve; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Radiation therapy scheduling; patient scheduling; multi-appointment scheduling; operations research; integer programming; constraint programming; column generation; Schemaläggning; strålterapi; operationsanalys; heltalsprogrammering; villkorsprogrammering; kolumngenerering; Optimeringslära och systemteori; Optimization and Systems Theory;

    Sammanfattning : The manual scheduling of patients for radiation therapy is difficult and labor-intensive. With the increase in cancer patient numbers, efficient resource planning is an important tool to achieve short waiting times and equal right to care. This thesis studies an operations research approach to the radiation therapy scheduling problem. LÄS MER

  4. 18. Symmetry Breaking Ordering Constraints

    Författare :Zeynep Kiziltan; Andreas Hamfelt; Toby Walsh; Pedro Meseguer; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Constraint satisfaction; constraint programming; modelling; symmetry breaking; global constraints; Datavetenskap; Computer science; Datavetenskap;

    Sammanfattning : Many problems in business, industry, and academia can be modelled as constraint programs consisting of matrices of decision variables. Such “matrix models” often have symmetry. In particular, they often have row and column symmetry as the rows and columns can freely be permuted without affecting the satisfiability of assignments. LÄS MER

  5. 19. Code Generation for Custom Architectures using Constraint Programming

    Författare :Mehmet Ali Arslan; Institutionen för datavetenskap; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : The computation power we expect from the various smart devices we use keeps increasing. Not only do we want faster devices but also less power hungry and energy efficient devices, both for the environment and our personal convenience (remember that "mobile phone" attached to a power plug at all times?). LÄS MER

  7. 20. Dynamic Programming and Time-Varying Delay Systems

    Författare :Bo Lincoln; Institutionen för reglerteknik; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; control engineering; Automatiska system; robotteknik; reglerteknik; robotics; Automation; Stability analysis; Time-varying delays; Dynamic programming; Switched linear systems;

    Sammanfattning : This thesis is divided into two separate parts. The first part is about Dynamic Programming for non-trivial optimal control problems. The second part introduces some useful tools for analysis of stability and performance of systems with time-varying delays. LÄS MER