Æȷοì
Manuel Carro
Manuel Carro
IMDEA Software Institute and Universidad Politécnica de Madrid
imdea.orgÀÇ À̸ÞÀÏ È®ÀεÊ
Á¦¸ñ
Àοë
Àοë
¿¬µµ
An overview of Ciao and its design philosophy
MV Hermenegildo, F Bueno, M Carro, P López-García, E Mera, ...
Theory and Practice of Logic Programming 12 (1-2), 219-252, 2012
2152012
Comparing and combining predictive business process monitoring techniques
A Metzger, P Leitner, D Ivanović, E Schmieders, R Franklin, M Carro, ...
IEEE Transactions on Systems, Man, and Cybernetics: Systems 45 (2), 276-290, 2014
1732014
A survey on service quality description
K Kritikos, B Pernici, P Plebani, C Cappiello, M Comuzzi, S Benrernou, ...
ACM Computing Surveys (CSUR) 46 (1), 1-58, 2013
1642013
The Ciao prolog system
F Bueno, D Cabeza, M Carro, M Hermenegildo, P López-Garc©¥a, ...
Reference Manual. The Ciao System Documentation Series–TR CLIP3/97.1, School ¡¦, 1997
1231997
The CIAO multi-dialect compiler and system: An experimentation workbench for future (C) LP systems
MV Hermenegildo, F Bueno Carrillo, D Cabeza Gras, M Carro Liñares, ...
Informatica, 1996
1201996
Constraint answer set programming without grounding
J Arias, M Carro, E Salazar, K Marple, G Gupta
Theory and Practice of Logic Programming 18 (3-4), 337-354, 2018
1132018
Concurrency in prolog using threads and a shared database
M Carro, M Hermenegildo
771999
Constraint-based runtime prediction of SLA violations in service orchestrations
D Ivanović, M Carro, M Hermenegildo
International Conference on Service-Oriented Computing, 62-76, 2011
632011
Using attributed variables in the implementation of concurrent and parallel logic programming systems
M Hermenegildo, D Cabeza, M Carro
591995
Towards data-aware qos-driven adaptation for service orchestrations
D Ivanovic, M Carro, M Hermenegildo
2010 IEEE International Conference on Web Services, 107-114, 2010
522010
Justifications for goal-directed constraint answer set programming
J Arias, M Carro, Z Chen, G Gupta
arXiv preprint arXiv:2009.10238, 2020
492020
Some Paradigms for Visualizing Parallel Execution of Logic Programs.
M Carro, LMG Henríquez, MV Hermenegildo
ICLP 93, 184-201, 1993
48*1993
Improved compilation of Prolog to C using moded types and determinism information
J Morales, M Carro, M Hermenegildo
Practical Aspects of Declarative Languages: 6th International Symposium ¡¦, 2004
46*2004
Tools for constraint visualisation: The VIFID/TRIFID tool
M Carro, M Hermenegildo
Analysis and Visualization Tools for Constraint Programming: Constraint ¡¦, 2000
37*2000
The Ciao System. Ref. Manual (v1. 13)
F Bueno, D Cabeza, M Carro, M Hermenegildo, P López-Garc©¥a, ...
Technical report, CS School (UPM), 2006. Available at http://www. ciaohome. org, 2006
362006
Combining static analysis and profiling for estimating execution times
E Mera, P López-García, G Puebla, M Carro, MV Hermenegildo
Practical Aspects of Declarative Languages: 9th International Symposium ¡¦, 2007
35*2007
The CIAO prolog system: reference manual
F Bueno, D Cabeza, M Carro, M Hermenegildo, P López-Garc©¥a, ...
School of Computer Science, Technical University of Madrid (UPM), Tech. Rep ¡¦, 1997
351997
A soft constraint-based approach to qos-aware service selection
MA Zemni, S Benbernou, M Carro
Service-Oriented Computing: 8th International Conference, ICSOC 2010, San ¡¦, 2010
342010
Sound multi-party business protocols for service networks
M Mancioppi, M Carro, WJ Van den Heuvel, MP Papazoglou
Service-Oriented Computing–ICSOC 2008: 6th International Conference, Sydney ¡¦, 2008
342008
Relating data-parallelism and (and-) parallelism in logic programs
MV Hermenegildo, M Carro
Computer languages 22 (2-3), 143-163, 1996
34*1996
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20