Publications (12) Javier París Fernández publications

2010

  1. A survey of efficient resource discovery techniques on DHTs

    Handbook of Research on P2P and Grid Systems for Service-Oriented Computing: Models, Methodologies and Applications (IGI Global), pp. 64-87

  2. Increasing functional coverage by inductive testing: A case study

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2009

  1. A distributed system for massive generation of synthetic video using GPUs

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Automatic testing of TCP/IP implementations using quickcheck

    Erlang'09 - Proceedings of the 2009 ACM SIGPLAN Erlang Workshop, Co-located with the International Conference on Functional Programming, ICFP'09

  3. Evolución en la adaptación al EEES de la asignatura de algoritmos en la Facultad de Informática de A Coruña

    VII Jornades de Xarxes d'Investigació en Docència Universitària: la qualitat del procés d'ensenyança/aprenentatge universitari des de la perspectiva del canvi

  4. The foldl operator as a coequalizer using Coq

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2008

  1. Environment-independent methodology for accessing external data sources

    WSEAS Transactions on Information Science and Applications, Vol. 5, Núm. 9, pp. 1355-1364

2007

  1. A comparative performance evaluation of different implementations of the SOAP protocol

    Proceedings of the 5th IEEE European Conference on Web Services, ECOWS 07

  2. A distributed filesystem for spare storage

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2005

  1. A high performance Erlang Tcp/Ip stack

    Erlang'05 - Proceedings of the ACM SIGPLAN 2005 Erlang Workshop

  2. CheapTB: A low cost of operation distributed filesystem

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. Developing a functional Tcp/Ip stack oriented towards Tcp connection replication

    3rd International Latin American Networking Conference, LANC 2005