Structural methods for the synthesis of well-formed concurrent specificantions
Tesis doctoral de Josep Carmona Vargas The specification of a concurrent system describes a set of components that operate in […]
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.
Algoritmos de codificación binaria de simbolos para la sintesis lógica de circuitos integrados digitales.
Tesis doctoral de Manuel Martínez Pérez En esta tesis se aborda la solución eficiente, desde el punto de vista computacional,
Síntesis de circuitos asíncronos aplicado a comunicaciones: una aproximación micropipeline para qos-atm
Tesis doctoral de Ruben Virgilio Alarcon Mattuti En campo de redes de comunicaciones y los conmutadores atm (asynchronous transfer mode),
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
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