Now showing items 1-1 of 1

    • Control-flow recovery validation using microarchitectural invariants 

      Carretero Casado, Javier Sebastián; Abella Ferrer, Jaume; Vera Gómez, Javier; Chaparro Valero, Pedro Alonso (2011)
      Conference report
      Restricted access - publisher's policy
      Processors' design complexity increases with transistors' growing density. At the same time, market competence requires a decreasing time-to-market, and therefore, reduced validation time. Such time reduction imposes new ...