Pablo Lamilla Álvarez

Publication Activity (10 Years)

Years Active: 2011-2014
Publications (10 Years): 0

Top Topics

Approximation Ratio

Automatic Programming

Formal Verification

Top Venues

IEICE Trans. Inf. Syst.

Publications

Pablo Lamilla Álvarez, Yoshiaki Takata
A Formal Verification of a Subset of Information-Based Access Control Based on Extended Weighted Pushdown System. IEICE Trans. Inf. Syst. (5) (2014)
Pablo Lamilla Álvarez, Yoshiaki Takata
An HBAC-based approximation for IBAC programs. SIN (2013)
Pablo Lamilla Álvarez, Shinichi Yamagiwa
Invitation to OpenCL. ICNC (2011)
Pablo Lamilla Álvarez, Shinichi Yamagiwa, Masahiro Arai, Koichi Wada
Elimination Techniques of Redundant Data Transfers Among GPUs and CPU on Recursive Stream-Based Applications. IPDPS Workshops (2011)
Pablo Lamilla Álvarez, Shinichi Yamagiwa, Masahiro Arai, Koichi Wada
A Uniform Platform to Support Multigenerational GPUs for High Performance Stream-based Computing. Int. J. Netw. Comput. 1 (2) (2011)