Arquitectura de ordenadores | (2) |
ANTENAS DISEÑO CON AYUDA DE ORDENADOR ONDAS ELECTROMAGNETICAS SIMULACION | (1) |
Automated Certification Proof-carrying-code Programming Language Semantics Integration of Programming Concurrency Abstract Interpretation | (1) |
Automatización | (1) |
Certificación automática Código con Demostración asociada Semántica de Lenguajes de Programación Concurrencia Interpretación abstracta | (1) |
Más... |
1.
|
High performance Java for multi-core systems Ramos Garea, Sabela
|
2.
|
Técnicas y extensiones para Java de tiempo real distribuido Basanta Val, Pablo
|
3.
|
Design and Evaluation of Low-Latency Communication Middleware on High Performance Computing Systems Rey Expósito, Roberto
|
4.
|
Implementación en tarjetas inteligentes Java Card de protocolos de cifrado y descifrado basados en curvas elípticas Gayoso Martínez, Víctor
|
5.
|
Abstract Certification of Java Programs in Rewriting Logic Alba Castro, Mauricio Fernando
|
6.
|
Contribución al desarrollo de una interfaz gráfica de usuario para el diseño, optimización y análisis de antenas mediante el método de los momentos Tayebi, A.
|
7.
|
Sistema de planificación estocástico de proyectos: Implicaciones en la gestión de riesgos Agirre Pérez, Iñaki
|
8.
|
Plataformas interactivas de experimentación virtual y remota: aplicaciones de control y robótica Fábregas Acosta, Ernesto
|
9.
|
Content authentication and access control in pure peer-to-peer networks Palomar González, Esther
|
10.
|
Innovación en los métodos físicos aplicados en el ámbito de la Ingeniería mediante el uso de las nuevas tecnologías Fernández Garrido, Simón
|
11.
|
Discriminación de las variedades de café verde mediante técnicas de análisis multivariante Martín Valero, María Jesús
|
12.
|
Contributions to the analysis, simulation, and experimentation on event-based PID control systems Chacón Sombría, Jesús
|