


Остановите войну!
for scientists:
Manuel Carro
Person information

Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [j18]Joaquín Arias
, Manuel Carro, Zhuo Chen, Gopal Gupta:
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming. Theory Pract. Log. Program. 22(1): 51-80 (2022) - [c72]Joaquín Arias
, Manuel Carro
, Gopal Gupta
:
Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming. PADL 2022: 117-134 - [i20]Joaquín Arias, Seppo Törmä, Manuel Carro, Gopal Gupta:
Building Information Modeling Using Constraint Logic Programming. CoRR abs/2205.08572 (2022) - 2021
- [c71]Joaquín Arias, Gopal Gupta, Manuel Carro:
A Short Tutorial on s(CASP), a Goal-directed Execution of Constraint Answer Set Programs. ICLP Workshops 2021 - [i19]Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta:
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming. CoRR abs/2106.14566 (2021) - [i18]Joaquín Arias, Manuel Carro, Gopal Gupta:
Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming. CoRR abs/2110.12053 (2021) - 2020
- [c70]Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta:
Justifications for Goal-Directed Constraint Answer Set Programming. ICLP Technical Communications 2020: 59-72 - [i17]Joaquín Arias, Manuel Carro:
A Theoretical Study of (Full) Tabled Constraint Logic Programming. CoRR abs/2009.14430 (2020)
2010 – 2019
- 2019
- [j17]Joaquín Arias
, Manuel Carro
:
Description, Implementation, and Evaluation of a Generic Design for Tabled CLP. Theory Pract. Log. Program. 19(3): 412-448 (2019) - [j16]Joaquín Arias
, Manuel Carro
:
Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP. Theory Pract. Log. Program. 19(5-6): 1107-1123 (2019) - [c69]Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta:
Constraint Answer Set Programming without Grounding and its Applications. Datalog 2019: 22-26 - [c68]Joaquín Arias
, Zhuo Chen
, Manuel Carro
, Gopal Gupta
:
Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming. LOPSTR 2019: 139-155 - [c67]Joaquín Arias
, Manuel Carro
:
Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP. PADL 2019: 98-114 - [i16]Joaquín Arias, Manuel Carro:
Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP. CoRR abs/1908.00104 (2019) - 2018
- [j15]Joaquín Arias
, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta:
Constraint Answer Set Programming without Grounding. Theory Pract. Log. Program. 18(3-4): 337-354 (2018) - [i15]Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta:
Constraint Answer Set Programming without Grounding. CoRR abs/1804.11162 (2018) - [i14]Joaquín Arias, Manuel Carro:
Description, Implementation, and Evaluation of a Generic Design for Tabled CLP. CoRR abs/1809.05771 (2018) - 2017
- [c66]Andreas Metzger, Philipp Leitner, Dragan Ivanovic, Eric Schmieders, Rod Franklin, Manuel Carro, Schahram Dustdar, Klaus Pohl:
Vergleich und Kombination von Techniken des Predictive Business Process Monitoring. Software Engineering 2017: 79-80 - 2016
- [j14]José F. Morales, Manuel Carro
, Manuel V. Hermenegildo:
Description and Optimization of Abstract Machines in a Dialect of Prolog. Theory Pract. Log. Program. 16(1): 1-58 (2016) - [j13]Manuel Carro
, Andy King:
Introduction to the 32nd International Conference on Logic Programming Special Issue. Theory Pract. Log. Program. 16(5-6): 509-514 (2016) - [c65]Jan Kuper, Lutz Schubert, Kilian Kempf, Colin W. Glass, Daniel Rubio Bonilla, Manuel Carro:
Program transformations in the POLCA project. DATE 2016: 882-887 - [c64]Joaquín Arias
, Manuel Carro
:
Description and evaluation of a generic design to integrate CLP and tabled execution. PPDP 2016: 10-23 - [c63]Salvador Tamarit
, Julio Mariño, Guillermo Vigueras, Manuel Carro
:
Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems. PROLE 2016: 34-51 - [c62]Guillermo Vigueras, Manuel Carro
, Salvador Tamarit
, Julio Mariño:
Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code. PROLE 2016: 52-67 - [e4]Manuel Carro, Andy King, Neda Saeedloei, Marina De Vos:
Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016 TCs, October 16-21, 2016, New York City, USA. OASIcs 52, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-007-1 [contents] - [i13]Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro:
Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems. CoRR abs/1603.03011 (2016) - [i12]Guillermo Vigueras, Manuel Carro, Salvador Tamarit, Julio Mariño:
Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code. CoRR abs/1603.03022 (2016) - [i11]Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro:
Proceedings of the First Workshop on Program Transformation for Programmability in Heterogeneous Architectures. CoRR abs/1603.03488 (2016) - [i10]Manuel Carro, Andy King:
Papers presented at the 32nd International Conference on Logic Programming (ICLP 2016). CoRR abs/1608.05440 (2016) - 2015
- [j12]Andreas Metzger, Philipp Leitner, Dragan Ivanovic, Eric Schmieders, Rod Franklin, Manuel Carro
, Schahram Dustdar
, Klaus Pohl:
Comparing and Combining Predictive Business Process Monitoring Techniques. IEEE Trans. Syst. Man Cybern. Syst. 45(2): 276-290 (2015) - [c61]Joaquín Arias, Manuel Carro:
Towards a Generic Interface to Integrate CLP and Tabled Execution (Extended Abstract). ICLP (Technical Communications) 2015 - [c60]Salvador Tamarit
, Guillermo Vigueras, Manuel Carro
, Julio Mariño:
A Haskell Implementation of a Rule-Based Program Transformation for C Programs. PADL 2015: 105-114 - 2014
- [c59]Dragan Ivanovic, Manuel Carro
:
Transforming Service Compositions into Cloud-Friendly Actor Networks. ICSOC 2014: 291-305 - [c58]Dragan Ivanovic, Manuel Carro
, Peerachai Kaowichakorn:
Towards QoS Prediction Based on Composition Structure Analysis and Probabilistic Models. ICSOC 2014: 394-402 - [i9]José F. Morales, Manuel Carro, Manuel V. Hermenegildo:
Description and Optimization of Abstract Machines in a Dialect of Prolog. CoRR abs/1411.5573 (2014) - 2013
- [j11]Dragan Ivanovic, Manuel Carro
, Manuel V. Hermenegildo
:
A sharing-based approach to supporting adaptation in service compositions. Computing 95(6): 453-492 (2013) - [j10]Kyriakos Kritikos
, Barbara Pernici
, Pierluigi Plebani
, Cinzia Cappiello
, Marco Comuzzi
, Salima Benbernou, Ivona Brandic
, Attila Kertész
, Michael Parkin, Manuel Carro
:
A survey on service quality description. ACM Comput. Surv. 46(1): 1:1-1:58 (2013) - [j9]Manuel Carro
, Ángel Herranz-Nieva
, Julio Mariño:
A model-driven approach to teaching concurrency. ACM Trans. Comput. Educ. 13(1): 5:1-5:19 (2013) - [c57]Dragan Ivanovic, Peerachai Kaowichakorn, Manuel Carro
:
Towards QoS prediction based on composition structure analysis and probabilistic environment models. PESOS@ICSE 2013: 11-20 - [c56]Pablo Chico de Guzmán, Manuel Carro
, Manuel V. Hermenegildo
:
Supporting Pruning in Tabled LP. PADL 2013: 60-76 - [c55]Zoé Drey, José F. Morales, Manuel V. Hermenegildo
, Manuel Carro
:
Reversible Language Extensions and Their Application in Debugging. PADL 2013: 206-221 - 2012
- [j8]Manuel V. Hermenegildo
, Francisco Bueno, Manuel Carro
, Pedro López-García
, Edison Mera, José F. Morales, Germán Puebla:
An overview of Ciao and its design philosophy. Theory Pract. Log. Program. 12(1-2): 219-252 (2012) - [j7]José F. Morales, Rémy Haemmerlé, Manuel Carro
, Manuel V. Hermenegildo
:
Lightweight compilation of (C)LP to JavaScript. Theory Pract. Log. Program. 12(4-5): 755-773 (2012) - [c54]George Baryannis
, Manuel Carro
, Dimitris Plexousakis:
Deriving Specifications for Composite Web Services. COMPSAC 2012: 432-437 - [c53]Pablo Chico de Guzmán, Manuel Carro
, Manuel V. Hermenegildo
, Peter J. Stuckey:
A General Implementation Framework for Tabled CLP. FLOPS 2012: 104-119 - [c52]Dimka Karastoyanova
, Dragan Ivanovic, Zsolt Németh, Manuel Carro
, Claudia Di Napoli
, Maurizio Giordano
, Cesare Pautasso:
Research challenges on service technology foundations. S-Cube@ICSE 2012: 27-33 - [c51]Dragan Ivanovic, Manuel Carro
, Manuel V. Hermenegildo
:
Exploring the impact of inaccuracy and imprecision of QoS assumptions on proactive constraint-based QoS prediction for service orchestrations. PESOS@ICSE 2012: 29-35 - [c50]Dragan Ivanovic, Manuel Carro
, Manuel V. Hermenegildo
:
Analyzing service-oriented systems using their data and structure. S-Cube@ICSE 2012: 47-48 - [c49]Dragan Ivanovic, Manuel Carro
, Manuel V. Hermenegildo:
A Constraint-Based Approach to Quality Assurance in Service Choreographies. ICSOC 2012: 252-267 - [c48]Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro
, Manuel V. Hermenegildo
:
A Segment-Swapping Approach for Executing Trapped Computations. PADL 2012: 138-152 - [i8]José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo:
Lightweight compilation of (C)LP to JavaScript. CoRR abs/1210.2864 (2012) - 2011
- [j6]Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro
, Manuel V. Hermenegildo
:
Parallel backtracking with answer memoing for independent and-parallelism. Theory Pract. Log. Program. 11(4-5): 555-574 (2011) - [c47]Dragan Ivanovic, Manuel Carro
, Manuel V. Hermenegildo
:
Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis. IEEE SCC 2011: 120-127 - [c46]Manuel Carro
, Dimka Karastoyanova
, Grace A. Lewis
, Anna Liu:
Third international workshop on principles of engineering service-oriented systems: (PESOS 2011). ICSE 2011: 1218-1219 - [c45]Dragan Ivanovic, Manuel Carro
, Manuel V. Hermenegildo:
Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations. ICSOC 2011: 62-76 - [c44]Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro
, Pedro López-García, Rémy Haemmerlé, Edison Mera, José F. Morales, Germán Puebla:
An Overview of the Ciao System. RuleML Europe 2011: 2 - [e3]Manuel Carro, Dimka Karastoyanova, Grace A. Lewis, Anna Liu:
Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems, PESOS 2011, Waikiki, Honolulu, HI, USA, May 23-24, 2011. ACM 2011, ISBN 978-1-4503-0591-4 [contents] - [e2]Manuel Carro, John H. Reppy:
Proceedings of the POPL 2011 Workshop on Declarative Aspects of Multicore Programming, DAMP 2011, Austin, TX, USA, January 23, 2011. ACM 2011, ISBN 978-1-4503-0486-3 [contents] - [r2]Manuel Carro
, Manuel V. Hermenegildo:
Logic Languages. Encyclopedia of Parallel Computing 2011: 1057-1068 - [i7]Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, German Puebla:
An overview of Ciao and its design philosophy. CoRR abs/1102.5497 (2011) - [i6]Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo:
Parallel Backtracking with Answer Memoing for Independent And-Parallelism. CoRR abs/1107.4724 (2011) - 2010
- [j5]Pablo Chico de Guzmán, Manuel Carro
, David Scott Warren:
Swapping evaluation: A memory-scalable solution for answer-on-demand tabling. Theory Pract. Log. Program. 10(4-6): 401-416 (2010) - [c43]Dragan Ivanovic, Martin Treiber, Manuel Carro
, Schahram Dustdar
:
Building Dynamic Models of Service Compositions with Simulation of Provision Resources. ER 2010: 288-301 - [c42]Dragan Ivanovic, Manuel Carro
, Manuel V. Hermenegildo:
Automatic Fragment Identification in Workflows Based on Sharing Analysis. ICSOC 2010: 350-364 - [c41]Mohamed Anis Zemni, Salima Benbernou, Manuel Carro
:
A Soft Constraint-Based Approach to QoS-Aware Service Selection. ICSOC 2010: 596-602 - [c40]Dragan Ivanovic, Manuel Carro
, Manuel V. Hermenegildo
:
Towards Data-Aware QoS-driven Adaptation for Service Orchestrations. ICWS 2010: 107-114 - [p2]Salima Benbernou, Ivona Brandic
, Cinzia Cappiello
, Manuel Carro
, Marco Comuzzi
, Attila Kertész
, Kyriakos Kritikos
, Michael Parkin, Barbara Pernici
, Pierluigi Plebani
:
Modeling and Negotiating Service Quality. S-CUBE Book 2010: 157-208 - [p1]Andreas Metzger, Salima Benbernou, Manuel Carro
, Maha Driss
, Gabor Kecskemeti
, Raman Kazhamiakin, Kyriakos Kritikos, Andrea Mocci, Elisabetta Di Nitto
, Branimir Wetzstein, Fabrizio Silvestri:
Analytical Quality Assurance. S-CUBE Book 2010: 209-270 - [e1]Manuel Carro
, Ricardo Peña:
Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings. Lecture Notes in Computer Science 5937, Springer 2010, ISBN 978-3-642-11502-8 [contents] - [r1]Manuel Carro:
Logic Programming. Encyclopedia of Software Engineering 2010: 414-441 - [i5]Pablo Chico de Guzmán, Manuel Carro, David Scott Warren:
Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand Tabling. CoRR abs/1007.3961 (2010)
2000 – 2009
- 2009
- [j4]Guillem Marpons-Ucero, Julio Mariño, Manuel Carro
, Ángel Herranz-Nieva
, Lars-Åke Fredlund
, Juan José Moreno-Navarro, Álvaro Polo:
A Coding Rule Conformance Checker Integrated into GCC. Electron. Notes Theor. Comput. Sci. 248: 149-159 (2009) - [c39]Ángel Herranz-Nieva
, Julio Mariño, Manuel Carro
, Juan José Moreno-Navarro:
Modeling Concurrent Systems with Shared Resources. FMICS 2009: 102-116 - [c38]Pablo Chico de Guzmán, Manuel Carro
, Manuel V. Hermenegildo:
A Tabling Implementation Based on Variables with Multiple Bindings. ICLP 2009: 190-204 - [c37]Dragan Ivanovic, Manuel Carro
, Manuel V. Hermenegildo:
An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring. ICSOC/ServiceWave Workshops 2009: 414-424 - [c36]Pablo Chico de Guzmán, Manuel Carro
, Manuel V. Hermenegildo:
Towards a Complete Scheme for Tabled Execution Based on Program Transformation. PADL 2009: 224-238 - [i4]Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo:
A Program Transformation for Continuation Call-Based Tabled Execution. CoRR abs/0901.3906 (2009) - 2008
- [c35]Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro
, Pedro López-García, José F. Morales, Germán Puebla:
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy. Concurrency, Graphs and Models 2008: 209-237 - [c34]Amadeo Casas, Manuel Carro
, Manuel V. Hermenegildo
:
A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism. ICLP 2008: 651-666 - [c33]Pablo Chico de Guzmán, Manuel Carro
, Manuel V. Hermenegildo:
A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. ICLP 2008: 795-800 - [c32]Michele Mancioppi, Manuel Carro
, Willem-Jan van den Heuvel, Mike P. Papazoglou:
Sound Multi-party Business Protocols for Service Networks. ICSOC 2008: 302-316 - [c31]Guillem Marpons-Ucero, Julio Mariño-Carballo, Manuel Carro
, Ángel Herranz-Nieva, Juan José Moreno-Navarro, Lars-Åke Fredlund:
Automatic Coding Rule Conformance Checking Using Logic Programming. PADL 2008: 18-34 - [c30]Pablo Chico de Guzmán, Manuel Carro
, Manuel V. Hermenegildo, Cláudio Silva, Ricardo Rocha
:
An Improved Continuation Call-Based Implementation of Tabling. PADL 2008: 197-213 - [c29]Amadeo Casas, Manuel Carro
, Manuel V. Hermenegildo:
Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism. PADL 2008: 230-247 - [c28]José F. Morales, Manuel Carro
, Manuel V. Hermenegildo:
Comparing tag scheme variations using an abstract machine generator. PPDP 2008: 32-43 - [c27]Edison Mera, Pedro López-García, Manuel Carro
, Manuel V. Hermenegildo:
Towards execution time estimation in abstract machine-based languages. PPDP 2008: 174-184 - 2007
- [c26]Amadeo Casas, Manuel Carro
, Manuel V. Hermenegildo:
Towards a high-level implementation of flexible parallelism primitives for symbolic languages. PASCO 2007: 93-94 - [c25]Amadeo Casas, Manuel Carro
, Manuel V. Hermenegildo
:
Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. LOPSTR 2007: 138-153 - [c24]Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro
, Manuel V. Hermenegildo:
Combining Static Analysis and Profiling for Estimating Execution Times. PADL 2007: 140-154 - [i3]Guillem Marpons-Ucero, Julio Mariño, Ángel Herranz-Nieva, Lars-Åke Fredlund, Manuel Carro, Juan José Moreno-Navarro:
Automatic Coding Rule Conformance Checking Using Logic Programs. CoRR abs/0711.0344 (2007) - [i2]Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo:
Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling. CoRR abs/cs/0701108 (2007) - 2006
- [c23]Manuel Carro
, José F. Morales, Henk L. Muller, Germán Puebla, Manuel V. Hermenegildo:
High-level languages for small devices: a case study. CASES 2006: 271-281 - [c22]Edison Mera, Pedro López-García
, Germán Puebla, Manuel Carro
, Manuel V. Hermenegildo
:
Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. ICLP 2006: 431-432 - [c21]José F. Morales, Manuel Carro
, Manuel V. Hermenegildo
:
Towards Description and Optimization of Abstract Machines in an Extension of Prolog. LOPSTR 2006: 77-93 - 2005
- [c20]José F. Morales, Manuel Carro
, Germán Puebla, Manuel V. Hermenegildo
:
A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization. ICLP 2005: 21-36 - 2004
- [c19]José F. Morales, Manuel Carro
, Manuel V. Hermenegildo:
Improved Compilation of Prolog to C Using Moded Types and Determinism Information. PADL 2004: 86-103 - [c18]Jesús Correas, José M. Gómez, Manuel Carro
, Daniel Cabeza, Manuel V. Hermenegildo:
A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations). PADL 2004: 104-119 - [c17]Manuel Carro
, Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro:
Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns. TFM 2004: 85-106 - [i1]Manuel Carro:
An Application of Rational Trees in a Logic Programming Interpreter for a Procedural Language. CoRR cs.DS/0403028 (2004) - 2003
- [c16]Jesús Correas
, José M. Gómez, Manuel Carro
, Daniel Cabeza Gras, Manuel V. Hermenegildo
:
A Generic Persistence Model for (C)LP Systems. ICLP 2003: 481-482 - 2000
- [c15]Manuel Carro, Manuel V. Hermenegildo:
Tools for Search-Tree Visualisation: The APT Tool. Analysis and Visualization Tools for Constraint Programming 2000: 237-252 - [c14]Manuel Carro, Manuel V. Hermenegildo:
Tools for Constraint Visualisation: The VIFID/TRIFID Tool. Analysis and Visualization Tools for Constraint Programming 2000: 253-272
1990 – 1999
- 1999
- [j3]Inês de Castro Dutra
, Vítor Santos Costa
, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk:
Preface. Electron. Notes Theor. Comput. Sci. 30(3): 1-2 (1999) - [c13]Manuel Carro, Manuel V. Hermenegildo:
Concurrency in Prolog Using Threads and a Shared Database. ICLP 1999: 320-334 - 1998
- [c12]Manuel Carro, Manuel V. Hermenegildo:
Some Design Issues in the Visualization of Constraint Logic Program Execution. APPIA-GULP-PRODE 1998: 71-86 - 1996
- [j2]Enrico Pontelli, Gopal Gupta, Dongxing Tang, Manuel Carro, Manuel V. Hermenegildo
:
Improving the Efficiency of Nondeterministic Independent and-Parallel Systems. Comput. Lang. 22(2/3): 115-142 (1996) - [j1]Manuel V. Hermenegildo
, Manuel Carro:
Relating Data-Parallelism and (and-) Parallelism in Logic Programs. Comput. Lang. 22(2/3): 143-163 (1996) - [c11]Manuel V. Hermenegildo, Francisco Bueno, Daniel Cabeza, Manuel Carro, Maria J. García de la Banda, Pedro López-García, Germán Puebla:
The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. APPIA-GULP-PRODE 1996: 105-110 - [c10]M. J. Fernández, Manuel Carro, Manuel V. Hermenegildo:
IDRA (IDeal Resource Allocation): Computing Ideal Speedups in Parallel Logic Programming. Euro-Par, Vol. II 1996: 724-733 - 1995
- [c9]Manuel V. Hermenegildo, Manuel Carro:
Relating Data-Parallelism and (And-) Parallelism in Logic Programs. Euro-Par 1995: 27-41 - [c8]Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel Carro:
Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems. ICLP 1995: 631-645 - 1994
- [c7]Manuel V. Hermenegildo, Manuel Carro:
A Note on Data-Parallelism and (And-Parallel) Prolog. ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs 1994: 49-64 - [c6]Dongxing Tang, Enrico Pontelli, Gopal Gupta, Manuel Carro:
Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs 1994: 93-106 - [c5]M. J. Fernández, Manuel Carro, Manuel V. Hermenegildo:
IDRA (IDeal Resource Allocation): A Tool for Computing Ideal Speedups. ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs 1994: 107-122 - [c4]Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel Carro:
Using Attributed Variables in the Implementation of Parallel and Concurrent Logic Programming Systems. Workshop on Design and Impl. of Parallel Logic Programming Systems 1994: 42-53 - [c3]Dongxing Tang, Enrico Pontelli, Gopal Gupta, Manuel Carro:
Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. ILPS 1994: 683-684 - 1993
- [c2]Manuel Carro, Luis Manuel Gómez Henríquez, Manuel V. Hermenegildo:
Some Paradigms for Visualizing Parallel Execution of Logic Programs. ICLP 1993: 184-200 - 1992
- [c1]Luis Manuel Gómez Henríquez, Manuel Carro, Manuel V. Hermenegildo:
Implementation of an Event Driven Scheme for Visualizing Parallel Execution of Logic Programs. IJCSLP Workshop on Concurrent and Parallel Implementations 1992
Coauthor Index
[j14] [i9] [j11] [c56] [c55] [j8] [j7] [c53] [c51] [c50] [c49] [c48] [i8] [j6] [c47] [c45] [c44] [r2] [i7] [i6] [c42] [c40] [c38] [c37] [c36] [i4] [c35] [c34] [c33] [c30] [c29] [c28] [c27] [c26] [c25] [c24] [i2] [c23] [c22] [c21] [c20] [c19] [c18] [c16] [c15] [c14] [c13] [c12] [j2] [j1] [c11] [c10] [c9] [c8] [c7] [c5] [c4] [c2] [c1]
Julio Mariño-Carballo
aka: Julio Mariño
aka: Julio Mariño