Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Parallel Backtracking with Answer Memoing for Independent And-Parallelism

P. de Guzmán, A. Casas, M. Carro, und M. Hermenegildo. CoRR, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Manuel Mauch University of Stuttgart

Dr. Manuel Keßler University of Stuttgart

Manuel Ilg University of Stuttgart

Dr. -Ing. Manuel Hirsch University of Stuttgart

Dr. rer. nat. Manuel Häßner University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Preface.I. de Castro Dutra, V. Costa, G. Gupta, E. Pontelli, M. Carro, und P. Kacsuk. Electr. Notes Theor. Comput. Sci., 30 (3): 1-2 (1999)Towards Description and Optimization of Abstract Machines in an Extension of Prolog.J. Morales, M. Carro, und M. Hermenegildo. LOPSTR, Volume 4407 von Lecture Notes in Computer Science, Seite 77-93. Springer, (2006)Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs.A. Casas, M. Carro, und M. Hermenegildo. LOPSTR, Volume 4915 von Lecture Notes in Computer Science, Seite 138-153. Springer, (2007)Third international workshop on principles of engineering service-oriented systems: (PESOS 2011).M. Carro, D. Karastoyanova, G. Lewis, und A. Liu. ICSE, Seite 1218-1219. ACM, (2011)An overview of Ciao and its design philosophyM. Hermenegildo, F. Bueno, M. Carro, P. López-García, E. Mera, J. Morales, und G. Puebla. CoRR, (2011)Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand TablingP. de Guzmán, M. Carro, und D. Warren. CoRR, (2010)A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations).J. Correas, J. Gómez, M. Carro, D. Cabeza, und M. Hermenegildo. PADL, Volume 3057 von Lecture Notes in Computer Science, Seite 104-119. Springer, (2004)Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP.J. Arias, und M. Carro. PADL, Volume 11372 von Lecture Notes in Computer Science, Seite 98-114. Springer, (2019)An Improved Continuation Call-Based Implementation of Tabling.P. de Guzmán, M. Carro, M. Hermenegildo, C. Silva, und R. Rocha. PADL, Volume 4902 von Lecture Notes in Computer Science, Seite 197-213. Springer, (2008)Combining Static Analysis and Profiling for Estimating Execution Times.E. Mera, P. López-García, G. Puebla, M. Carro, und M. Hermenegildo. PADL, Volume 4354 von Lecture Notes in Computer Science, Seite 140-154. Springer, (2007)