Jump to Navigation

Biblio

Found 202 results
[ Author(Desc)] Title Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
M
Merino, P., B. Rubio, and J. María Troya, "Una Máquina abstracta con unificación distribuida para Flat-Parlog", Actas de las I Jornadas sobre Programación Declarativa PRODE'91. Torremolinos (Málaga), 2-4 Octubre, pp. 421–432, nov, 1991.
Merino, P., Observadores lineales: un lenguaje de especificación de propiedades para verificación de protocolos, : Universida de Málaga, jun, 1998.
Merino, P., and J. María Troya, "A Logic based approach to validation and verification of computer protocols", Bulletin of the Association for Theoretical Computer Science, no. 59, pp. 109–124, jun, 1996.
Merino, P., and A. Salmeron, "Analysis and optimization of video download on mobile devices", XX Jornadas de Telecom I+D. Valladolid 27, 28 y 29 septiembre 2010 (CD-ROM), dec, 2010.
P
Panizo, L., and M-del-M. Gallardo, "Analyzing hybrid systems with JPF", María del Mar Gallardo; Mateu Villaret and Luis Iribarne (eds.). XII Jornadas sobre programación y lenguajes. (PROLE), Almería, 17 al 19 de septiembre de 2012: Universidad de Almería, pp. 235–249, sep, 2012.
Panizo, L., "Objetos activos", Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian, Málaga, Editorial Arguval, pp. 101–116, oct, 2010.
Panizo, L., and M-del-M. Gallardo, "Verifying hybrid systems with explicit model checkers", Lars-Åke Fredlund; Laura M. Castro (Eds.). XII Jornadas sobre Programación y Lenguajes (PROLE) y V Taller de Programación Funcional (TPF). Madrid, 17 a 20 de septiembre de 2013, pp. 1–15, sep, 2013.
Panizo, L., and M-del-M. Gallardo, "Generation of safe operations for dam management using formal methods", XX Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2012. Pamplona, 13-15 de junio de 2012, pp. 129–144, jun, 2012.
Panizo, L., M-del-M. Gallardo, P. Merino, D. Sanán, and A. Linares, "Dam management based on model checking techniques", 8th International conference on software engineering and formal methods. SEFM 2010: proceedings of the posters and tooldemo session. CNR, Pisa, Italy 13-18 september 2010, Pisa, Italy, Consiglio Nazionale delle Ricerche, pp. 9–13, oct, 2010.
Panizo, L., and M-del-M. Gallardo, "An Extension of Java PathFinder for Hybrid Systems", ACM SIGSOFT Software Engineering Notes, vol. 37, no. 6, New York, NY, USA, ACM, pp. 1–5, nov, 2012.
R
Recio, Á. Manuel, "Creación e instalación de aplicaciones", Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian, Málaga, Editorial Arguval, pp. 11–36, oct, 2010.
Rivas, F J., A. Díaz, and P. Merino, "Charactierizing traffic performance in cellular networks", IEEE Internet Computing, vol. 18, no. 1, Piscataway, N.Y. USA, IEEE, pp. 12–19, 2014.
Rivas, F J., A. Díaz, and P. Merino, "Tools and methods for characterization of traffic performance in cellular networks (Characterizing traffic performance in cellular networks)", IEEE Internet Computing, Piscataway, N.Y. USA, IEEE, pp. in press, dec, 2013.
Rivas, F J., A. Díaz, and P. Merino, "Obtaining more realistic cross-layer QoS measurements: a VoIP over LTE use case", Journal of Computer Networks and Communications, no. 2013: Hindawi Publishing Corporation, pp. 1–10, dec, 2013.
Rivas, F J., A. Díaz, and P. Merino, "Performance study of internet traffic on high speed railways", 2013 IEEE 14th International Symposium and Workshops on A world of wireless, Mobile and multimedia networks (WoWMoM). Digital proceedings. Madrid, Spain, June 4-7, 2013: IEEE Computer Society, pp. 1–9, 2013.
Rivas, F J., A. Díaz, and P. Merino, "Testing of LTE configurations and applications", En T. Korakis, M. Zink, and M. Ott (Eds.): TridentCom 2012, Berlin, Springer, pp. 417–418, mar, 2012.
Rodriguez, G., P. Merino, and M-del-M. Gallardo, "An Extension of the NS simulator for active network research", Computer Communications, vol. 25, pp. 189–197, oct, 2002.
Rodriguez, G.., and P. Merino, "Modeling and simulation of active network protocols", Ten-Hwang Lai (Ed.): Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan: ROC, pp. A43-A50, oct, 2000.
Rubio, B., P. Merino, and J. María Troya, "Una implementación distribuida de Flat-Parlog", Actas de Segunda Reunión sobre Paralelismo, San Lorenzo del Escorial (Madrid), feb, 1991.
Rus, F., P. Merino, and M. Díaz, "Paralelización de un algoritmo de validación de protocolos", J. M. Troya Linero y C. Rodríguez León (Eds.). I Jornadas de Informática, Puerto de la Cruz, 17-21 de Julio de 1995. Actas, pp. 405–414, oct, 1995.
S
Salmeron, A., and P. Merino, "On-the-fly VoIP call quality evaluation with improved E-model", Proceedings of the 8th ACM Workshop on Performance Monitoring and Measurement of Heterogeneous Wireless and Wirede Networks. PM²HW²N´13, November 3-8, 2013, Barcelona Spain, New York, pp. 145–151, 2013.
Salmeron, A., "", Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian, Málaga, Editorial Arguval, pp. 67–81, oct, 2010.
Salmeron, A., "Tipos, clases y convenciones de nombrado", Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian, Málaga, Editorial Arguval, pp. 37–49, oct, 2010.
Salmeron, A., and P. Merino, "Integration of model checking and simulation for protocol analysis", XX Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2012. Pamplona, 13-15 de junio de 2012, pp. 153–168, 2012.

Pages



Main menu 2

by Dr. Radut