Investigador do CRACS visita Universidade de Berkeley
Eduardo Marques, investigador do CRACS - INESC Porto LA (Center for Research in Advanced Computing Systems), visita durante o mês de Fevereiro a Universidade de Berkeley, no âmbito do seu trabalho de doutoramento que incide sobre o desenho e implementação de linguagens de programação para sistemas embebidos.
21 fevereiro 2008
Em particular, Eduardo Marques estuda mecanismos que permitam fazer o "run-time patching" de aplicações, garantindo que após essa operação, o código cumpre as restrições de tempo-real a que está sujeito de acordo com a sua especificação original.
Este trabalho insere-se numa colaboração entre Luís Lopes (CRACS/Universidade do Porto) e Christoph Kirsch (Universidade de Salzburgo).
BIP de Fevereiro 2008