Avancerad sökning
Visar resultat 1 - 5 av 7 avhandlingar som matchar ovanstående sökkriterier.
1. Radiation Therapy Patient Scheduling: An Operations Research Approach
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
2. Generating Optimized and Secure Binary Code
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
3. Short-term Underground Mine Scheduling : An Industrial Application of Constraint Programming
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
4. Universal Instruction Selection
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
5. Managing the Complexity in Embedded and Cyber-Physical System Design : System Modeling and Design-Space Exploration
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