Pablo Lamilla Álvarez

According to our database, Pablo Lamilla Álvarez authored at least 5 papers between 2011 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2014

A Formal Verification of a Subset of Information-Based Access Control Based on Extended Weighted Pushdown System.

Pablo Lamilla Álvarez, Yoshiaki Takata

IEICE Trans. Inf. Syst., 2014

2013

An HBAC-based approximation for IBAC programs.

Pablo Lamilla Álvarez, Yoshiaki Takata

Proceedings of the 6th International Conference on Security of Information and Networks, 2013

2011

A Uniform Platform to Support Multigenerational GPUs for High Performance Stream-based Computing.

Pablo Lamilla Álvarez, Shinichi Yamagiwa, Masahiro Arai, Koichi Wada

Int. J. Netw. Comput., 2011

Elimination Techniques of Redundant Data Transfers Among GPUs and CPU on Recursive Stream-Based Applications.

Pablo Lamilla Álvarez, Shinichi Yamagiwa, Masahiro Arai, Koichi Wada

Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

Invitation to OpenCL.

Pablo Lamilla Álvarez, Shinichi Yamagiwa

Proceedings of the Second International Conference on Networking and Computing, 2011