People in the lab are very enthusiastic about what they do. The environment is very stimulating and soon you realize that most of the limits are those in your head.
Modeling and Optimization Case Studies for Clafer Tools
This project explores optimization problems taken from existing literature or inspired by industrial problems. These include:
1) Server allocation problems: given a set of services (e.g, Mail, Calendar, Search) with a given requirements (e.g., CPU and memory), and a set of machines (servers) with resource constraints (provided SPU and memory). The task is to distribute each service among several machines, so that all requirements and resource limits are satisfied, and the number of used machines is minimized.
2) Optimization of system architectures. Given software components and hardware topologies, the task is to distribute software components among compatible hardware components, so that the given constraints are satisfied, and to optimize this allocation with respect to cost, communication rate, or other objectives.
GitHub link: github.com/gsdlab/ClaferCaseStudies