Javier París

According to our database, Javier París authored at least 9 papers between 2005 and 2010.

Collaborative distances:

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

2010

Increasing Functional Coverage by Inductive Testing: A Case Study.

Neil Walkinshaw, Kirill Bogdanov, John Derrick, Javier París

Proceedings of the Testing Software and Systems, 2010

2009

A Distributed System for Massive Generation of Synthetic Video Using GPUs.

Javier París, Víctor M. Gulías, Carlos Abalde

Proceedings of the Computer Aided Systems Theory, 2009

The Foldl Operator as a Coequalizer Using Coq.

Antonio Blanco, Enrique Freire Brañas, José Luis Freire, Javier París

Proceedings of the Computer Aided Systems Theory, 2009

Automatic testing of TCP/IP implementations using QuickCheck.

Javier París, Thomas Arts

Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, 2009

2007

A Distributed Filesystem for Spare Storage.

Javier París, Víctor M. Gulías, Alberto Valderruten, J. Santiago Jorge

Proceedings of the Computer Aided Systems Theory, 2007

A Comparative Performance Evaluation of Different Implementations of the SOAP Protocol.

José A. García, Roi Blanco, Antonio Blanco, Javier París

Proceedings of the Fifth IEEE European Conference on Web Services (ECOWS 2007), 2007

2005

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

Javier París, Alberto Valderruten, Víctor M. Gulías

Proceedings of the 3rd International Latin American Networking Conference, 2005

CheapTB: A Low Cost of Operation Distributed Filesystem.

Javier París, Víctor M. Gulías, Carlos Abalde

Proceedings of the Computer Aided Systems Theory, 2005

A high performance Erlang Tcp/Ip stack.

Javier París, Víctor M. Gulías, Alberto Valderruten

Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, 2005