Arquitectura de ordenadores | (2) |
Automated Certification Proof-carrying-code Programming Language Semantics Integration of Programming Concurrency Abstract Interpretation | (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.
|
Design and Evaluation of Low-Latency Communication Middleware on High Performance Computing Systems Rey Expósito, Roberto
|
3.
|
Abstract Certification of Java Programs in Rewriting Logic Alba Castro, Mauricio Fernando
|
4.
|
Content authentication and access control in pure peer-to-peer networks Palomar González, Esther
|