Víctor M. Gulías

Proceedings of the 1st International ICST Conference on Multimedia Services Access Networks, 2015

2013

Optimising lossless stages in a GPU-based MPEG encoder.

[BibT_eX]

[DOI]

Multim. Tools Appl., 2013

2011

Preface.

[BibT_eX]

[DOI]

Puri Arenas

Proceedings of the XI Spanish Conference on Programming and Languages, 2011

GPU-based fast motion estimation for on-the-fly encoding of computer-generated video streams.

[BibT_eX]

[DOI]

Proceedings of the Network and Operating System Support for Digital Audio and Video, 2011

2010

Preface.

[BibT_eX]

[DOI]

Josep Silva Galiana

Proceedings of the Tenth Spanish Conference on Programming and Languages, 2010

A Case Study on Verifying a Supervisor Component Using McErlang.

[BibT_eX]

[DOI]

Proceedings of the Tenth Spanish Conference on Programming and Languages, 2010

Parallel Zigzag Scanning and Huffman Coding for a GPU-based MPEG-2 Encoder.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Symposium on Multimedia, 2010

Property driven development in Erlang, by example.

[BibT_eX]

[DOI]

Samuel Rivas

Miguel Angel Francisco

Proceedings of the 5th Workshop on Automation of Software Test, 2010

2009

Certifying properties of an efficient functional program for computing Gröbner bases.

[BibT_eX]

[DOI]

J. Symb. Comput., 2009

Property-Based Testing - The ProTest Project.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

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

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory, 2009

A Practical Methodology for Integration Testing.

[BibT_eX]

[DOI]

Miguel A. Francisco

Proceedings of the Computer Aided Systems Theory, 2009

2008

Managing the Risks of Risk Management.

[BibT_eX]

[DOI]

J. Decis. Syst., 2008

Efficient Discovery of Widely Distributed and Non-volatile Resources on DHTs.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Internet and Web Applications and Services, 2008

Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2007

Erlang/OTP Framework for Complex Management Applications Development.

[BibT_eX]

Proceedings of the WEBIST 2007, 2007

Certificación de Propiedades Usando Distintos Probadores de Teoremas: Un Caso de Estudio.

[BibT_eX]

Proceedings of the VI Jornadas Iberoamericanas de Ingeniería del Software e Ingeniería del Conocimiento-JIISIC'07, 2007

Extending the VoDKA Architecture with P2P Aggregated Content Management.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Symposium on Computers and Communications (ISCC 2007), 2007

A Distributed Filesystem for Spare Storage.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory, 2007

Verification of Program Properties Using Different Theorem Provers: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory, 2007

Towards a Decentralized and Structured Network of P2P Public Information Screens.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory, 2007

2006

Formalisation of a Functional Risk Management System.

[BibT_eX]

Proceedings of the ICEIS 2006, 2006

2005

VoDKA: Developing a Video-on-Demand Server using Distributed Functional Programming.

[BibT_eX]

[DOI]

Miguel Barreiro

J. Funct. Program., 2005

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

[BibT_eX]

[DOI]

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

CheapTB: A Low Cost of Operation Distributed Filesystem.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory, 2005

Towards a Certified and Efficient Computing of Gröbner Bases.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory, 2005

A high performance Erlang Tcp/Ip stack.

[BibT_eX]

[DOI]

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

2004

Designing Transparent Location-Dependent Web-Based Applications on Mobile Environments.

[BibT_eX]

[DOI]

Simón Neira

Proceedings of the Ubiquitous Computing Systems, Second International Symposium, 2004

2003

Lambda Goes to Hollywood.

[BibT_eX]

[DOI]

Juan J. Sánchez

Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003

Building functional patterns for implementing distributed applications.

[BibT_eX]

[DOI]

Proceedings of the LANC '03 IFIP / ACM Latin American Networking Conference 2003, 2003

On the Strong Co-induction in Coq.

[BibT_eX]

[DOI]

José Luis Freire-Nistal

Antonio Blanco Ferro

José E. Freire Brañas

Proceedings of the Computer Aided Systems Theory, 2003

Development of a Scalable, Fault Tolerant, and Low Cost Cluster-Based e-Payment System with a Distributed Functional Kernel.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory, 2003

2002

Performance Modeling and Evaluation of MPI-I/O on a Cluster.

[BibT_eX]

[DOI]

J. Inf. Sci. Eng., 2002

Performance analysis of MPI-I/O primitives on a PC cluster.

[BibT_eX]

[DOI]

Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

E-Minder: Electronic Commerce Leveraging Network for Developing European Regions.

[BibT_eX]

Proceedings of the IADIS International Conference WWW/Internet 2002, 2002

2001

The Tertiary Level in a Functional Cluster-Based Hierarchical VoD Server.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory, 2001

1998

Instrumentation of Synchronous Reactive Systems for Performance Analysis: A Case Study.

[BibT_eX]

[DOI]

Javier Mosquera

Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1998

An ODBC Interface for Objective Caml.

[BibT_eX]

Ramón Castro

Xesús M. López

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997

From Sequential to Distributed Formal Proofs.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory, 1997

Transport Primitives for Functional Agents.

[BibT_eX]

Juan J. Quintela

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

Experiencia en la Integración entre Gestores Relacionales y Lenguajes Functionales.

[BibT_eX]

Xesús M. López

Proceedings of the I Jornadas de Investigación y Docencia en Bases de Datos, 1996

Towards High-Order Distribution in Functional Languages.

[BibT_eX]

Juan J. Quintela

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995

Extending CAML Light to Perform Distributed Computation.

[BibT_eX]

Basilio B. Fraguela

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994

Utilizacion de la programacion funcional para la construccion de servidores en entornos heterogeneos.

[BibT_eX]