Publications in Parallel Execution Models and Task Scheduling
Articles in Refereed Journals:
- Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha.
Parallel Logic Programming: A Sequel.
Theory and Practice of Logic Programming, 20th Anniversary Special Issue,
Vol. 22,
Num. 6,
pages 905-973,
Cambridge U. Press,
March
2022.
- Zorana Bankovic, Umer Liqat, Pedro Lopez-Garcia.
A General Methodology for Energy-efficient
Scheduling in Multicore Environments based on
Evolutionary Algorithms.
Journal of Multiple-Valued Logic and Soft Computing (JMVLSC), SOCO'15 Special Issue,
Vol. 32,
Num. 3-4,
pages 313-341,
Old City Publishing,
2019.
- Zorana Bankovic, Pedro Lopez-Garcia.
Stochastic vs. Deterministic Evolutionary
Algorithm-based Allocation and Scheduling for
XMOS Chips.
Neurocomputing,
Vol. 150,
pages 82-89,
Elsevier,
February
2015.
- P. Chico de Guzmán, A. Casas, M. Carro, M. V. Hermenegildo.
Parallel Backtracking with Answer Memoing for
Independent And-Parallelism.
Theory and Practice of Logic Programming, 27th
Int'l. Conference on Logic Programming (ICLP'11)
Special Issue,
Vol. 11,
Num. 4-5,
pages 555-574,
Cambridge U. Press,
July
2011.
- G. Gupta, E. Pontelli, K. Ali, M. Carlsson, M. V. Hermenegildo.
Parallel Execution of Prolog Programs: a Survey.
ACM Transactions on Programming Languages and Systems,
Vol. 23,
Num. 4,
pages 472-602,
ACM Press,
July
2001.
- M. Hermenegildo, M. Carro.
Relating Data-Parallelism and (And-) Parallelism
in Logic Programs.
The Computer Languages Journal,
Vol. 22,
Num. 2/3,
pages 143-163,
Elsevier Science,
July
1996.
- E. Pontelli, G. Gupta, D. Tang, M. Carro, M. Hermenegildo.
Improving the Efficiency of Nondeterministic
And-parallel Systems.
The Computer Languages Journal,
Vol. 22,
Num. 2/3,
pages 115-142,
Pergamon/Elsevier,
July
1996.
- K. Shen, M. Hermenegildo.
High-level Characteristics of Or- and Independent
And-parallelism in Prolog.
Int'l. Journal of Parallel Programming,
Vol. 24,
Num. 5,
pages 433-478,
Plenum Press,
1996.
- M. Hermenegildo, F. Rossi.
Strict and Non-Strict Independent
And-Parallelism in Logic Programs:
Correctness, Efficiency, and Compile-Time
Conditions.
Journal of Logic Programming,
Vol. 22,
Num. 1,
pages 1-45,
Elsevier - North Holland,
1995.
- G. Gupta, M. Hermenegildo, V. Santos-Costa.
And-Or Parallel Prolog: A Recomputation Based
Approach.
New Generation Computing,
Vol. 11,
Num. 3-4,
pages 297-323,
Springer Verlag,
1993.
- M. Hermenegildo, K. Greene.
The &-Prolog System: Exploiting Independent
And-Parallelism.
New Generation Computing,
Vol. 9,
Num. 3,4,
pages 233-257,
Springer Verlag,
1991.
- M. Hermenegildo, E. Tick.
Memory Referencing Characteristics and Caching
Performance of AND-Parallel Prolog on
Shared-Memory Architectures.
New Generation Computing,
Vol. 7,
Num. 1,
pages 37-58,
Springer Verlag,
October
1989.
- M. Hermenegildo, R. Warren.
Designing a High-Performance Parallel Logic
Programming System.
Computer Architecture News, Special Issue on Parallel
Symbolic Programming,
Vol. 15,
Num. 1,
pages 43-53,
ACM,
March
1987.
Articles in Refereed Conferences:
- P. Chico de Guzmán, A. Casas, M. Carro, M. V. Hermenegildo.
A Segment-Swapping Approach for Executing Trapped Computations.
PADL'12,
LNCS,
Vol. 7149,
pages 138-152,
Springer Verlag,
January
2012.
- L. Scandolo, C. Kunz, G. Barthe, M. V. Hermenegildo.
Program Parallelization using Synchronized Pipelining.
Proceedings of the 19th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'09),
LNCS,
Vol. 6037,
pages 173-187,
Springer,
2010.
- A. Casas, M. Carro, M. V. Hermenegildo.
A High-Level Implementation of
Non-Deterministic, Unrestricted, Independent
And-Parallelism.
24th International Conference on Logic Programming
(ICLP'08),
LNCS,
Vol. 5366,
pages 651-666,
Springer-Verlag,
December
2008.
- A. Casas, M. Carro, M. V. Hermenegildo.
Towards a High-Level Implementation of Execution
Primitives for Unrestricted, Independent
And-parallelism.
10th International Symposium on Practical Aspects of
Declarative Languages (PADL'08),
LNCS,
Vol. 4902,
pages 230-247,
Springer-Verlag,
January
2008.
- A. Casas, M. Carro, M. V. Hermenegildo.
Annotation Algorithms for Unrestricted Independent
And-Parallelism in Logic Programs.
17th International Symposium on Logic-based Program
Synthesis and Transformation (LOPSTR'07),
LNCS,
Num. 4915,
pages 138-153,
Springer-Verlag,
August
2007.
- M. Carro, M. Hermenegildo.
Concurrency in Prolog Using Threads and a Shared
Database.
1999 International Conference on Logic Programming,
pages 320-334,
MIT Press, Cambridge, MA, USA,
November
1999.
- M. García de la Banda, F. Bueno, M. Hermenegildo.
Towards Independent And-Parallelism in CLP.
Programming Languages: Implementation, Logics, and
Programs,
LNCS,
Num. 1140,
pages 77-91,
Springer-Verlag,
September
1996.
- M. García de la Banda, M. V. Hermenegildo, K. Marriott.
Independence in Dynamically Scheduled Logic Languages.
1996 International Conference on Algebraic and Logic
Programming,
LNCS,
Num. 1139,
pages 47-61,
Springer-Verlag,
September
1996.
- K. Shen, M. Hermenegildo.
Flexible Scheduling for Non-Deterministic,
And-parallel Execution of Logic Programs.
Proceedings of EuroPar'96,
LNCS,
Num. 1124,
pages 635-640,
Springer-Verlag,
August
1996.
- M. Hermenegildo, M. Carro.
Relating Data-Parallelism and And-Parallelism
in Logic Programs.
Proceedings of EURO-PAR'95,
LNCS,
Num. 966,
pages 27-42,
Springer-Verlag,
August
1995.
- M. Hermenegildo, D. Cabeza, M. Carro.
Using Attributed Variables in the Implementation of
Concurrent and Parallel Logic Programming
Systems.
Proc. of the Twelfth International Conference on Logic
Programming,
pages 631-645,
MIT Press,
June
1995.
- E. Pontelli, G. Gupta, M. Hermenegildo.
&ACE: A High-Performance Parallel Prolog
System.
International Parallel Processing Symposium,
pages 564-572,
IEEE Computer Society,
IEEE Computer Society Technical Committee on
Parallel Processing,
April
1995.
- G. Gupta, M. Hermenegildo, E. Pontelli, V. Santos-Costa.
ACE: And/Or-parallel Copying-based Execution of
Logic Programs.
International Conference on Logic Programming,
pages 93-110,
MIT Press,
June
1994.
- M. Olmedilla, F. Bueno, M. Hermenegildo.
Automatic Exploitation of Non-Determinate
Independent And-Parallelism in the Basic
Andorra Model.
Logic Program Synthesis and Transformation, 1993,
Workshops in Computing,
pages 177-195,
Springer-Verlag,
July
1993.
- H. Kuchen, J. Moreno-Navarro, M. Hermenegildo.
Independent AND-Parallel Implementation of
Narrowing.
Proc. 4th Int'l. Symposium on Programming Language
Implementation and Logic Programming,
LNCS,
Num. 631,
pages 24-38,
Springer-Verlag,
August
1992.
- G. Gupta, M. Hermenegildo.
Recomputation based Implementation of And-Or
Parallel Prolog.
Proc. of the 1992 International Conference on Fifth
Generation Computer Systems,
pages 770-782,
Institute for New Generation Computer Technology
(ICOT),
June
1992.
- F. Bueno, M. Hermenegildo.
An Automatic Translation Scheme from Prolog to the
Andorra Kernel Language.
Proc. of the 1992 International Conference on Fifth
Generation Computer Systems,
Vol. 2,
pages 759-769,
Institute for New Generation Computer Technology
(ICOT),
June
1992.
- K. Shen, M. Hermenegildo.
A Simulation Study of Or- and Independent
And-parallelism.
International Logic Programming Symposium,
pages 135-151,
MIT Press,
October
1991.
- G. Gupta, V. Santos-Costa, R. Yang, M. Hermenegildo.
IDIOM: Integrating Dependent And-, Independent
And-, and Or-parallelism.
1991 International Logic Programming Symposium,
pages 152-166,
MIT Press,
October
1991.
- M. Hermenegildo, F. Rossi.
Non-Strict Independent And-Parallelism.
1990 International Conference on Logic Programming,
pages 237-252,
MIT Press,
Association for Logic Programming,
June
1990.
- M. Hermenegildo, K. Greene.
&-Prolog and its Performance: Exploiting
Independent And-Parallelism.
1990 International Conference on Logic Programming,
pages 253-268,
MIT Press,
Association for Logic Programming,
June
1990.
- M. Hermenegildo, F. Rossi.
On the Correctness and Efficiency of Independent
And-Parallelism in Logic Programs.
1989 North American Conference on Logic Programming,
pages 369-390,
MIT Press,
October
1989.
- K. Muthukumar, M. Hermenegildo.
Complete and Efficient Methods for Supporting
Side Effects in Independent/Restricted
And-parallelism.
1989 International Conference on Logic Programming,
pages 80-101,
MIT Press,
June
1989.
- M. Hermenegildo, E. Tick.
Memory Performance of AND-Parallel Prolog on
Shared-Memory Architectures.
Proceedings of the 17th International Conference on
Parallel Processing,
pages 17-22,
IEEE,
August
1988.
- A. Guzmán, M. Hermenegildo.
Constructs and Evaluation Strategies for
Intelligent Speculative Parallelism -
Armageddon Revisited.
1988 ACM Computer Science Conference,
pages 106-115,
ACM,
February
1988.
- M. Hermenegildo.
Relating Goal Scheduling, Precedence, and Memory
Management in AND-Parallel Execution of
Logic Programs.
Fourth International Conference on Logic Programming,
pages 556-575,
MIT Press,
University of Melbourne,
May
1987.
- M. Hermenegildo, R. I. Nasr.
Efficient Management of Backtracking in
AND-parallelism.
Third International Conference on Logic Programming,
LNCS,
Num. 225,
pages 40-55,
Springer-Verlag,
Imperial College,
July
1986.
- M. Hermenegildo.
An Abstract Machine for Restricted AND-parallel
Execution of Logic Programs.
Third International Conference on Logic Programming,
Lecture Notes in Computer Science,
Num. 225,
pages 25-40,
Springer-Verlag,
Imperial College,
July
1986.
- G. J. Lipovski, M. Hermenegildo.
B-LOG: A Branch and Bound Methodology for the
Parallel Execution of Logic Programs.
1985 IEEE International Conference on Parallel
Processing,
pages 560-568,
IEEE Computer Society,
August
1985.
Books and Monographs:
- A. Casas.
Automatic Unrestricted Independent
And-Parallelism in Declarative Multiparadigm
Languages.
Ph.D. Thesis, University of New Mexico (UNM),
Electrical and Computer Engineering Department,
University of New Mexico, Albuquerque, NM 87131-0001
(USA),
September
2008.
- M. Carro.
Some Contributions to the Study of Parallelism and
Concurrency in Logic Programming.
Ph.D. Thesis, Universidad Politécnica de Madrid (UPM),
Facultad Informatica UPM, 28660-Boadilla del Monte,
Madrid-Spain,
November
2001.
- M. García de la Banda.
Independence, Global Analysis, and Parallelism in
Dynamically Scheduled Constraint Logic
Programming.
Ph.D. Thesis, Universidad Politécnica de Madrid (UPM),
Facultad Informatica UPM, 28660-Boadilla del Monte,
Madrid-Spain,
September
1994.
- M. Carro.
Implementation of Non-Determinism and Optimization
of the Memory Usage in the And-Parallel
Execution of Logic Programs.
Ms. Thesis, T. University of Madrid (UPM),
Facultad de Informática, Madrid, 28660,
99 pages,
December
1993.
In Spanish.
- M. Hermenegildo.
An Abstract Machine Based Execution Model for Computer
Architecture Design and Efficient Implementation of
Logic Programs in Parallel.
Ph.D. Thesis, Dept. of Electrical and Computer Engineering (Dept. of
Computer Science TR-86-20), University of Texas at
Austin,
Austin, Texas 78712,
244 pages,
UMI, Boston, MA and U. of Texas,
August
1986.
- M. Hermenegildo.
Computational Models for Sequential and Parallel Execution
of Logic Programs on a Reconfigurable Architecture.
Ms. Thesis, The University of Texas at Austin,
ENS Bldg. 515, Austin, TX 78712,
122 pages,
June
1984.
Articles in Books and Other Collections:
- K. Shen, M. Hermenegildo.
Divided We Stand: Parallel Distributed Stack
Memory Management.
Implementations of Logic Programming Systems,
pages 185-203,
Kluwer Academic Publishers,
1994.
- M. Hermenegildo.
Research on Parallel Logic Language
Implementation and Architecture at ICOT.
The ICOT Research Exchange Report, Vol. 2,
pages 157-174,
Institute for New Generation Computer Technology
(ICOT),
June
1992.
Publications in Refereed Workshops:
- L. Scandolo, C. Kunz, G. Barthe, M. V. Hermenegildo.
Program Parallelization using Synchronized Pipelining.
Pre-proceedings of the 19th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'09),
September
2009.
- A. Casas, M. Carro, M. V. Hermenegildo.
Towards High-Level Execution Primitives for
And-Parallelism: Preliminary Results.
Colloquium on Implementation of Constraint and LOgic
Programming Systems (CICLOPS'07, ICLP associated
workshop),
15 pages,
U. of Evora,
September
2007.
- A. Casas, M. Carro, M. V. Hermenegildo.
Towards A High-Level Implementation of Flexible
Parallelism Primitives for Symbolic
Languages.
Parallel Symbolic Computation (PASCO'07),
2 pages,
ACM Press,
July
2007.
Extended Abstract.
- M. Hermenegildo, D. Cabeza, M. Carro.
On The Uses of Attributed Variables in Parallel
and Concurrent Logic Programming Systems.
Proc. of the 1994 COMPULOG-NET Workshop Parallelism and
Implementation Technologies,
15 pages,
U. of Madrid,
September
1994.
Also provided as attachment UPM-1 of deliverable D4.3/2.
- M. Hermenegildo, M. Carro.
A Note on Data-Parallelism and (And-Parallel)
Prolog.
ICLP WS on Parallel and Data Parallel Execution of
Logic Programs,
16 pages,
June
1994.
- D. Tang, E. Pontelli, G. Gupta, M. Carro.
Last Parallel Call Optimization and Fast
Backtracking in And-parallel Logic
Programming Systems.
ICLP WS on Parallel and Data Parallel Execution of
Logic Programs,
14 pages,
Uppsala University, CS Department, Box 311, S-751
Uppsala, Sweden,
June
1994.
- M. Hermenegildo, The CLIP Group.
Some Methodological Issues in the Design of CIAO
- A Generic, Parallel Concurrent
Constraint System.
Proc. of the 1994 ICOT/NSF Workshop on Parallel and
Concurrent Programming,
U. of Oregon,
March
1994.
- M. Carro, L. Gómez, M. Hermenegildo.
Implementation of an Event Driven Scheme for
Visualizing Parallel Execution of Logic
Programs.
JICSLP'92 Workshop on Parallel Execution,
15 pages,
November
1992.
- M. Carro, L. Gómez, M. Hermenegildo.
Implementation of an Event Driven Scheme for
Visualizing Parallel Execution of Logic
Programs.
Primer Congreso Nacional de Programación
Declarativa,
pages 262-278,
FIM/UPM,
September
1992.
- G. Gupta, M. Hermenegildo, V. Santos-Costa.
Generalized Stack Copying for And-Or Parallel
Implementations.
JICSLP'92 Workshop on Parallel Execution,
15 pages,
1992.
- G. Gupta, M. Hermenegildo.
ACE: And/Or-parallel Copying-based Execution of
Logic Programs.
ICLP '91 Workshop on Parallel Execution of Logic
Programs,
LNCS,
Num. 569,
pages 146-159,
Springer-Verlag,
December
1991.
- I. Walker, M. Hermenegildo.
An application of AI techniques and parallel
implementation technology to the trajectory planning
problem for redundant robot manipulators.
1987 IEEE International Workshop on Robotics: Trends,
Technology, and Applications,
pages 53-61,
ETSIInf,
IEEE,
February
1988.
Technical Reports and Manuals:
- Guillermo Vigueras, Salvador Tamarit, Manuel Carro, Julio Mariño.
Towards a Rule-Based Approach to Generate High-Performance Scientific Code.
Num. CLIP1/2015.0,
8 pages,
The CLIP Lab,
March
2015.
https://cliplab.org/papers/vigueras15-rule-based.pdf.
- P. Chico de Guzmán, A. Casas, M. Carro, M. V. Hermenegildo.
A Simulation Study on Parallel
Backtracking with Solution Memoing for
Independent And-Parallelism.
Num. CLIP1/2011.0,
12 pages,
Technical University of Madrid (UPM),
January
2011.
- A. Casas, M. Carro, M. V. Hermenegildo.
A High-Level Implementation of
Non-Deterministic, Unrestricted, Independent
And-Parallelism.
Num. TR-CS-2008-10,
University of New Mexico (UNM),
September
2008.
- A. Casas, M. Carro, M. V. Hermenegildo.
Automatic Unrestricted Independent
And-Parallelism in Logic Programs.
Num. CLIP11/2007.0,
Technical University of Madrid (UPM),
December
2007.
Under consideration for publication in Theory and
Practice of Logic Programming (TPLP).
- A. Casas, M. Carro, M. V. Hermenegildo.
Towards a High-Level Implementation of Execution
Primitives for Non-restricted, Independent
And-parallelism.
Num. TR-CS-2007-16,
University of New Mexico (UNM),
October
2007.
- A. Casas, M. Carro, M. V. Hermenegildo.
Annotation Algorithms for Unrestricted Independent
And-Parallelism in Logic Programs.
Num. TR-CS-2007-14,
University of New Mexico (UNM),
September
2007.
- A. Casas, M. Carro, M. V. Hermenegildo.
Towards a High-Level Implementation of Execution
Primitives for Non-Restricted, Independent
And-Parallelism.
Num. CLIP7/2007.0,
Technical University of Madrid (UPM),
August
2007.
- A. Casas, M. Carro, M. V. Hermenegildo.
Annotation Algorithms for Unrestricted Independent
And-Parallelism in Logic Programs.
Num. CLIP5/2007.0,
Technical University of Madrid (UPM),
June
2007.
- A. Kostenko, M. Carro.
A Preliminary DHT Infrastructure for Ciao.
Num. CLIP12/2006.0,
Technical University of Madrid (UPM),
August
2006.
- F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla (Eds.).
The Ciao System. Reference Manual (V1.10).
School of Computer Science, Technical University of
Madrid (UPM),
June
2004.
System and on-line version of the manual available at
https://ciao-lang.org.
- F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla.
The Ciao Prolog System. Reference Manual
(V1.8).
Num. CLIP4/2002.1,
School of Computer Science, Technical University of
Madrid (UPM),
May
2002.
System and on-line version of the manual available at
https://ciao-lang.org.
- F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla.
The Ciao Prolog System. Reference Manual
(V1.6).
Num. CLIP5/2000.1,
School of Computer Science, Technical University of
Madrid (UPM),
July
2000.
System and on-line version of the manual available at
https://ciao-lang.org.
- F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla.
The Ciao Prolog System. Reference Manual
(V1.0).
Num. CLIP11/99.1,
School of Computer Science, Technical University of
Madrid (UPM),
June
1999.
System and on-line version of the manual available at
https://ciao-lang.org.
- F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla.
The Ciao Prolog System. Reference Manual
(V0.6).
Num. CLIP12/98.1,
School of Computer Science, Technical University of
Madrid (UPM),
July
1998.
System and on-line version of the manual available at
https://ciao-lang.org.
- F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla.
The Ciao Prolog System. Reference Manual.
Num. CLIP3/97.1,
School of Computer Science, Technical University of
Madrid (UPM),
August
1997.
System and on-line version of the manual available at
https://ciao-lang.org.
- M. Hermenegildo, M. Carro.
A Note on Data-Parallelism and (And-Parallel)
Prolog.
Num. CLIP 6/94.0,
15 pages,
School of Computer Science, Technical University of
Madrid (UPM),
June
1995.
- E. Pontelli, G. Gupta, D. Tang, M. Hermenegildo, M. Carro.
Efficient Implementation of And-parallel Prolog
Systems.
Num. CLIP4/95.0,
T.U. of Madrid (UPM),
June
1995.
- M. Hermenegildo, D. Cabeza, M. Carro.
On The Uses of Attributed Variables in Parallel
and Concurrent Logic Programming Systems.
Num. CLIP 5/94.0,
17 pages,
School of Computer Science, Technical University of
Madrid (UPM),
June
1994.
Presented at the ILPS'94 Post Conference Workshop on Design
and Implementation of Parallel Logic Programming
Systems, Available from https://www.cliplab.org/.
- K. Shen, M. Hermenegildo.
A Flexible Scheduling and Memory Management
Scheme for Non-Deterministic, And-parallel
Execution.
Num. CLIP6/94.0,
T.U. of Madrid (UPM),
June
1994.
- K. Shen, M. Hermenegildo.
A Flexible Scheduling and Memory Management
Scheme for Non-Deterministic, And-parallel
Execution of Logic Programs.
Num. CLIP 4/93.0,
T.U. of Madrid (UPM),
April
1993.
Presented at the ICLP'93 Post Conference Workshop on Logic
Program Implementation.
- M. Carro, L. Gómez, M. Hermenegildo.
Using VisAndOr to Debug and Understand
Parallel Execution of Logic Programs.
Num. CLIP 1/93.0,
School of Computer Science, Technical University of
Madrid,
February
1993.
- G. Gupta, M. Hermenegildo, E. Pontelli, V. Santos-Costa.
ACE: And/Or-parallel Copying-based Execution of Logic
Programs.
New Mexico State University, Computer Science Dept.,
1993.
- G. Gupta, M. Hermenegildo, E. Pontelli, V. Santos-Costa.
ACE: And/Or-parallel Copying-based Execution of
Logic Programs.
Num. CLIP7/92.0,
U. of Madrid (UPM) and New Mexico S.U.,
November
1992.
- F. Bueno, M. Hermenegildo.
Results on Automatic Translation from Prolog to the
Andorra Kernel Language.
Num. CLIP2/91.0,
T.U. of Madrid (UPM),
September
1991.
theory in technical report, “Towards an Automatic
Translation Algorithm from Prolog to the Andorra
Kernel Language”.
- G. Gupta, M. Hermenegildo.
ACE: And/Or-parallel Copying-based Execution of
Logic Programs.
Num. without,
T.U. of Madrid (UPM),
June
1991.
also in Proc. ICLP91 Workshop on Parallel Execution of
Logic Programs.
- G. Gupta, V. Santos-Costa, R. Yang, M. Hermenegildo.
IDIOM: A Model Intergrating Dependent-,
Independent-, and Or-parallelism.
Num. CLIP8/91.0,
University of Bristol,
March
1991.
- K. Shen, M. Hermenegildo.
A Simulation Study of Or- and Independent
And-parallelism.
Num. FIM-60.1/AI/90,
Facultad de Informatica, U. P. Madrid, 28660 Boadilla
del Monte, Madrid, Spain,
October
1990.
- M. Hermenegildo, R. I. Nasr.
A Tool for Visualizing Independent
And-parallelism in Logic Programs.
Num. CLIP1/90.0,
T.U. of Madrid (UPM),
1990.
Presented at the NACLP-90 Workshop on Parallel Logic
Programming, Austin, TX.
- M. Hermenegildo, K. Greene.
&-Prolog and its Performance: Exploiting
Independent And-Parallelism.
Num. ACA-ST-536-89,
MCC, Austin, TX 78759,
November
1989.
- M. Hermenegildo, F. Rossi.
Strict and Non-Strict Independent
And-Parallelism in Logic Programs:
Correctness, Efficiency, and Compile-Time
Conditions.
Num. ACA-ST-537-89,
Microelectronics and Computer Technology Corporation
(MCC), Austin, TX 78759,
November
1989.
- M. Hermenegildo, K. Muthukumar, K. Greene, F. Rossi, R. I. Nasr.
An Overview of the PAL Project.
Num. ACT-ST-234-89,
Microelectronics and Computer Technology Corporation
(MCC), Austin, TX 78759,
September
1989.
- M. Hermenegildo, F. Rossi.
On the Correctness and Efficiency of Independent
And-Parallelism in Logic Programs.
Num. ACA-ST-032-89,
Microelectronics and Computer Technology Corporation
(MCC), Austin, TX 78759,
January
1989.
- M. Hermenegildo, E. Tick.
Memory Performance of AND-Parallel Prolog on
Shared-Memory Architectures.
Num. ACA-ST-036-88,
Microelectronics and Computer Technology Corporation
(MCC), Austin, TX 78759,
January
1988.
- M. Hermenegildo, E. Tick.
Performance Evaluation of the RAP-WAM Restricted
AND-Parallel Architecture on Shared Memory
Multiprocessors.
Num. PP-085-87,
Microelectronics and Computer Technology Corporation
(MCC), Austin, TX 78759,
March
1987.
- R. Warren, M. Hermenegildo.
Experimenting with Prolog: An Overview.
Num. ACA/PP 43,
Microelectronics and Computer Technology Corporation
(MCC), 3500 W. Balcones Center Dr. Austin, TX
78759,
March
1987.
- M. Hermenegildo.
Relating Goal Scheduling, Precedence, and Memory Management
in AND-Parallel Execution of Logic Programs.
Num. PP-408-86,
Microelectronics and Computer Technology Corporation
(MCC), Austin, TX 78759,
December
1986.
- M. Hermenegildo, G. J. Lipovski, R. Warren.
Goal Scheduling and Memory Management in Parallel Logic
Systems.
Num. PP-083-86,
Microelectronics and Computer Technology Corporation
(MCC), Austin, TX 78759,
March
1986.
- M. Hermenegildo.
A Restricted AND-parallel Execution Model and Abstract
Machine for Prolog Programs.
Num. PP-104-85,
Microelectronics and Computer Technology Corporation
(MCC), Austin, TX 78759,
October
1985.
- Sanjay Deshpande, Matt Sejnowski, Manuel Hermenegildo, Julio de Melo, Roy Jenevein, Ashok Adiga, Allan Clarke.
TRAC (Texas Reconfigurable Array Computer) - Users' Manual.
1985.
Next: Publications in Distributed/Internet Execution, Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbytopic Previous: Publications in Task Granularity Last updated on Thu Nov 28 10:27:20 AM CET 2024