Javier París

Publication Activity (10 Years)

Years Active: 2005-2010
Publications (10 Years): 0

Publications

Neil Walkinshaw, Kirill Bogdanov, John Derrick, Javier París
Increasing Functional Coverage by Inductive Testing: A Case Study. ICTSS (2010)
Javier París, Thomas Arts
Automatic testing of TCP/IP implementations using QuickCheck. Erlang Workshop (2009)
Antonio Blanco, Enrique Freire Brañas, José Luis Freire, Javier París
The Foldl Operator as a Coequalizer Using Coq. EUROCAST (2009)
Javier París, Víctor M. Gulías, Carlos Abalde
A Distributed System for Massive Generation of Synthetic Video Using GPUs. EUROCAST (2009)
José A. García, Roi Blanco, Antonio Blanco, Javier París
A Comparative Performance Evaluation of Different Implementations of the SOAP Protocol. ECOWS (2007)
Javier París, Víctor M. Gulías, Alberto Valderruten, J. Santiago Jorge
A Distributed Filesystem for Spare Storage. EUROCAST (2007)
Javier París, Víctor M. Gulías, Carlos Abalde
CheapTB: A Low Cost of Operation Distributed Filesystem. EUROCAST (2005)
Javier París, Alberto Valderruten, Víctor M. Gulías
Developing a functional Tcp/Ip stack oriented towards TCP connection replication. LANC (2005)
Javier París, Víctor M. Gulías, Alberto Valderruten
A high performance Erlang Tcp/Ip stack. Erlang Workshop (2005)