Listar Ciencias por título
Mostrando ítems 210-213 de 213
-
Trabajo Fin de Máster
Validación del flujo de diseño de sistemas on-chip basados en RISC-V mediante herramientas de código abierto dentro del programa chipIgnite de eFabless
(2023)Este trabajo se ha elaborado con el propósito de facilitar el acceso de nuevos usuarios al desarrollo de circuitos ...
-
Trabajo Fin de Máster
Verificación formal de la lógica de Hoare en Isabelle/HOL
(2016-09)Hoare logic is a formal system developed by C.A.R. Hoare. This logic was introduced to verify formally imperative programs. ...
-
Trabajo Fin de Máster
Vitamin D in the COVID-19 era
(2021)The rapid global spread of severe acute respiratory syndrome coronavirus 2 (SARS-CoV 2), the virus that causes coronavirus ...
-
Trabajo Fin de Máster
ΣΣ → YN transitions in the decay of 6 ΛΛ He
(2019-12)