|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 37 occurrences of 30 keywords
|
|
|
|
|
Results
Found 37 publication records. Showing 37 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | David Castro, Víctor M. Gulías, Clara Benac Earle, Lars-Åke Fredlund, Samuel Rivas |
A Case Study on Verifying a Supervisor Component Using McErlang.  |
Electr. Notes Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Víctor M. Gulías, Josep Silva Galiana |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Taibo, Víctor M. Gulías, Pablo Montero, Samuel Rivas |
GPU-based fast motion estimation for on-the-fly encoding of computer-generated video streams. |
NOSSDAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Montero, Javier Taibo, Víctor M. Gulías, Samuel Rivas |
Parallel Zigzag Scanning and Huffman Coding for a GPU-based MPEG-2 Encoder. |
ISM |
2010 |
DBLP DOI BibTeX RDF |
Zigzag Scan, Parallel Algorithm, GPU, GPGPU, MPEG, Video Compression, Huffman Coding |
| 1 | J. Santiago Jorge, Víctor M. Gulías, José Luis Freire |
Certifying properties of an efficient functional program for computing Gröbner bases. |
J. Symb. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Neil Walkinshaw, Thomas Arts, Clara Benac Earle, Francesco Cesarini, Lars-Åke Fredlund, Víctor M. Gulías, John Hughes, Simon J. Thompson |
Property-Based Testing - The ProTest Project. |
FMCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier París, Víctor M. Gulías, Carlos Abalde |
A Distributed System for Massive Generation of Synthetic Video Using GPUs. |
EUROCAST |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura M. Castro, Miguel A. Francisco, Víctor M. Gulías |
A Practical Methodology for Integration Testing. |
EUROCAST |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura M. Castro, Víctor M. Gulías, Carlos Abalde, J. Santiago Jorge |
Managing the Risks of Risk Management. |
Journal of Decision Systems |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Abalde, Víctor M. Gulías, Laura M. Castro |
Efficient Discovery of Widely Distributed and Non-volatile Resources on DHTs. |
ICIW |
2008 |
DBLP DOI BibTeX RDF |
Routing Index, Peer-to-Peer, Distributed Hash Table, Spanning-Tree, Resource Discovery |
| 1 | J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro |
Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
Formal methods, functional programming, software verification, real-world applications, theorem provers |
| 1 | J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro |
Certificación de Propiedades Usando Distintos Probadores de Teoremas: Un Caso de Estudio. |
JIISIC |
2007 |
DBLP BibTeX RDF |
|
| 1 | J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro |
Verification of Program Properties Using Different Theorem Provers: A Case Study. |
EUROCAST |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier París, Víctor M. Gulías, Alberto Valderruten, J. Santiago Jorge |
A Distributed Filesystem for Spare Storage. |
EUROCAST |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Abalde, Víctor M. Gulías, Laura M. Castro |
Towards a Decentralized and Structured Network of P2P Public Information Screens. |
EUROCAST |
2007 |
DBLP DOI BibTeX RDF |
P2P, Distributed Hash Table, Content Distribution Network |
| 1 | Carlos Abalde, Víctor M. Gulías, Laura M. Castro |
Extending the VoDKA Architecture with P2P Aggregated Content Management. |
ISCC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Víctor M. Gulías, Carlos Abalde, Laura M. Castro, Carlos Varela |
Formalisation of a Functional Risk Management System. |
ICEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Víctor M. Gulías, Miguel Barreiro, José Luis Freire |
VoDKA: Developing a Video-on-Demand Server using Distributed Functional Programming. |
J. Funct. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier París, Víctor M. Gulías, Alberto Valderruten |
A high performance Erlang Tcp/Ip stack. |
Erlang Workshop |
2005 |
DBLP DOI BibTeX RDF |
fault tolerance, distributed systems, functional programming, TCP/IP |
| 1 | Javier París, Víctor M. Gulías, Carlos Abalde |
CheapTB: A Low Cost of Operation Distributed Filesystem. |
EUROCAST |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Santiago Jorge, Víctor M. Gulías, José Luis Freire, Juan J. Sánchez |
Towards a Certified and Efficient Computing of Gröbner Bases. |
EUROCAST |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Simón Neira, Víctor M. Gulías |
Designing Transparent Location-Dependent Web-Based Applications on Mobile Environments. |
UCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Víctor M. Gulías, Carlos Abalde, Juan J. Sánchez |
Lambda Goes to Hollywood. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
distributed computing, design patterns, Functional programming, concurrent programming, real-world applications |
| 1 | José Luis Freire-Nistal, Antonio Blanco Ferro, Víctor M. Gulías, José E. Freire Brañas |
On the Strong Co-induction in Coq. |
EUROCAST |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Abalde, Víctor M. Gulías, José Luis Freire, Juan J. Sánchez, J. García-Tizón |
Development of a Scalable, Fault Tolerant, and Low Cost Cluster-Based e-Payment System with a Distributed Functional Kernel. |
EUROCAST |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacobo Barro, Juan Touriño, Ramon Doallo, Víctor M. Gulías |
Performance Modeling and Evaluation of MPI-I/O on a Cluster. |
J. Inf. Sci. Eng. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Ramón Basanta, Agis Piperides, Andreas Hadjioannou, Andreas Pitsiliides, Sergio Pazos, Víctor M. Gulías, Paz Ruiz |
E-Minder: Electronic Commerce Leveraging Network for Developing European Regions. |
ICWI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Juan Touriño, Jacobo Barro, Ramon Doallo, Víctor M. Gulías |
Performance analysis of MPI-I/O primitives on a PC cluster. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
NFS vs PVFS, ROMIO, cluster computing, parallel I/O, MPI-I/O |
| 1 | Miguel Barreiro, Víctor M. Gulías, Juan J. Sánchez, J. Santiago Jorge |
The Tertiary Level in a Functional Cluster-Based Hierarchical VoD Server. |
EUROCAST |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Valderruten, Javier Mosquera, Víctor M. Gulías |
Instrumentation of Synchronous Reactive Systems for Performance Analysis: A Case Study. |
Computer Performance Evaluation (Tools) |
1998 |
DBLP DOI BibTeX RDF |
Synchronous Reactive Models, Multithreaded Runtime Systems, Simulation and Monitoring, Functional Programming, Instrumentation, Performance Engineering, Model Development |
| 1 | R. Castro, Xesús M. López, Víctor M. Gulías |
An ODBC Interface for Objective Caml. |
APPIA-GULP-PRODE |
1998 |
DBLP BibTeX RDF |
|
| 1 | Víctor M. Gulías, Juan J. Quintela, José Luis Freire |
Transport Primitives for Functional Agents. |
APPIA-GULP-PRODE |
1997 |
DBLP BibTeX RDF |
|
| 1 | Víctor M. Gulías, J. Santiago Jorge, Juan J. Quintela, José Luis Freire |
From Sequential to Distributed Formal Proofs. |
EUROCAST |
1997 |
DBLP DOI BibTeX RDF |
Distributed Computing, Functional Programming, Formal Proofs |
| 1 | Víctor M. Gulías, Juan J. Quintela, José Luis Freire |
Towards High-Order Distribution in Functional Languages. |
APPIA-GULP-PRODE |
1996 |
DBLP BibTeX RDF |
|
| 1 | José Luis Freire, Víctor M. Gulías, Xesús M. López |
Experiencia en la Integración entre Gestores Relacionales y Lenguajes Functionales. |
JIDBD |
1996 |
DBLP BibTeX RDF |
|
| 1 | José Luis Freire, Basilio B. Fraguela, Víctor M. Gulías |
Extending CAML Light to Perform Distributed Computation. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | José Luis Freire, Víctor M. Gulías, J. M. Molinelli |
Utilizacion de la programacion funcional para la construccion de servidores en entornos heterogeneos. |
GULP-PRODE |
1994 |
DBLP BibTeX RDF |
|
Displaying result #1 - #37 of 37 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")