Search for dissertations about: "villkorsprogrammering"
Showing result 1 - 5 of 7 swedish dissertations containing the word villkorsprogrammering.
-
1. Radiation Therapy Patient Scheduling: An Operations Research Approach
Abstract : 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. READ MORE
-
2. Generating Optimized and Secure Binary Code
Abstract : 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. READ MORE
-
3. Short-term Underground Mine Scheduling : An Industrial Application of Constraint Programming
Abstract : 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. READ MORE
-
4. Universal Instruction Selection
Abstract : 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. READ MORE
-
5. Managing the Complexity in Embedded and Cyber-Physical System Design : System Modeling and Design-Space Exploration
Abstract : 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. READ MORE