Sökning: "villkorsprogrammering"

Visar resultat 1 - 5 av 7 avhandlingar innehållade ordet villkorsprogrammering.

  1. 1. 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

  3. 2. Generating Optimized and Secure Binary Code

    Författare :Rodothea Myrsini Tsoupidi; Elena Troubitsyna; Panagiotis Papadimitratos; Fernando Magno Quintão Pereira; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; constraint programming; code optimization; secure compilation; side-channel attacks; code-reuse attacks; software security; villkorsprogrammering; kodoptimering; säker kompilering; sidokanalsattacker; kodåteranvändningsattacker; mjukvarusäkerhet; Informations- och kommunikationsteknik; Information and Communication Technology; Informations- och kommunikationsteknik; Information and Communication Technology;

    Sammanfattning : The increased digitalization of modern societies has resulted in a proliferation of a broad spectrum of embedded devices, ranging from personal smartphones and heart pacemakers to large-scale industrial IoT systems. Since they often handle various sensitive data, these devices increasingly become the targets of cyberattacks that threaten the integrity of personal data, financial security, and sometimes even people’s safety. LÄS MER

  4. 3. Short-term Underground Mine Scheduling : An Industrial Application of Constraint Programming

    Författare :Max Åstrand; Mikael Johansson; Mats Carlsson; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; scheduling; mining; underground mines; constraint programming; large neighborhood search; korttidsplanering; gruvdrift; underjordsgruvor; villkorsprogrammering; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : The mining industry is facing a surge in automation in the pursuit of safe and profitable operations. As the excavation process is increasingly automated, today's mining companies seek to optimize the coordination of the now automated mining activities. LÄS MER

  5. 4. Universal Instruction Selection

    Författare :Gabriel Hjort Blindell; Christian Schulte; Peter van Beek; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; instruction selection; code generation; compilers; constraint programming; combinatorial optimization; Informations- och kommunikationsteknik; Information and Communication Technology;

    Sammanfattning : In code generation, instruction selection chooses instructions to implement a given program under compilation, global code motion moves computations from one part of the program to another, and block ordering places program blocks in a consecutive sequence. Local instruction selection chooses instructions one program block at a time while global instruction selection does so for the entire function. LÄS MER

  7. 5. Managing the Complexity in Embedded and Cyber-Physical System Design : System Modeling and Design-Space Exploration

    Författare :Seyed Hosein Attarzadeh Niaki; Ingo Sander; Christian Haubelt; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : To cope with the increasing complexity of embedded and cyber-physical system design, different system-level design approaches are proposed which start from abstract models and implement them using design flows with high degrees of automation. However, creating models of such systems and also formulating the mathematical problems arising in these design flows are themselves challenging tasks. LÄS MER