Segui
Manuel Carro
Manuel Carro
IMDEA Software Institute and Universidad Politécnica de Madrid
Email verificata su imdea.org
Titolo
Citata da
Citata da
Anno
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
2212012
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
1852014
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
1722013
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
1392018
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
1241997
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
1161996
Concurrency in prolog using threads and a shared database
M Carro, M Hermenegildo
771999
Justifications for goal-directed constraint answer set programming
J Arias, M Carro, Z Chen, G Gupta
arXiv preprint arXiv:2009.10238, 2020
642020
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
Some paradigms for visualizing parallel execution of logic programs
M Carro, L Gómez, M Hermenegildo
49*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
45*2004
Modeling and reasoning in event calculus using goal-directed constraint answer set programming
J Arias, M Carro, Z Chen, G Gupta
Theory and Practice of Logic Programming 22 (1), 51-80, 2022
412022
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
High-level languages for small devices: a case study
M Carro, JF Morales, HL Muller, G Puebla, M Hermenegildo
Proceedings of the 2006 international conference on Compilers, architecture …, 2006
342006
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20