Local Menu
Software Research Topics
Software optimisation technologies for multi-core processors
Explanation
To maximize efficiency and productivity of parallel programs for multi-core processors, a state-of-the-art programming model including the description method, performance tuning, and debugging will be developed in this project. This model can be extended to distributed calculation environments. To this end, the programming tools and libraries will be implemented and evaluated on actual media processing systems that use Cell BE, Spurs Engine or next-generation multi-core processors. The field of research is expected to cover that represented by the CGO, ASPLOS and ISCA conferences.
Knowledge and Skills required
Candidates should have general knowledge of computer science and parallel processing, and should preferably have in-depth knowledge of multi-core architecture, compiler optimization, and runtime environment.
Software design technology for dependable as well as cost-effective embedded systems
Explanation
The safety of modern software-intensive systems largely depends on the structure and quality of its embedded control software. Many system products of this kind, such as automobile and medical equipment, are required to be safe and affordable. This programme aims to create a new design method for achieving functional safety and cost efficiency, by combining formal verification and risk analysis. The field of research is expected to cover that represented by conferences such as ICSE, ISSTA DSN and SAFECOMP.
Knowledge and Skills required
Candidates are required to possess a high degree of professionalism in formal methods, an in-depth knowledge of software design, and a comprehensive knowledge of software engineering, as well as skills in programming in C, C++, Java, etc.
