Buscar en RiuNet

Listar

Mostrando ítems 1-3 de 3

Adaptación del sistema operativo PartiKle a sistemas empotrados basados en ARM7. Caso de estudio del robot Micro BIRO

Peiró Frasquet, Salvador (Universitat Politècnica de València, 2011-10-27)

En este texto se describe la puesta a punto desde cero del entorno de programación para desarrollar aplicaciones que se ejecuten sobre los sistemas LPC2000 con el SOTR PaRTiKle [1]. Dentro del entorno de programación se ...
An analysis on the impact and detection of kernel stack infoleaks

Peiró Frasquet, Salvador; Muñoz Alcobendas, Manuel; Crespo Lorente, Alfons (Oxford University Press (OUP), 2016)

[EN] The Linux kernel has become a fundamental component of mainstream computing solutions, now being used in a wide range of applications ranging from consumer electronics to cloud and server solutions. Being expected to ...
Metodología para hipervisores seguros utilizando técnicas de validación formal

Peiró Frasquet, Salvador (Universitat Politècnica de València, 2016-04-29)

[EN] The availability of new processors with more processing power for embedded systems has raised the development of applications that tackle problems of greater complexity. Currently, the embedded applications have more ...

Mostrando ítems 1-3 de 3