CLIP Lab
The Computational logic, Languages, Implementation, and Parallelism Laboratory

Publications in Simulation of Parallel Systems


Articles in Refereed Journals:

  1. 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.


Articles in Refereed Conferences:

  1. C. Carreras, M. V. Hermenegildo. Grid-based Histogram Arithmetic for the Probabilistic Analysis of Functions (also available in ps). Symposium on Abstraction, Reformulation and Approximation (SARA-2000), LNAI, Springer-Verlag, July 2000.

  2. M. Fernández, M. Carro, M. Hermenegildo. IDRA (IDeal Resource Allocation): Computing Ideal Speedups in Parallel Logic Programming. Proceedings of EuroPar'96, LNCS, Num. 1124, pages 724-734, Springer-Verlag, August 1996.

  3. C. Carreras, C. López-Barrio, M. Hermenegildo. Analytic Model of a Cache-only Memory Architecture. Parallel Architectures and Languages Europe - PARLE'94, LNCS, Num. 817, pages 336-351, Springer-Verlag, July 1994.

  4. K. Shen, M. Hermenegildo. A Simulation Study of Or- and Independent And-parallelism. International Logic Programming Symposium, pages 135-151, MIT Press, October 1991.


Publications in Refereed Workshops:

  1. M. Fernández, M. Carro, M. Hermenegildo. IDRA (IDeal Resource Allocation): A Tool for Computing Ideal Speedups. ICLP WS on Parallel and Data Parallel Execution of Logic Programs, 16 pages, June 1994.

  2. M. Hermenegildo, M. Carro. Experimenting with Independent And-Parallel Prolog using Standard Prolog. Jornadas Nacionales de Programación Declarativa, pages 478-497, U. Malaga, October 1991.


Technical Reports and Manuals:

  1. M. Fernández, M. Carro, M. Hermenegildo. IDRA (IDeal Resource Allocation): A Tool for Computing Ideal Speedups. Num. FIM26.3/AI/92, 16 pages, School of Computer Science, Technical University of Madrid, September 1992. Presented at the ICLP'94 Post Conference Workshop on Parallel and Data Parallel Execution of Logic Programs.

  2. M. Hermenegildo, M. Carro. Experimenting with Independent And-Parallel Prolog using Standard Prolog. 24 pages, U. of Madrid (UPM), October 1991. Presented at the 1991 Spanish Workshop on Declarative Programming, Malaga.

  3. 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.

  4. C. Carreras, M. Hermenegildo. Towards an Analytical Model of the Data Diffusion Machine. UPM (PEPMA ESPRIT Project technical report), 1990.


next up previous Clip_button.gif
Next: Publications in Quality of Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbytopic Previous: Publications in Open Source
Last updated on Sun 08 Aug 2021 10:28:03 PM CEST