research on programming models for critical embedded systems in charge of controlling fundamental parts of cars, airplanes and satellites. Our work is mainly done in the context of bilateral projects with several processor companies as well as several European-funded projects. For a complete list of publications of the group in the last years, please visit:
The objective of this position is to design hardware accelerator features for embedded platforms used in critical systems and in particular in the space domain, as well as their software support in compilers. The work involves development in...