Manuel Carro
Manuel Carro
IMDEA Software Institute and Universidad Politécnica de Madrid
E-mail confirmado em imdea.org
Título
Citado por
Citado por
Ano
An overview of Ciao and its design philosophy
MV Hermenegildo, F Bueno, M Carro, P López-García, E Mera, ...
arXiv preprint arXiv:1102.5497, 2011
1602011
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
1312013
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
1092014
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
1071997
The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C) LP Systems.
MV Hermenegildo, F Bueno, D Cabeza, M Carro, MJG de la Banda, ...
APPIA-GULP-PRODE, 105-110, 1996
1041996
Concurrency in Prolog Using Threads and a Shared Database.
M Carro, MV Hermenegildo
ICLP, 320-334, 1999
681999
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
512011
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
502010
Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems.
MV Hermenegildo, DC Gras, M Carro
ICLP, 631-645, 1995
491995
Some Paradigms for Visualizing Parallel Execution of Logic Programs.
M Carro, LMG Henríquez, MV Hermenegildo
ICLP 93, 184-201, 1993
421993
Improved compilation of Prolog to C using moded types and determinism information
J Morales, M Carro, M Hermenegildo
International Symposium on Practical Aspects of Declarative Languages, 86-103, 2004
39*2004
Tools for constraint visualisation: The VIFID/TRIFID tool
M Carro, M Hermenegildo
Analysis and Visualization Tools for Constraint Programming, 253-272, 2000
342000
Combining static analysis and profiling for estimating execution times
E Mera, P López-García, G Puebla, M Carro, MV Hermenegildo
International Symposium on Practical Aspects of Declarative Languages, 140-154, 2007
32*2007
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
322006
Relating data-parallelism and (and-) parallelism in logic programs
MV Hermenegildo, M Carro
Computer languages 22 (2-3), 143-163, 1996
32*1996
The CIAO prolog system: reference manual
F Bueno, D Cabeza, M Carro, M Hermenegildo, P López, G Puebla
312000
The Ciao System. Reference Manual (v1. 13)
F Bueno, D Cabeza, M Carro, M Hermenegildo, P López-Garcıa, ...
Distributed from the URL http://www. ciaohome. org, 2004
29*2004
An improved continuation call-based implementation of tabling
PC De Guzmán, M Carro, MV Hermenegildo, C Silva, R Rocha
International Symposium on Practical Aspects of Declarative Languages, 197-213, 2008
282008
A soft constraint-based approach to qos-aware service selection
MA Zemni, S Benbernou, M Carro
International Conference on Service-Oriented Computing, 596-602, 2010
272010
Sound multi-party business protocols for service networks
M Mancioppi, M Carro, WJ van den Heuvel, MP Papazoglou
International Conference on Service-Oriented Computing, 302-316, 2008
272008
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20