Tesis doctoral de alex Yakovlev

Información academica alex Yakovlev. Tesis donde alex Yakovlev ha sido autor, director o parte del tribunal.

Automatic pipelining of elastic systems

Tesis doctoral de Marc Galceran Oms The structure of the pipeline is one of the key decisions to be made […]

alex Yakovlev, Antonio Gonzalez Colas, gerard Berry berry, Jordi Cortadella Fortuny, luciano Lavagno, Marc Galceran Oms

The way of the lazy

Tesis doctoral de Marc Solé Simó This phd belongs to the field of formal verification. Formal verification uses mathematical reasoning

alex Yakovlev, enrique Pastor llorens, Jordi Cortadella Fortuny, Marc Solé Simó, Marco Antonio Peña Basurto, Robert Clariso Viladrosa

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

alex Yakovlev, jetty Kleijn, joaquin Gabarro valles, Jordi Cortadella Fortuny, José Manuel colom, Josep Carmona Vargas

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

alex Yakovlev, Dmitry Bufistov, Javier Campos laclaustra, Jordi Cortadella Fortuny, luciano Lavagno, Robert Lukas Mario Nieuwenhuis