Cookies

El sitio web de la UCLM utiliza cookies propias y de terceros con fines técnicos y de análisis.

Aviso de Cookies


Ponencia en SISTEDES 2022 sobre “Generación automática de circuitos de prueba para la verificación de algoritmos cuánticos deterministas”

21 de Septiembre del 2022






Nuestro compañero Antonio García de la Barrera Amo, presentó la publicación “Generación automática de circuitos de prueba para la verificación de algoritmos cuánticos deterministas”, en el cual se presenta un primer enfoque para el testing de circuitos cuánticos que por sus características, tienen un comportamiento determinista. Este trabajo es el primer paso hacia la definición del concepto de “caso de prueba cuántico” en un sentido más general, que abarque cualquier tipo de circuito cuántico.


Volver a Noticias