BibSonomy publications for /author/Gul%C3%ADas http://www.bibsonomy.org/author/Gul%C3%ADas BibSonomy RSS Feed for /author/Gul%C3%ADas Efficient Discovery of Widely Distributed and Non-volatile Resources on DHTs. dblp http://www.bibsonomy.org/bibtex/2c6d9dd522b9be8679e650af4438dbbc5/dblp dblp 2008-08-19T00:00:00+02:00 dblp
Efficient Discovery of Widely Distributed and Non-volatile Resources on DHTs.
Carlos Abalde and Víctor M. Gulías and Laura M. Castro ICIW 370-376 (2008)
to dblp by dblp on 2008-08-19 00:00:00
]]> Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server. dblp http://www.bibsonomy.org/bibtex/2e1aab1df0551a860ec7bf40cda1b638b/dblp dblp 2008-08-04T00:00:00+02:00 dblp
Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server.
J. Santiago Jorge and Víctor M. Gulías and Laura M. Castro AISC/MKM/Calculemus 296-299 (2008)
to dblp by dblp on 2008-08-04 00:00:00
]]> Extending the VoDKA Architecture with P2P Aggregated Content Management. dblp http://www.bibsonomy.org/bibtex/2e127f0385f34ce2d7cd1ad8b9abf79a0/dblp dblp 2008-03-07T00:00:00+01:00 dblp
Extending the VoDKA Architecture with P2P Aggregated Content Management.
Carlos Abalde and Víctor M. Gulías and Laura M. Castro ISCC 1085-1090 (2007)
to dblp by dblp on 2008-03-07 00:00:00
]]> On the Strong Co-induction in Coq. dblp http://www.bibsonomy.org/bibtex/281f2815dd927a3ce283bb4e5aeb2f507/dblp dblp 2007-11-21T00:00:00+01:00 dblp
On the Strong Co-induction in Coq.
José Luis Freire-Nistal and Antonio Blanco Ferro and Víctor M. Gulías and José E. Freire Brañas EUROCAST 279-290 (2003)
to dblp by dblp on 2007-11-21 00:00:00
]]> Verification of Program Properties Using Different Theorem Provers: A Case Study. dblp http://www.bibsonomy.org/bibtex/2afa0d4f3fa265fee236d783fb3ec2bf4/dblp dblp 2007-11-21T00:00:00+01:00 dblp
Verification of Program Properties Using Different Theorem Provers: A Case Study.
J. Santiago Jorge and Víctor M. Gulías and Laura M. Castro EUROCAST 233-240 (2007)
to dblp by dblp on 2007-11-21 00:00:00
]]> Towards a Decentralized and Structured Network of P2P Public Information Screens. dblp http://www.bibsonomy.org/bibtex/2ef7885d7fa57e816a111a2fba65279b7/dblp dblp 2007-11-21T00:00:00+01:00 dblp
Towards a Decentralized and Structured Network of P2P Public Information Screens.
Carlos Abalde and Víctor M. Gulías and Laura M. Castro EUROCAST 217-224 (2007)
to dblp by dblp on 2007-11-21 00:00:00
]]> A Distributed Filesystem for Spare Storage. dblp http://www.bibsonomy.org/bibtex/2a3628da5a248468e06548c173d7d9eb9/dblp dblp 2007-11-21T00:00:00+01:00 dblp
A Distributed Filesystem for Spare Storage.
Javier París and Víctor M. Gulías and Alberto Valderruten and J. Santiago Jorge EUROCAST 249-256 (2007)
to dblp by dblp on 2007-11-21 00:00:00
]]> Performance Modeling and Evaluation of MPI-I/O on a Cluster. dblp http://www.bibsonomy.org/bibtex/2b942ede516ca6831ff0bb16d7a518c28/dblp dblp 2007-10-24T00:00:00+02:00 dblp
Performance Modeling and Evaluation of MPI-I/O on a Cluster.
Jacobo Barro and Juan Touriño and Ramon Doallo and Víctor M. Gulías J. Inf. Sci. Eng. 18 825-836 (2002)
to dblp by dblp on 2007-10-24 00:00:00
]]> VoDKA: Developing a Video-on-Demand Server using Distributed Functional Programming. dblp http://www.bibsonomy.org/bibtex/206ce5106e76acc40c61e0b9dda03c4ad/dblp dblp 2007-06-08T00:00:00+02:00 dblp
VoDKA: Developing a Video-on-Demand Server using Distributed Functional Programming.
Víctor M. Gulías and Miguel Barreiro and José Luis Freire J. Funct. Program. 15 403-430 (2005)
to dblp by dblp on 2007-06-08 00:00:00
]]> Certificación de Propiedades Usando Distintos Probadores de Teoremas: Un Caso de Estudio. dblp http://www.bibsonomy.org/bibtex/260f7d7c74b3d3b13e2454fdc17a5720e/dblp dblp 2007-06-07T00:00:00+02:00 dblp
Certificación de Propiedades Usando Distintos Probadores de Teoremas: Un Caso de Estudio.
J. Santiago Jorge and Víctor M. Gulías and Laura M. Castro JIISIC 27-34 (2007)
to dblp by dblp on 2007-06-07 00:00:00
]]>