Researcher from CRACS visits the University of Berkeley
Eduardo Marques, researcher from CRACS – INESC Porto (Center for Research in Advanced Computing Systems) has visited the University of Berkeley in February, in the context of his doctoral work on the design and implementation of programming languages for embedded systems.
21st February 2008
Eduardo Marques is studying the mechanisms that enable the applications’ run-time patching, guaranteeing that, after that operation, the code complies with the real-time restrictions, in accordance with its original specification.
This work is the result of the collaboration between Luís Lopes (CRACS/University of Porto) and Christoph Kirsch (University of Salzburg).
BIP, February 2008