| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
A Segment-Swapping Approach for Executing Trapped Computations.  |
PADL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey |
A General Implementation Framework for Tabled CLP. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP BibTeX RDF |
|
| 1 | Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
Parallel Backtracking with Answer Memoing for Independent And-Parallelism |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
Parallel backtracking with answer memoing for independent and-parallelism. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Carro, Manuel V. Hermenegildo |
Logic Languages. |
Encyclopedia of Parallel Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Carro, John H. Reppy (eds.) |
Proceedings of the POPL 2011 Workshop on Declarative Aspects of Multicore Programming, DAMP 2011, Austin, TX, USA, January 23, 2011 |
DAMP |
2011 |
DBLP BibTeX RDF |
|
| 1 | Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo |
Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations. |
ICSOC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo |
Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis. |
IEEE SCC |
2011 |
DBLP DOI BibTeX RDF |
Workflow, static analysis, business process, service composition, Horn clause |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Carro, Dimka Karastoyanova, Grace A. Lewis, Anna Liu |
Third international workshop on principles of engineering service-oriented systems: (PESOS 2011). |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Chico de Guzmán, Manuel Carro, David Scott Warren |
Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand Tabling |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Pablo Chico de Guzmán, Manuel Carro, David Scott Warren |
Swapping evaluation: A memory-scalable solution for answer-on-demand tabling. |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Carro |
Logic Programming. |
Encyclopedia of Software Engineering |
2010 |
DBLP BibTeX RDF |
|
| 1 | Manuel Carro, Ricardo Peña (eds.) |
Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo |
Automatic Fragment Identification in Workflows Based on Sharing Analysis. |
ICSOC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Anis Zemni, Salima Benbernou, Manuel Carro |
A Soft Constraint-Based Approach to QoS-Aware Service Selection. |
ICSOC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragan Ivanovic, Martin Treiber, Manuel Carro, Schahram Dustdar |
Building Dynamic Models of Service Compositions with Simulation of Provision Resources. |
ER |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo |
Towards Data-Aware QoS-driven Adaptation for Service Orchestrations. |
ICWS |
2010 |
DBLP DOI BibTeX RDF |
resource usage analysis, data awareness, adaptation, monitoring, orchestrations |
| 1 | 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. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo |
A Program Transformation for Continuation Call-Based Tabled Execution |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo |
Towards a Complete Scheme for Tabled Execution Based on Program Transformation. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
Continuation-call tabling, Performance, Program transformation, Implementation, Tabled logic programming |
| 1 | Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo |
A Tabling Implementation Based on Variables with Multiple Bindings. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Performance, Logic Programming, Implementation, Tabling, OR-Parallelism |
| 1 | Ángel Herranz-Nieva, Julio Mariño, Manuel Carro, Juan José Moreno-Navarro |
Modeling Concurrent Systems with Shared Resources. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
Verification, Concurrency, Validation, Shared resource |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Performance, Program transformation, Implementation, Tabled logic programming |
| 1 | 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 |
DBLP DOI BibTeX RDF |
Coding rule checking, Declarative domain-specific languages and applications, Logic programming, Programming environments |
| 1 | Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
High-level Implementation, Parallelism, Virtual Machines |
| 1 | Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
High-level Implementation, Prolog, And-Parallelism |
| 1 | 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 |
DBLP DOI BibTeX RDF |
Continuation-call tabling, Performance, Program transformation, Implementation, Tabled logic programming |
| 1 | Michele Mancioppi, Manuel Carro, Willem-Jan van den Heuvel, Mike P. Papazoglou |
Sound Multi-party Business Protocols for Service Networks. |
ICSOC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | José F. Morales, Manuel Carro, Manuel V. Hermenegildo |
Comparing tag scheme variations using an abstract machine generator. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
Warren's abstract machine, low-level representation optimization, performance, compilation, Prolog |
| 1 | Edison Mera, Pedro López-García, Manuel Carro, Manuel V. Hermenegildo |
Towards execution time estimation in abstract machine-based languages. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
logic programming, profiling, cost models, cost analysis, resource awareness, execution time estimation |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Mobile Computing, Profiling, Cost Models, Cost Analysis, Resource Awareness, Execution Time Estimation |
| 1 | Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
Logic Programming, Program Transformation, Automatic Parallelization, And- Parallelism |
| 1 | Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
Towards a high-level implementation of flexible parallelism primitives for symbolic languages. |
PASCO |
2007 |
DBLP DOI BibTeX RDF |
parallelism, logic programming, symbolic computation |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
program analysis and transformation, wearable computers, optimizing compilation, (constraint) logic programming |
| 1 | José F. Morales, Manuel Carro, Manuel V. Hermenegildo |
Towards Description and Optimization of Abstract Machines in an Extension of Prolog. |
LOPSTR |
2006 |
DBLP DOI BibTeX RDF |
Optimization, Compilation, Prolog, Program Transformation, Abstract Machines |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Carro |
An Application of Rational Trees in a Logic Programming Interpreter for a Procedural Language |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jesús Correas, J. M. Gómez, Manuel Carro, Daniel Cabeza, Manuel V. Hermenegildo |
A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations). |
PADL |
2004 |
DBLP DOI BibTeX RDF |
Databases, Prolog, Query Optimization, Persistency |
| 1 | José F. Morales, Manuel Carro, Manuel V. Hermenegildo |
Improved Compilation of Prolog to C Using Moded Types and Determinism Information. |
PADL |
2004 |
DBLP DOI BibTeX RDF |
Prolog, C, optimizing compilation, global analysis |
| 1 | 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 |
DBLP DOI BibTeX RDF |
Formal Specification, Ada, Code Generation, Safety, Concurrent Programming, Liveness |
| 1 | Jesús Correas, J. M. Gómez, Manuel Carro, Daniel Cabeza Gras, Manuel V. Hermenegildo |
A Generic Persistence Model for (C)LP Systems. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Carro, Manuel V. Hermenegildo |
Tools for Search-Tree Visualisation: The APT Tool. |
Analysis and Visualization Tools for Constraint Programming |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Carro, Manuel V. Hermenegildo |
Tools for Constraint Visualisation: The VIFID/TRIFID Tool. |
Analysis and Visualization Tools for Constraint Programming |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk |
Preface. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Carro, Manuel V. Hermenegildo |
Concurrency in Prolog Using Threads and a Shared Database. |
ICLP |
1999 |
DBLP BibTeX RDF |
|
| 1 | Manuel Carro, Manuel V. Hermenegildo |
Some Design Issues in the Visualization of Constraint Logic Program Execution. |
APPIA-GULP-PRODE |
1998 |
DBLP BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo, Manuel Carro |
Relating Data-Parallelism and (and-) Parallelism in Logic Programs. |
Comput. Lang. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Pontelli, Gopal Gupta, Dongxing Tang, Manuel Carro, Manuel V. Hermenegildo |
Improving the Efficiency of Nondeterministic Independent and-Parallel Systems. |
Comput. Lang. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Simulation, Performance Evaluation, Parallelism, Concurrency, Parallel Logic Programming |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo, Manuel Carro |
Relating Data-Parallelism and (And-) Parallelism in Logic Programs. |
Euro-Par |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel Carro |
Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Tang Dong Xing, 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Dongxing Tang, Enrico Pontelli, Gopal Gupta, Manuel Carro |
Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. |
SLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Manuel Carro, Luis Manuel Gómez Henríquez, Manuel V. Hermenegildo |
Some Paradigms for Visualizing Parallel Execution of Logic Programs. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")