The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Manuel Carro: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Manuel Carro, Manuel V. Hermenegildo
    Some Design Issues in the Visualization of Constraint Logic Program Execution. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1998, pp:71-86 [Conf]
  2. 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. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:105-110 [Conf]
  3. Manuel Carro, José F. Morales, Henk L. Muller, Germán Puebla, Manuel V. Hermenegildo
    High-level languages for small devices: a case study. [Citation Graph (0, 0)][DBLP]
    CASES, 2006, pp:271-281 [Conf]
  4. Manuel Carro, Manuel V. Hermenegildo
    Tools for Search-Tree Visualisation: The APT Tool. [Citation Graph (0, 0)][DBLP]
    Analysis and Visualization Tools for Constraint Programming, 2000, pp:237-252 [Conf]
  5. Manuel Carro, Manuel V. Hermenegildo
    Tools for Constraint Visualisation: The VIFID/TRIFID Tool. [Citation Graph (0, 0)][DBLP]
    Analysis and Visualization Tools for Constraint Programming, 2000, pp:253-272 [Conf]
  6. M. J. Fernández, Manuel Carro, Manuel V. Hermenegildo
    IDRA (IDeal Resource Allocation): Computing Ideal Speedups in Parallel Logic Programming. [Citation Graph (0, 0)][DBLP]
    Euro-Par, Vol. II, 1996, pp:724-733 [Conf]
  7. Manuel V. Hermenegildo, Manuel Carro
    Relating Data-Parallelism and (And-) Parallelism in Logic Programs. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1995, pp:27-41 [Conf]
  8. Manuel Carro, Luis Manuel Gómez Henríquez, Manuel V. Hermenegildo
    Some Paradigms for Visualizing Parallel Execution of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:184-200 [Conf]
  9. Manuel Carro, Manuel V. Hermenegildo
    Concurrency in Prolog Using Threads and a Shared Database. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:320-334 [Conf]
  10. Jesús Correas, J. M. Gómez, Manuel Carro, Daniel Cabeza Gras, Manuel V. Hermenegildo
    A Generic Persistence Model for (C)LP Systems. [Citation Graph (0, 0)][DBLP]
    ICLP, 2003, pp:481-482 [Conf]
  11. M. J. Fernández, Manuel Carro, Manuel V. Hermenegildo
    IDRA (IDeal Resource Allocation): A Tool for Computing Ideal Speedups. [Citation Graph (0, 0)][DBLP]
    ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs, 1994, pp:107-122 [Conf]
  12. Luis Manuel Gómez Henríquez, Manuel Carro, Manuel V. Hermenegildo
    Implementation of an Event Driven Scheme for Visualizing Parallel Execution of Logic Programs. [Citation Graph (0, 0)][DBLP]
    IJCSLP Workshop on Concurrent and Parallel Implementations, 1992, pp:- [Conf]
  13. Manuel V. Hermenegildo, Manuel Carro
    A Note on Data-Parallelism and (And-Parallel) Prolog. [Citation Graph (0, 0)][DBLP]
    ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs, 1994, pp:49-64 [Conf]
  14. Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel Carro
    Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:631-645 [Conf]
  15. 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. [Citation Graph (0, 0)][DBLP]
    ICLP, 2006, pp:431-432 [Conf]
  16. José F. Morales, Manuel Carro, Germán Puebla, Manuel V. Hermenegildo
    A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:21-36 [Conf]
  17. Tang Dong Xing, Enrico Pontelli, Gopal Gupta, Manuel Carro
    Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. [Citation Graph (0, 0)][DBLP]
    ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs, 1994, pp:93-106 [Conf]
  18. José F. Morales, Manuel Carro, Manuel V. Hermenegildo
    Towards Description and Optimization of Abstract Machines in an Extension of Prolog. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2006, pp:77-93 [Conf]
  19. 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). [Citation Graph (0, 0)][DBLP]
    PADL, 2004, pp:104-119 [Conf]
  20. J. Morales, Manuel Carro, Manuel V. Hermenegildo
    Improved Compilation of Prolog to C Using Moded Types and Determinism Information. [Citation Graph (0, 0)][DBLP]
    PADL, 2004, pp:86-103 [Conf]
  21. Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo
    Combining Static Analysis and Profiling for Estimating Execution Times. [Citation Graph (0, 0)][DBLP]
    PADL, 2007, pp:140-154 [Conf]
  22. Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel Carro
    Using Attributed Variables in the Implementation of Parallel and Concurrent Logic Programming Systems. [Citation Graph (0, 0)][DBLP]
    Workshop on Design and Impl. of Parallel Logic Programming Systems, 1994, pp:42-53 [Conf]
  23. Dongxing Tang, Enrico Pontelli, Gopal Gupta, Manuel Carro
    Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. [Citation Graph (0, 0)][DBLP]
    SLP, 1994, pp:683-684 [Conf]
  24. 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. [Citation Graph (0, 0)][DBLP]
    TFM, 2004, pp:85-106 [Conf]
  25. Manuel V. Hermenegildo, Manuel Carro
    Relating Data-Parallelism and (and-) Parallelism in Logic Programs. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1996, v:22, n:2/3, pp:143-163 [Journal]
  26. Enrico Pontelli, Gopal Gupta, Dongxing Tang, Manuel Carro, Manuel V. Hermenegildo
    Improving the Efficiency of Nondeterministic Independent and-Parallel Systems. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1996, v:22, n:2/3, pp:115-142 [Journal]
  27. Manuel Carro
    An Application of Rational Trees in a Logic Programming Interpreter for a Procedural Language [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  28. Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:3, pp:- [Journal]
  29. 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 [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  30. An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy. [Citation Graph (, )][DBLP]


  31. A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. [Citation Graph (, )][DBLP]


  32. A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism. [Citation Graph (, )][DBLP]


  33. A Tabling Implementation Based on Variables with Multiple Bindings. [Citation Graph (, )][DBLP]


  34. Sound Multi-party Business Protocols for Service Networks. [Citation Graph (, )][DBLP]


  35. An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring. [Citation Graph (, )][DBLP]


  36. Towards Data-Aware QoS-driven Adaptation for Service Orchestrations. [Citation Graph (, )][DBLP]


  37. Towards a high-level implementation of flexible parallelism primitives for symbolic languages. [Citation Graph (, )][DBLP]


  38. Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. [Citation Graph (, )][DBLP]


  39. Towards a Complete Scheme for Tabled Execution Based on Program Transformation. [Citation Graph (, )][DBLP]


  40. Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism. [Citation Graph (, )][DBLP]


  41. An Improved Continuation Call-Based Implementation of Tabling. [Citation Graph (, )][DBLP]


  42. Automatic Coding Rule Conformance Checking Using Logic Programming. [Citation Graph (, )][DBLP]


  43. Comparing tag scheme variations using an abstract machine generator. [Citation Graph (, )][DBLP]


  44. Towards execution time estimation in abstract machine-based languages. [Citation Graph (, )][DBLP]


  45. Modeling Concurrent Systems with Shared Resources. [Citation Graph (, )][DBLP]


  46. Automatic Coding Rule Conformance Checking Using Logic Programs [Citation Graph (, )][DBLP]


  47. A Program Transformation for Continuation Call-Based Tabled Execution [Citation Graph (, )][DBLP]


  48. Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand Tabling [Citation Graph (, )][DBLP]


  49. A Coding Rule Conformance Checker Integrated into GCC. [Citation Graph (, )][DBLP]


Search in 0.023secs, Finished in 0.026secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002