The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Manuel Carro" ( http://dblp.L3S.de/Authors/Manuel_Carro )

  Author page on DBLP  Author page in RDF  Community of Manuel Carro in ASPL-2

Publication years (Num. hits)
1992-1999 (16) 2000-2007 (16) 2008-2009 (15) 2010-2011 (20) 2012-2013 (16) 2014-2016 (17) 2017-2019 (9)
Publication types (Num. hits)
article(33) incollection(4) inproceedings(68) proceedings(4)
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
1Joaquín Arias, Manuel Carro Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Joaquín Arias, Manuel Carro Description, Implementation, and Evaluation of a Generic Design for Tabled CLP. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Joaquín Arias, Manuel Carro Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Joaquín Arias, Manuel Carro Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP. Search on Bibsonomy PADL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta Constraint Answer Set Programming without Grounding and its Applications. Search on Bibsonomy Datalog The full citation details ... 2019 DBLP  BibTeX  RDF
1Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta Constraint Answer Set Programming without Grounding. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Joaquín Arias, Manuel Carro Description, Implementation, and Evaluation of a Generic Design for Tabled CLP. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta Constraint Answer Set Programming without Grounding. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andreas 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. Search on Bibsonomy Software Engineering The full citation details ... 2017 DBLP  BibTeX  RDF
1Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Manuel Carro, Andy King Papers presented at the 32nd International Conference on Logic Programming (ICLP 2016). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro Proceedings of the First Workshop on Program Transformation for Programmability in Heterogeneous Architectures. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Guillermo Vigueras, Manuel Carro, Salvador Tamarit, Julio Mariño Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Guillermo Vigueras, Manuel Carro, Salvador Tamarit, Julio Mariño Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code. Search on Bibsonomy PROLE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems. Search on Bibsonomy PROLE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Manuel Carro, Andy King Introduction to the 32nd International Conference on Logic Programming Special Issue. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1José F. Morales, Manuel Carro, Manuel V. Hermenegildo Description and Optimization of Abstract Machines in a Dialect of Prolog. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jan Kuper, Lutz Schubert, Kilian Kempf, Colin W. Glass, Daniel Rubio Bonilla, Manuel Carro Program transformations in the POLCA project. Search on Bibsonomy DATE The full citation details ... 2016 DBLP  BibTeX  RDF
1Manuel 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 Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  BibTeX  RDF
1Joaquín Arias, Manuel Carro Description and evaluation of a generic design to integrate CLP and tabled execution. Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andreas Metzger, Philipp Leitner, Dragan Ivanovic, Eric Schmieders, Rod Franklin, Manuel Carro, Schahram Dustdar, Klaus Pohl Comparing and Combining Predictive Business Process Monitoring Techniques. Search on Bibsonomy IEEE Trans. Systems, Man, and Cybernetics: Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Salvador Tamarit, Guillermo Vigueras, Manuel Carro, Julio Mariño A Haskell Implementation of a Rule-Based Program Transformation for C Programs. Search on Bibsonomy PADL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Joaquín Arias, Manuel Carro Towards a Generic Interface to Integrate CLP and Tabled Execution (Extended Abstract). Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1José F. Morales, Manuel Carro, Manuel V. Hermenegildo Description and Optimization of Abstract Machines in a Dialect of Prolog. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Dragan Ivanovic, Manuel Carro Transforming Service Compositions into Cloud-Friendly Actor Networks. Search on Bibsonomy ICSOC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dragan Ivanovic, Manuel Carro, Peerachai Kaowichakorn Towards QoS Prediction Based on Composition Structure Analysis and Probabilistic Models. Search on Bibsonomy ICSOC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Kyriakos 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. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Manuel Carro, Ángel Herranz-Nieva, Julio Mariño A model-driven approach to teaching concurrency. Search on Bibsonomy TOCE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo A sharing-based approach to supporting adaptation in service compositions. Search on Bibsonomy Computing The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo Supporting Pruning in Tabled LP. Search on Bibsonomy PADL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Zoé Drey, José F. Morales, Manuel V. Hermenegildo, Manuel Carro Reversible Language Extensions and Their Application in Debugging. Search on Bibsonomy PADL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Dragan Ivanovic, Peerachai Kaowichakorn, Manuel Carro Towards QoS prediction based on composition structure analysis and probabilistic environment models. Search on Bibsonomy PESOS@ICSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo Lightweight compilation of (C)LP to JavaScript Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Manuel 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. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo Lightweight compilation of (C)LP to JavaScript. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo A Segment-Swapping Approach for Executing Trapped Computations. Search on Bibsonomy PADL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo A Constraint-Based Approach to Quality Assurance in Service Choreographies. Search on Bibsonomy ICSOC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1George Baryannis, Manuel Carro, Dimitris Plexousakis Deriving Specifications for Composite Web Services. Search on Bibsonomy COMPSAC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey A General Implementation Framework for Tabled CLP. Search on Bibsonomy FLOPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dimka Karastoyanova, Dragan Ivanovic, Zsolt Németh, Manuel Carro, Claudia Di Napoli, Maurizio Giordano, Cesare Pautasso Research challenges on service technology foundations. Search on Bibsonomy S-Cube@ICSE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo Analyzing service-oriented systems using their data and structure. Search on Bibsonomy S-Cube@ICSE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dragan 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. Search on Bibsonomy PESOS@ICSE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Manuel Carro, Manuel V. Hermenegildo Logic Languages. Search on Bibsonomy Encyclopedia of Parallel Computing The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo Parallel Backtracking with Answer Memoing for Independent And-Parallelism Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Manuel 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 Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo Parallel backtracking with answer memoing for independent and-parallelism. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations. Search on Bibsonomy ICSOC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Manuel 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 Search on Bibsonomy DAMP The full citation details ... 2011 DBLP  BibTeX  RDF
1Manuel 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. Search on Bibsonomy RuleML Europe The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Manuel Carro, Dimka Karastoyanova, Grace A. Lewis, Anna Liu Third international workshop on principles of engineering service-oriented systems: (PESOS 2011). Search on Bibsonomy ICSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Manuel 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 Search on Bibsonomy PESOS@ICSE The full citation details ... 2011 DBLP  BibTeX  RDF
1Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis. Search on Bibsonomy IEEE SCC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF Workflow, static analysis, business process, service composition, Horn clause
1Manuel Carro Logic Programming. Search on Bibsonomy Encyclopedia of Software Engineering The full citation details ... 2010 DBLP  BibTeX  RDF
1Pablo Chico de Guzmán, Manuel Carro, David Scott Warren Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand Tabling Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Pablo Chico de Guzmán, Manuel Carro, David Scott Warren Swapping evaluation: A memory-scalable solution for answer-on-demand tabling. Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Manuel Carro, Ricardo Peña (eds.) Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings Search on Bibsonomy PADL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mohamed Anis Zemni, Salima Benbernou, Manuel Carro A Soft Constraint-Based Approach to QoS-Aware Service Selection. Search on Bibsonomy ICSOC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo Automatic Fragment Identification in Workflows Based on Sharing Analysis. Search on Bibsonomy ICSOC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dragan Ivanovic, Martin Treiber, Manuel Carro, Schahram Dustdar Building Dynamic Models of Service Compositions with Simulation of Provision Resources. Search on Bibsonomy ER The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo Towards Data-Aware QoS-driven Adaptation for Service Orchestrations. Search on Bibsonomy ICWS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF resource usage analysis, data awareness, adaptation, monitoring, orchestrations
1Andreas 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. Search on Bibsonomy S-CUBE Book The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Salima 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. Search on Bibsonomy S-CUBE Book The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Guillem 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. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo A Program Transformation for Continuation Call-Based Tabled Execution Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo Towards a Complete Scheme for Tabled Execution Based on Program Transformation. Search on Bibsonomy PADL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Continuation-call tabling, Performance, Program transformation, Implementation, Tabled logic programming
1Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring. Search on Bibsonomy ICSOC/ServiceWave Workshops The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo A Tabling Implementation Based on Variables with Multiple Bindings. Search on Bibsonomy ICLP The full citation details ... 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. Search on Bibsonomy FMICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Verification, Concurrency, Validation, Shared resource
1Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism. Search on Bibsonomy PADL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF High-level Implementation, Parallelism, Virtual Machines
1Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva 0001, Ricardo Rocha 0001 An Improved Continuation Call-Based Implementation of Tabling. Search on Bibsonomy PADL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Performance, Program transformation, Implementation, Tabled logic programming
1Guillem 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. Search on Bibsonomy PADL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Coding rule checking, Declarative domain-specific languages and applications, Logic programming, Programming environments
1Michele Mancioppi, Manuel Carro, Willem-Jan van den Heuvel, Mike P. Papazoglou Sound Multi-party Business Protocols for Service Networks. Search on Bibsonomy ICSOC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Manuel 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. Search on Bibsonomy Concurrency, Graphs and Models The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF High-level Implementation, Prolog, And-Parallelism
1Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Continuation-call tabling, Performance, Program transformation, Implementation, Tabled logic programming
1Edison Mera, Pedro López-García 0001, Manuel Carro, Manuel V. Hermenegildo Towards execution time estimation in abstract machine-based languages. Search on Bibsonomy PPDP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF logic programming, profiling, cost models, cost analysis, resource awareness, execution time estimation
1José F. Morales, Manuel Carro, Manuel V. Hermenegildo Comparing tag scheme variations using an abstract machine generator. Search on Bibsonomy PPDP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Warren's abstract machine, low-level representation optimization, performance, compilation, Prolog
1Edison 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 Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Guillem 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 Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Edison Mera, Pedro López-García 0001, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo Combining Static Analysis and Profiling for Estimating Execution Times. Search on Bibsonomy PADL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mobile Computing, Profiling, Cost Models, Cost Analysis, Resource Awareness, Execution Time Estimation
1Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. Search on Bibsonomy LOPSTR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Logic Programming, Program Transformation, Automatic Parallelization, And- Parallelism
1Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo Towards a high-level implementation of flexible parallelism primitives for symbolic languages. Search on Bibsonomy PASCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF parallelism, logic programming, symbolic computation
1Edison 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. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Manuel Carro, José F. Morales, Henk L. Muller, Germán Puebla, Manuel V. Hermenegildo High-level languages for small devices: a case study. Search on Bibsonomy CASES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF program analysis and transformation, wearable computers, optimizing compilation, (constraint) logic programming
1José F. Morales, Manuel Carro, Manuel V. Hermenegildo Towards Description and Optimization of Abstract Machines in an Extension of Prolog. Search on Bibsonomy LOPSTR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Optimization, Compilation, Prolog, Program Transformation, Abstract Machines
1José F. Morales, Manuel Carro, Germán Puebla, Manuel V. Hermenegildo A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Manuel Carro An Application of Rational Trees in a Logic Programming Interpreter for a Procedural Language Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Jesú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). Search on Bibsonomy PADL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Databases, Prolog, Query Optimization, Persistency
1José F. Morales, Manuel Carro, Manuel V. Hermenegildo Improved Compilation of Prolog to C Using Moded Types and Determinism Information. Search on Bibsonomy PADL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Prolog, C, optimizing compilation, global analysis
1Manuel 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. Search on Bibsonomy TFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Formal Specification, Ada, Code Generation, Safety, Concurrent Programming, Liveness
1Jesús Correas, J. M. Gómez, Manuel Carro, Daniel Cabeza Gras, Manuel V. Hermenegildo A Generic Persistence Model for (C)LP Systems. Search on Bibsonomy ICLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Manuel Carro, Manuel V. Hermenegildo Tools for Search-Tree Visualisation: The APT Tool. Search on Bibsonomy Analysis and Visualization Tools for Constraint Programming The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Manuel Carro, Manuel V. Hermenegildo Tools for Constraint Visualisation: The VIFID/TRIFID Tool. Search on Bibsonomy Analysis and Visualization Tools for Constraint Programming The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Manuel Carro, Manuel V. Hermenegildo Concurrency in Prolog Using Threads and a Shared Database. Search on Bibsonomy ICLP The full citation details ... 1999 DBLP  BibTeX  RDF
1Manuel Carro, Manuel V. Hermenegildo Some Design Issues in the Visualization of Constraint Logic Program Execution. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1998 DBLP  BibTeX  RDF
1Enrico Pontelli, Gopal Gupta, Dongxing Tang, Manuel Carro, Manuel V. Hermenegildo Improving the Efficiency of Nondeterministic Independent and-Parallel Systems. Search on Bibsonomy Comput. Lang. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Manuel V. Hermenegildo, Manuel Carro Relating Data-Parallelism and (and-) Parallelism in Logic Programs. Search on Bibsonomy Comput. Lang. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Manuel 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. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1996 DBLP  BibTeX  RDF
1M. J. Fernández, Manuel Carro, Manuel V. Hermenegildo IDRA (IDeal Resource Allocation): Computing Ideal Speedups in Parallel Logic Programming. Search on Bibsonomy Euro-Par, Vol. II The full citation details ... 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 XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license