Next: Resultados mas significativos alcanzados
Up: Document: report_y3_public
Previous: Visualización y análisis de
References
- BCHP96
-
F. Bueno, D. Cabeza, M. Hermenegildo y G. Puebla.
Global Analysis of Standard Prolog Programs.
En European Symposium on Programming, número 1058 en LNCS,
páginas 108-124, Sweden, Abril 1996. Springer-Verlag.
- BDGH94
-
F. Bueno, S. K. Debray, M. Garcıa de la Banda y M. Hermenegildo.
QE-Andorra: A Quiche-Eating Implementation of the
Basic Andorra Model.
Technical Report CLIP13/94.0, T.U. of Madrid (UPM), Septiembre
1994.
- BGCH93
-
F. Bueno, M. Garcıa de la Banda, D. Cabeza y M. Hermenegildo.
The &-Prolog Compiler System -- Automatic
Parallelization Tools for LP.
Technical Report CLIP5/93.0, Computer Science Dept., Technical U. of
Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte,
Madrid-Spain, Junio 1993.
- BGH94a
-
F. Bueno, M. Garcıa de la Banda y M. Hermenegildo.
A Comparative Study of Methods for Automatic Compile-time
Parallelization of Logic Programs.
En Parallel Symbolic Computation, páginas 63-73. World
Scientific Publishing Company, Septiembre 1994.
- BGH94b
-
F. Bueno, M. Garcıa de la Banda y M. Hermenegildo.
Effectiveness of Global Analysis in Strict
Independence-Based Automatic Program Parallelization.
En International Symposium on Logic Programming, páginas
320-336. MIT Press, Noviembre 1994.
- Bue94
-
F. Bueno Carrillo.
Automatic Optimisation and Parallelisation of Logic
Programs through Program Transformation.
Tesis doctoral, Universidad Politécnica de Madrid (UPM), Octubre
1994.
- CGH93
-
M. Carro, L. Gómez y M. Hermenegildo.
Some Paradigms for Visualizing Parallel Execution of
Logic Programs.
En 1993 International Conference on Logic Programming,
páginas 184-201. MIT Press, Junio 1993.
- CH94
-
D. Cabeza y M. Hermenegildo.
Extracting Non-strict Independent And-parallelism Using
Sharing and Freeness Information.
En 1994 International Static Analysis Symposium, número 864
en LNCS, páginas 297-313, Namur, Belgium, Septiembre 1994.
Springer-Verlag.
- CH96
-
D. Cabeza y M. Hermenegildo.
Implementing Distributed Concurrent Constraint Execution in
the CIAO System.
En Proc. of the 1996 APPIA-GULP-PRODE'96 Joint conference on
Declarative Programming, páginas 67-78, San Sebastian, Spain, Julio
1996. U. of the Basque Country.
Available from
http://www.clip.dia.fi.upm.es/.
- DGH96
-
S. K. Debray, P. López Garcıa y M. Hermenegildo.
Towards Precise Non-Failure Analysis for Logic
Programs.
Technical Report TR, number = CLIP18/96.0, T.U. of Madrid
(UPM), Facultad Informática UPM, 28660-Boadilla del Monte Madrid-Spain,
Noviembre 1996.
- DGHL94
-
S. K. Debray, P. López Garcıa, M. Hermenegildo y N.-W. Lin.
Estimating the Computational Cost of Logic Programs.
En Static Analysis Symposium, SAS'94, número 864 en LNCS,
páginas 255-265, Namur, Belgium, Septiembre 1994. Springer-Verlag.
- DLH90
-
S. K. Debray, N.-W. Lin y M. Hermenegildo.
Task Granularity Analysis in Logic Programs.
En Proc. of the 1990 ACM Conf. on Programming Language Design
and Implementation, páginas 174-188. ACM Press, Junio 1990.
- FCH96
-
M. Fernández, M. Carro y M. Hermenegildo.
IDRA (IDeal Resource Allocation): Computing Ideal
Speedups in Parallel Logic Programming.
En Proceedings of EuroPar'96, número 1124 en LNCS,
páginas 724-734. Springer-Verlag, Agosto 1996.
- Gar94
-
M. Garcıa de la Banda.
Independence, Global Analysis, and Parallelism in
Dynamically Scheduled Constraint Logic Programming.
Tesis doctoral, Universidad Politécnica de Madrid (UPM), Facultad
Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, Septiembre 1994.
Also provided as attachment of deliverable D3.2-3.3/2.
- GBH96
-
M. Garcıa de la Banda, F. Bueno y M. Hermenegildo.
Towards Independent And-Parallelism in CLP.
En Programming Languages: Implementation, Logics, and Programs,
número 1140 en LNCS, páginas 77-91, Aachen, Germany, Septiembre 1996.
Springer-Verlag.
- GHB96
-
M. Garcıa de la Banda, M. Hermenegildo, M. Bruynooghe, V. Dumortier,
G. Janssens y W. Simoens.
Global Analysis of Constraint Logic Programs.
ACM Transactions on Programming Languages and Systems,
18(5):564-615, 1996.
- GHM93
-
M. Garcıa de la Banda, M. Hermenegildo y K. Marriott.
Independence in Constraint Logic Programs.
En 1993 International Logic Programming Symposium, páginas
130-146. MIT Press, Cambridge, MA, Octubre 1993.
- GHPSC94
-
G. Gupta, M. Hermenegildo, E. Pontelli y V. Santos-Costa.
ACE: And/Or-parallel Copying-based Execution of Logic
Programs.
En International Conference on Logic Programming, páginas
93-110. MIT Press, Junio 1994.
- HBGP95
-
M. Hermenegildo, F. Bueno, M. Garcıa de la Banda y G. Puebla.
The CIAO Multi-Dialect Compiler and System: An
Experimentation Workbench for Future (C)LP Systems.
En Proceedings of the ILPS'95 Workshop on Visions for the Future
of Logic Programming, Portland, Oregon, USA, Diciembre 1995.
Available from
http://www.clip.dia.fi.upm.es/.
- HC96
-
M. Hermenegildo y M. Carro.
Relating Data-Paralllelism and (And-) Parallelism in
Logic Programs.
The Computer Languages Journal, 22(2/3):143-163, 1996.
- HCC95
-
M. Hermenegildo, D. Cabeza y M. Carro.
Using Attributed Variables in the Implementation of
Concurrent and Parallel Logic Programming Systems.
En Proc. of the Twelfth International Conference on Logic
Programming, páginas 631-645. MIT Press, Junio 1995.
- HPMS95
-
M. Hermenegildo, G. Puebla, K. Marriott y P. Stuckey.
Incremental Analysis of Logic Programs.
En International Conference on Logic Programming, páginas
797-811. MIT Press, Junio 1995.
- HR89
-
M. Hermenegildo y F. Rossi.
On the Correctness and Efficiency of Independent
And-Parallelism in Logic Programs.
En 1989 North American Conference on Logic Programming,
páginas 369-390. MIT Press, Octubre 1989.
- HR95
-
M. Hermenegildo y F. Rossi.
Strict and Non-Strict Independent And-Parallelism in
Logic Programs: Correctness, Efficiency, and Compile-Time
Conditions.
Journal of Logic Programming, 22(1):1-45, 1995.
- HtCg94
-
M. Hermenegildo y the CLIP group.
Some Methodological Issues in the Design of CIAO - A
Generic, Parallel, Concurrent Constraint System.
En Principles and Practice of Constraint Programming, número
874 en LNCS, páginas 123-133. Springer-Verlag, Mayo 1994.
- LH95
-
P. López Garcıa y M. Hermenegildo.
Efficient Term Size Computation for Granularity Control.
En International Conference on Logic Programming, páginas
647-661. The MIT Press, Junio 1995.
- LHD94
-
P. López Garcıa, M. Hermenegildo y S. K. Debray.
Towards Granularity Based Control of Parallelism in Logic
Programs.
En Hoon Hong, editor, Proc. of First International Symposium on
Parallel Symbolic Computation, PASCO'94, páginas 133-144. World
Scientific, Septiembre 1994.
- LHD96
-
P. López Garcıa, M. Hermenegildo y S. K. Debray.
A Methodology for Granularity Based Control of
Parallelism in Logic Programs.
Journal of Symbolic Computation, Special Issue on Parallel
Symbolic Computation, (22):715-734, 1996.
- MGH94
-
K. Marriott, M. Garcıa de la Banda y M. Hermenegildo.
Analyzing Logic Programs with Dynamic Scheduling.
En 20th. Annual ACM Conf. on Principles of Programming
Languages, páginas 240-254. ACM, Enero 1994.
- MH90
-
K. Muthukumar y M. Hermenegildo.
The CDG, UDG, and MEL Methods for Automatic
Compile-time Parallelization of Logic Programs for Independent
And-parallelism.
En Int'l. Conference on Logic Programming, páginas
221-237. MIT Press, Junio 1990.
- MH91
-
K. Muthukumar y M. Hermenegildo.
Combined Determination of Sharing and Freeness of Program
Variables Through Abstract Interpretation.
En 1991 International Conference on Logic Programming,
páginas 49-63. MIT Press, Junio 1991.
- PGH95
-
E. Pontelli, G. Gupta y M. Hermenegildo.
&ACE: A High-Performance Parallel Prolog System.
En International Parallel Processing Symposium, páginas
564-572. IEEE Computer Society Technical Committee on Parallel Processing,
IEEE Computer Society, Abril 1995.
- PGT96
-
E. Pontelli, G. Gupta, D. Tang, M. Carro y M. Hermenegildo.
Improving the Efficiency of Nondeterministic And-parallel
Systems.
Computer Languages Journal, 22(2/3):115-142, 1996.
- PH95
-
G. Puebla y M. Hermenegildo.
Implementation of Multiple Specialization in Logic
Programs.
En Proc. ACM SIGPLAN Symposium on Partial Evaluation and
Semantics Based Program Manipulation, páginas 77-87. ACM Press,
Junio 1995.
- SH94
-
K. Shen y M. Hermenegildo.
Divided We Stand: Parallel Distributed Stack Memory
Management.
En E. Tick y G. Succi, editores, Implementations of Logic
Programming Systems, páginas 185-203. Kluwer Academic Publishers, 1994.
- SH96
-
K. Shen y M. Hermenegildo.
High-level Characteristics of Or- and Independent
And-parallelism in Prolog.
Int'l. Journal of Parallel Programming, 24(5):433-478, 1996.
<webmaster@clip.dia.fi.upm.es>
Last Modified: Fri May 9 17:59:16 MET DST 1997