|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 84 occurrences of 52 keywords
|
|
|
|
|
Results
Found 110 publication records. Showing 109 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Joaquín Arias, Manuel Carro |
Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP.  |
CoRR  |
2019 |
DBLP BibTeX RDF |
|
| 1 | Joaquín Arias, Manuel Carro |
Description, Implementation, and Evaluation of a Generic Design for Tabled CLP. |
TPLP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Joaquín Arias, Manuel Carro |
Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP. |
TPLP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Joaquín Arias, Manuel Carro |
Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP. |
PADL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta |
Constraint Answer Set Programming without Grounding and its Applications. |
Datalog |
2019 |
DBLP BibTeX RDF |
|
| 1 | Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta |
Constraint Answer Set Programming without Grounding. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Joaquín Arias, Manuel Carro |
Description, Implementation, and Evaluation of a Generic Design for Tabled CLP. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta |
Constraint Answer Set Programming without Grounding. |
TPLP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro |
Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Manuel Carro, Andy King |
Papers presented at the 32nd International Conference on Logic Programming (ICLP 2016). |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro |
Proceedings of the First Workshop on Program Transformation for Programmability in Heterogeneous Architectures. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Guillermo Vigueras, Manuel Carro, Salvador Tamarit, Julio Mariño |
Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Guillermo Vigueras, Manuel Carro, Salvador Tamarit, Julio Mariño |
Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code. |
PROLE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro |
Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems. |
PROLE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Carro, Andy King |
Introduction to the 32nd International Conference on Logic Programming Special Issue. |
TPLP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | José F. Morales, Manuel Carro, Manuel V. Hermenegildo |
Description and Optimization of Abstract Machines in a Dialect of Prolog. |
TPLP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Kuper, Lutz Schubert, Kilian Kempf, Colin W. Glass, Daniel Rubio Bonilla, Manuel Carro |
Program transformations in the POLCA project. |
DATE |
2016 |
DBLP BibTeX RDF |
|
| 1 | Manuel Carro, Andy King, Neda Saeedloei, Marina De Vos (eds.) |
Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016 TCs, October 16-21, 2016, New York City, USA |
ICLP (Technical Communications) |
2016 |
DBLP BibTeX RDF |
|
| 1 | Joaquín Arias, Manuel Carro |
Description and evaluation of a generic design to integrate CLP and tabled execution. |
PPDP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. Systems, Man, and Cybernetics: Systems |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvador Tamarit, Guillermo Vigueras, Manuel Carro, Julio Mariño |
A Haskell Implementation of a Rule-Based Program Transformation for C Programs. |
PADL |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Joaquín Arias, Manuel Carro |
Towards a Generic Interface to Integrate CLP and Tabled Execution (Extended Abstract). |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
| 1 | José F. Morales, Manuel Carro, Manuel V. Hermenegildo |
Description and Optimization of Abstract Machines in a Dialect of Prolog. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Dragan Ivanovic, Manuel Carro |
Transforming Service Compositions into Cloud-Friendly Actor Networks. |
ICSOC |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragan Ivanovic, Manuel Carro, Peerachai Kaowichakorn |
Towards QoS Prediction Based on Composition Structure Analysis and Probabilistic Models. |
ICSOC |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Carro, Ángel Herranz-Nieva, Julio Mariño |
A model-driven approach to teaching concurrency. |
TOCE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo |
A sharing-based approach to supporting adaptation in service compositions. |
Computing |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo |
Supporting Pruning in Tabled LP. |
PADL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoé Drey, José F. Morales, Manuel V. Hermenegildo, Manuel Carro |
Reversible Language Extensions and Their Application in Debugging. |
PADL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragan Ivanovic, Peerachai Kaowichakorn, Manuel Carro |
Towards QoS prediction based on composition structure analysis and probabilistic environment models. |
PESOS@ICSE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo |
Lightweight compilation of (C)LP to JavaScript |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García 0001, Edison Mera, José F. Morales, Germán Puebla |
An overview of Ciao and its design philosophy. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo |
Lightweight compilation of (C)LP to JavaScript. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 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 | Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo |
A Constraint-Based Approach to Quality Assurance in Service Choreographies. |
ICSOC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | George Baryannis, Manuel Carro, Dimitris Plexousakis |
Deriving Specifications for Composite Web Services. |
COMPSAC |
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 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo |
Analyzing service-oriented systems using their data and structure. |
S-Cube@ICSE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Carro, Manuel V. Hermenegildo |
Logic Languages. |
Encyclopedia of Parallel Computing |
2011 |
DBLP DOI 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 | Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García 0001, 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. |
TPLP |
2011 |
DBLP DOI 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 | 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 | Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García 0001, 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 | Manuel Carro, Dimka Karastoyanova, Grace A. Lewis, Anna Liu (eds.) |
Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems, PESOS 2011, Waikiki, Honolulu, HI, USA, May 23-24, 2011 |
PESOS@ICSE |
2011 |
DBLP 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 Carro |
Logic Programming. |
Encyclopedia of Software Engineering |
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 |
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, 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 | 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, Manuel Carro, Manuel V. Hermenegildo |
Automatic Fragment Identification in Workflows Based on Sharing Analysis. |
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 | 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 | 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 | 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 |
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 | 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 | Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva 0001, Ricardo Rocha 0001 |
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 | 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 | Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García 0001, 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 | 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 | Edison Mera, Pedro López-García 0001, 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 | 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 0001, 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 | 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 0001, 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 0001, 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 | 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 | Manuel V. Hermenegildo, Manuel Carro |
Relating Data-Parallelism and (and-) Parallelism in Logic Programs. |
Comput. Lang. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo, Francisco Bueno, Daniel Cabeza, Manuel Carro, Maria J. García de la Banda, Pedro López-García 0001, 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 | 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 |
Displaying result #1 - #100 of 109 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license