Jiménez Pérez, Víctor Javier (Date of defense: 2016-10-20)
Increasing processors' clock frequency has traditionally been one of the largest drivers of performance improvements for computing systems. In the first half of the 2000s, however, it became clear that ...
Jalle Ibarra, Javier (Date of defense: 2016-07-18)
Critical Real-Time Embedded Systems (CRTES) follow a verification and validation process on the timing and functional correctness. This process includes the timing analysis that provides Worst-Case ...