Pablo Chico de Guzmán

16 papers A 1B 2C 4Misc 1Journal 6Unranked 1
YearRankTypeTitle / Venue / Authors
2018 A conf
Pipekit: A Deployment Tool with Advanced Scheduling and Inter-Service Communication for Multi-Tier Applications.
ICWS
Pablo Chico de Guzmán, Felipe Gorostiaga, César Sánchez
2018 — conf
i2kit: A Deployment Tool with the Simplicity of Containers and the Security of Virtual Machines.
WISE (1)
Pablo Chico de Guzmán, Felipe Gorostiaga, César Sánchez
2018 J jnl
i2kit: A Tool for Immutable Infrastructure Deployments based on Lightweight Virtual Machines specialized to run Containers.
CoRR
Pablo Chico de Guzmán, Felipe Gorostiaga, César Sánchez
2013 C conf
Supporting Pruning in Tabled LP.
PADL
Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo
2012 Misc conf
A General Implementation Framework for Tabled CLP.
FLOPS
Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey
2012 C conf
A Segment-Swapping Approach for Executing Trapped Computations.
PADL
Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
2012 — —
Estrategias Avanzadas de Tabulación y Paralelismo en Programas Lógicos = Advanced Evaluation Strategies for Tabling and Parallelism in Logic Programs.
Pablo Chico de Guzmán
2011 J jnl
Parallel Backtracking with Answer Memoing for Independent And-Parallelism
CoRR
Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
2011 J jnl
Parallel backtracking with answer memoing for independent and-parallelism.
Theory Pract. Log. Program.
Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
2010 J jnl
Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand Tabling
CoRR
Pablo Chico de Guzmán, Manuel Carro, David Scott Warren
2010 J jnl
Swapping evaluation: A memory-scalable solution for answer-on-demand tabling.
Theory Pract. Log. Program.
Pablo Chico de Guzmán, Manuel Carro, David Scott Warren
2009 J jnl
A Program Transformation for Continuation Call-Based Tabled Execution
CoRR
Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo
2009 B conf
A Tabling Implementation Based on Variables with Multiple Bindings.
ICLP
Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo
2009 C conf
Towards a Complete Scheme for Tabled Execution Based on Program Transformation.
PADL
Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo
2008 B conf
A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation.
ICLP
Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo
2008 C conf
An Improved Continuation Call-Based Implementation of Tabling.
PADL
Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva, Ricardo Rocha