Relative timing based verification of concurrent systems
Tesis doctoral de Marco Antonio Peña Basurto Datos académicos de la tesis doctoral «Relative timing based verification of concurrent […]
Tesis doctoral de Jordi Cortadella Fortuny
Información academica Jordi Cortadella Fortuny. Tesis donde Jordi Cortadella Fortuny ha sido autor, director o parte del tribunal.
Desing and análisis of variable-delay arithmetic units
Tesis doctoral de Gianluca Corneta Datos académicos de la tesis doctoral «Desing and análisis of variable-delay arithmetic units« Título
Automatic synthesis and optimization of chip multiprocessors
Tesis doctoral de Nikita Nikitin Nikitinla tecnología de microprocesadores ha experimentado un crecimiento importante durante las últimas décadas. La rápida
Towards the automatic synthesis of asynchronous communication mechanisms
Tesis doctoral de Kyller Costa GorgÁ´nio The correct transfer of data between concurrent processes is important in the exploitation of
Perfomance optimization of elastic systems
Tesis doctoral de Dmitry Bufistov An elastic system (es) is a set of interconnected computational nodes. The main property of
Automatic generation of polynomial invarianst for systema verification
Tesis doctoral de Enric Rodríguez Carbonell Datos académicos de la tesis doctoral «Automatic generation of polynomial invarianst for systema
The dpll(t) approach to satisfiability y modulo theories
Tesis doctoral de Albert Oliveras Llunell When solving a problem by means of automated theorem proving there are two important
Metodos para la distribucion de funcionalidad entre recursos hardware y software en el diseño de sistemas heterogeneos.
Tesis doctoral de María Luisa López Vallejo En esta tesis doctoral se presenta el estudio de una de las etapas
Symbolic analysis of switch-level circuits.
Tesis doctoral de LLuis Ribas Xirgo La verificacion de circuitos mediante tecnicas simbolicas permite reducir el numero de pasos hacia
Mapatge tecnologic orientat a generadors de moduls.
Tesis doctoral de Jordi Riera Baburés Las prestaciones exigidas a los circuitos integrados de aplicacion especifica actuales son cada vez