Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
DE GUZM'AN, PABLO CHICO
95  Ergebnisse:
Personensuche X
?
1

$$\textit{i2kit}$$: A Deployment Tool with the Simplicity o..:

, In: Web Information Systems Engineering – WISE 2018; Lecture Notes in Computer Science,
de Guzmán, Pablo Chico ; Gorostiaga, Felipe ; Sánchez, César - p. 81-95 , 2018
Link: https://doi.org/10.1007/..
 
?
2

Parallel backtracking with answer memoing for independent a..:

DE GUZMÁN, PABLO CHICO ; CASAS, AMADEO ; CARRO, MANUEL.
Theory and Practice of Logic Programming.  11 (2011)  4-5 - p. 555-574 , 2011
Link: https://doi.org/10.1017/..
 
?
3

Swapping evaluation: A memory-scalable solution for answer-..:

DE GUZM'AN, PABLO CHICO ; CARRO, MANUEL ; WARREN, DAVID S.
Theory and Practice of Logic Programming.  10 (2010)  4-6 - p. 401-416 , 2010
Link: https://doi.org/10.1017/..
 
?
4

Pipekit: A Deployment Tool with Advanced Scheduling and Int..:

, In: 2018 IEEE International Conference on Web Services (ICWS),
Chico de Guzman, Pablo ; Gorostiaga, Felipe ; Sanchez, Cesar - p. 379-382 , 2018
Link: https://doi.org/10.1109/..
 
?
5

A Segment-Swapping Approach for Executing Trapped Computati..:

, In: Practical Aspects of Declarative Languages; Lecture Notes in Computer Science,
Chico de Guzmán, Pablo ; Casas, Amadeo ; Carro, Manuel. - p. 138-152 , 2012
Link: https://doi.org/10.1007/..
 
?
6

A General Implementation Framework for Tabled CLP:

, In: Functional and Logic Programming; Lecture Notes in Computer Science,
Chico de Guzmán, Pablo ; Carro, Manuel ; Hermenegildo, Manuel V.. - p. 104-119 , 2012
Link: https://doi.org/10.1007/..
 
?
7

A general implementation framework for tabled CLP:

, In: Proceedings of the 11th international conference on Functional and Logic Programming,
Chico de Guzmán, Pablo ; Carro, Manuel ; Hermenegildo, Manuel V.. - p. 104-119 , 2012
Link: https://dl.acm.org/doi/1..
 
?
8

i2kit: A Tool for Immutable Infrastructure Deployments base..:

de Guzman, Pablo Chico ; Gorostiaga, Felipe ; Sanchez, Cesar
http://arxiv.org/abs/1802.10375.  , 2018
Link: http://arxiv.org/abs/180..
 
?
9

Parallel Backtracking with Answer Memoing for Independent A..:

de Guzmán, Pablo Chico ; Casas, Amadeo ; Carro, Manuel.
http://arxiv.org/abs/1107.4724.  , 2011
Link: http://arxiv.org/abs/110..
 
?
10

Swapping Evaluation: A Memory-Scalable Solution for Answer-..:

de Guzman, Pablo Chico ; Carro, Manuel ; Warren, David S
http://arxiv.org/abs/1007.3961.  , 2010
Link: http://arxiv.org/abs/100..
 
?
11

A Program Transformation for Continuation Call-Based Tabled..:

de Guzman, Pablo Chico ; Carro, Manuel ; Hermenegildo, Manuel V
http://arxiv.org/abs/0901.3906.  , 2009
Link: http://arxiv.org/abs/090..
 
?
12

i2kit: A Deployment Tool with the Simplicity of Containers ..:

Pablo Chico de Guzmán ; Felipe Gorostiaga ; César Sánchez
https://zenodo.org/communities/elastest.  , 2019
Link: https://zenodo.org/recor..
 
?
13

Pipekit: A Deployment Tool with Advanced Scheduling and Int..:

Pablo Chico de Guzmán ; Felipe Gorostiaga ; César Sánchez
info:eu-repo/grantAgreement/EC/H2020/731535/.  , 2018
Link: https://zenodo.org/recor..
 
?
14

Supporting pruning in tabled LP:

Chico de Guzmán, Pablo ; Hermenegildo, Manuel V ; Carro Liñares, Manuel
http://link.springer.com/chapter/10.1007%2F978-3-642-45284-0_5.  , 2013
Link: https://oa.upm.es/29547/
 
?
15

A segment-swapping approach for executing trapped computati..:

Chico de Guzmán, Pablo ; Casas, Amadeo ; Carro Liñares, Manuel.
http://link.springer.com/chapter/10.1007%2F978-3-642-27694-1_11.  , 2012
Link: https://oa.upm.es/14839/
 
1-15