Next: About this document ...
Up: repspringer
Previous: Acknowledgments
- 1
-
A. AGARWAL, R. BIANCHINI, D. CHAIKEN, K. L. JOHNSON, D. KRANZ, J. KUBIATOWICZ,
B. LIM, K. MACKENZIE, and D. YEUNG.
The MIT Alewife Machine: Architecture and Performance.
In 22nd Annual International Symposium on Computer Architecture
(ISCA'95), June 1995.
- 2
-
ALI, K. A. M. and KARLSSON, R.
The Muse Or-parallel Prolog Model and its Performance.
In Proceedings of the North American Conference on Logic
Programming, pages 757-776. MIT Press, October 1990.
- 3
-
C. L. AMORIM, R. BIANCHINI, G. SILVA, R. PINTO, M. HOR-MEYLL, M. de MARIA,
L. WHATELY, and J. BARROS Jr.
A Segunda Geração de Computadores de Alto Desempenho da
COPPE/UFRJ.
In VII Simpósio Brasileiro de Arquitetura de Computadores,
SBAC-PAD, July 1996.
- 4
-
AZEVEDO, S. A. and BARBOSA, J. L. V. (Orientador).
Moda: Um analisador estático de modos e dependências para
programação em lógica.
Projeto de diplomação, Universidade Católica de Pelotas,
Pelotas: UCPel, 1998.
- 5
-
AZEVEDO, S. C., BARBOSA, J. L . V., GEYER, C. F. R., and CASTRO, L. F.
P.
Integração party-granlog: Interpretação abstrata aplicada a
paralelização de programas em lógica.
III Congresso Argentino de Ciência de la Computacion (CACIC
98), 1998.
Neuquen, Argentina.
- 6
-
REEM BAHGAT.
Solving Resource Allocation Problems in Pandora.
Technical report, Imperial College, Department of Computing, 1990.
- 7
-
REEM BAHGAT.
Non-Deterministic Concurrent Logic Programming in Pandora,
volume 37.
World Scientific, Singapore, 1993.
Series in Computer Science.
- 8
-
J. L. V. BARBOSA and C. F. R. GEYER.
Análise de Complexidade na Programação em Lógica:
Taxonomia, Modelo Granlog e Análise OU.
In XXIII Conferência Latino Americana de Informática, V
Encontro Chileno de Computação da Sociedade Chilena de Computação
(CLEI - PANEL'97), November 1997.
- 9
-
BARBOSA, J. L. V. and GEYER, C. F. R.
Um modelo para análise automática de granulosidade na
programação em lógica.
X SIMPÓSIO BRASILEIRO DE ARQUITETURA DE COMPUTADORES -
PROCESSAMENTO DE ALTO DESEMPENHO, page 639, July 1995.
Canela, RS.
- 10
-
BARBOSA, J. L. V. and GEYER, C. F. R.
Análise de grãos na programação em lógica.
Seminário Integrado de Software e Hardware, 1996.
Recife, PE.
- 11
-
BARBOSA, J. L. V. and GEYER, C. F. R.
Análise global na programação em lógica.
Simp'osio Brasileiro de Linguagens de Programação, 1996.
Belo Horizonte, MG.
- 12
-
BARBOSA, J. L. V. and GEYER, C. F. R.
Análise de complexidade na programação em lógica: Taxonomia,
modelo granlog e análise ou.
XXIII Conferência Latino Americana de Informática/V Encontro
Chileno de Computação da Sociedade Chilena de Computação (CLEI -
PANEL'97), 1997.
ValParaíso, Chile.
- 13
-
BARBOSA, J. L. V., WERNER, O, and GEYER, C. F. R.
Automatic granularity analysis in logic programming.
In TENTH LOGIC PROGRAMMING WORKSHOP - WLP94, ZURICH: INSTITUT
FOR INFORMATIK DER UNIVERSITE ZURICH, September 1994.
- 14
-
BARBOSA, J.L.V.
Granlog: Um modelo para análise automática de granulosidade na
programação em lógica.
Dissertação de mestrado, Universidade Federal do Rio Grande do
Sul, 1996.
- 15
-
BEAUMONT, A., RAMAN, S. M., SZEREDI, P., and WARREN, D. H. D.
Flexible Scheduling of OR-Parallelism in Aurora: The
Bristol Scheduler.
In PARLE91: Conference on Parallel Architectures and Languages
Europe, volume 2, pages 403-420. Springer Verlag, June 1991.
- 16
-
V. BENJUMEA and J. M. TROYA.
A Static Implementation of the Basic Andorra Model for Distributed
Memory Systems.
In Post-JICSLP96 Workshop on Parallelism and Implementation of
Logic Programming Systems, 1996.
Bonn, Germany.
- 17
-
JOHAN BEVEMYR, THOMAS LINDGREN, and HÄKAN MILLROTH.
Reform Prolog: The Language and its Implementation.
In Proceedings of the Tenth International Conference on Logic
Programming, pages 283-298. MIT Press, June 1993.
- 18
-
BRAND, P.
Wavefront Scheduling.
Internal Report, Gigalips Project, 1988.
- 19
-
J. BRIAT, M. FAVRE, C. GEYER, and J. CHASSIN.
Scheduling of Or-parallel Prolog on a Scalable, Reconfigurable, Distributed-Memory Multiprocessor.
In Proceedings of Parallel Architecture and Languages Europe.
Springer Verlag, 1991.
- 20
-
GEYER, C. e CHASSIN, J. BRIAT, J., FABRE, M.
Opera: a parallel prolog system and its implementation on supernode.
In International Workshop on Compilers for Parallel Computers,
1990.
- 21
-
BUTLER, R., LUSK, E., McCUNE, W., and OVERBEEK, R.
Parallel logic programming for numeric applications.
In Ehud Shapiro, editor, Third International Conference on Logic
Programming, London, pages 375-388. Springer-Verlag, 1986.
- 22
-
CALDERWOOD, A. and SZEREDI, P.
Scheduling or-parallelism in Aurora - the Manchester scheduler.
In Proceedings of the Sixth International Conference on Logic
Programming, pages 419-435. MIT Press, June 1989.
- 23
-
VANUSA MENDITI CALEGARIO.
Análise de Desempenho de Sistemas de Programação Lógica.
Master's thesis, COPPE/Sistemas, UFRJ, MSc. thesis, Mar 1999.
- 24
-
VANUSA MENDITI CALEGARIO and INÊS DE CASTRO DUTRA.
Parallel Conventional Systems versus Parallel Logic Programming
Systems on Distributed Shared Memory Architectures.
Technical Report ES-489/98, COPPE/Systems Engineering and Computer
Science, Dezembro 1998.
- 25
-
CALEGARIO, V. M. and DUTRA, I. C.
Performance Comparison between Conventional and Logic Programming
Systems.
Technical Report ES-478/98, COPPE/Systems Engineering and Computer
Science, Setembro 1998.
- 26
-
CASTRO, L. F. P.
Um modelo analisador estático baseado na interpretação
abstrata direcionado à paralelização de programas em lógica.
Dissertação de mestrado, Universidade Federal do Rio Grandedo
Sul, 1997.
- 27
-
CASTRO, L. F. P. and GEYER, C. F. R.
ParTy - A Parallel-Types Analyser.
together with the ILPS'97, Oct 1997.
- 28
-
CENTENO, A. P. B. and GEYER, C. F. R.
Penelope: Um modelo de escalonador hierárquico para o sistema plosys.
In X Simpósio Brasileiro de Arquitetura de Computadores e
Processamento de Alto Desempenho, 1998.
Búzios, RJ.
- 29
-
CLOCKSIN, W. F.
Principles of the DelPhi parallel inference machine.
Computer Journal, 30(5):386-392, 1987.
- 30
-
J.S CONERY.
The AND/OR Process Model for Parallel Interpretation of Logic
Programs.
PhD thesis, University of California at Irvine, 1983.
- 31
-
CORREIA, M. E., SILVA, F. M. A., and SANTOS COSTA, V.
The SBA: Exploiting orthogonality in OR-AND Parallel Systems.
In Proceedings of the 1997 International Logic Programming
Symposium, Outubro 1997.
Also published as Technical Report DCC-97-3, DCC - FC & LIACC,
Universidade do Porto, April, 1997.
- 32
-
COSTA, C. A.
Uma proposta de escalonamento distribuído para a exploração do
paralelismo na programação em lógica.
Dissertação de mestrado, CPGCC - UFRGS, July 1998.
- 33
-
COSTA, C. A. and GEYER, C. F. R.
Uma proposta de escalonamento distribuiido para exploração
de paralelismo na programação em lógica.
In X Simpósio Brasileiro de Arquitetura de Computadores e
Processamento de Alto Desempenho, 1998.
Búzios, RJ.
- 34
-
P. COUSOT and R. COUSOT.
Abstract Interpretation: A Unified Lattice Model for Static Analysis
of Programs by Construction or Approximation of Fixpoints.
In ACM SYMP. ON PRINCIPLES OF PROGRAMMING LANGUAGES, 4. ACM
Press, 1977.
- 35
-
BARRY CRABTREE.
A clustering system to network control, British Telecom, March
1991.
- 36
-
MÁRCIO GONÇALVES da SILVA.
Influência de Parâmetros Arquiteturais em Sistemas Paralelos
Programação Lógica.
Master's thesis, COPPE/Sistemas, UFRJ, MSc. thesis, Mar 1999.
- 37
-
DEBRAY, S. K., GARCÍA, P. L., HERMENEGILDO, M., and LIN, N.
Estimating the computacional cost of logic programs.
In International Static Analysis Symposium, volume 864 of
Lecture Notes in Computer Science, Namur, Belgium, September 1994.
Springer-Verlag.
- 38
-
DEBRAY, S. K. and LIN, N.
Cost analysis of logic programs.
ACM Transactions on Programming Languages and Systems,
15(5):826-875, November 1993.
- 39
-
A. K. DEWDNEY.
Mathematical Recreations - A Compendium of Math Abuse from around
the World.
Scientific American, 263(5):142-145, September 1990.
- 40
-
DANIEL DIAZ and PHILIPPE CODOGNET.
A Minimum Extension of the WAM for clp(FD).
In 10th International Conference on Logic Programming, pages
774-792. The MIT Press, 1993.
- 41
-
TERRENCE DISZ and EWING LUSK.
A Graphical Tool for Observing the Behavior of Parallel Logic
Programs.
In Proceedings of the 1987 International Logic Programming
Symposium, pages 46-53, 1987.
- 42
-
I. C. DUTRA.
A Flexible Scheduler for Andorra-I.
In A Beaumont and G. Gupta, editors, Lecture Notes in Computer
Science 569, Parallel Execution of Logic Programs, pages 70-82.
Springer-Verlag, June 1991.
- 43
-
I. C. DUTRA.
Strategies for Scheduling And- and Or-Work in Parallel Logic
Programming Systems.
In Proceedings of the 1994 International Logic Programming
Symposium, pages 289-304. MIT Press, 1994.
Also available as technical report CSTR-94-09, from the Department
of Computer Science, University of Bristol, England.
- 44
-
I. C. DUTRA.
Distributing And- and Or-Work in the Andorra-I Parallel Logic
Programming System.
PhD thesis, University of Bristol, Department of Computer Science,
February 1995.
available at http://www.cos.ufrj.br/ines.
- 45
-
I. C. DUTRA.
Performance Analysis of a Strategy to Distribute And-work and
Or-work in Parallel Logic Programming Systems.
In Proceedings of the VIII Brazilian Symposium on Computer
Architecture and High Performance Processing - SBAC-PAD, pages 449-463,
1995.
- 46
-
I. C. DUTRA.
Distributing And-Work and Or-Work in Parallel Logic Programming
Systems.
In Proceedings of the 29th Hawaii International Conference on
System Sciences, pages 646-655. IEEE, 1996.
- 47
-
INÊS C. DUTRA, V. S. COSTA, M. CARRO, E. PONTELLI, G. GUPTA, and F. SILVA,
editors.
Parallelism and Implementation of Logic and Constraint Logic
Programming.
Nova Science, Inc., 1999.
- 48
-
C. AMZA et. al.
TreadMarks: Shared memory computing on networks of workstations.
IEEE Computer, 19(2):18-28, February 1996.
- 49
-
FERRARI, D. N.
O uso e implementação de informações de granulosidade no
plosys.
Trabalho individual, Universidade Federal Do Rio Grande Do Sul, 1998.
- 50
-
FERRARI, D. N., VARGAS, P. K., GEYER, C. F. R., and BARBOSA, J. L. V.
Modelo de integração plosys-granlog: Aplicação de análise
de granulosidade na exploração do paralelismo ou.
In XXV Conferência Latino Americana de Informática/V
Encontro Chileno de Computação da Sociedade Chilena de Computação
(CLEI - PANEL'98), 1999.
Submitted.
- 51
-
L. GÓMEZ, M. CARRO, and M. HERMENEGILDO.
Some Paradigms for Visualising Parallel Execution of Logic
Programs.
In Proceedings of the Tenth International Conference on Logic
Programming, pages 184-202, 1993.
- 52
-
GREGORY, S.
Parallel Logic Programming in PARLOG.
Addison-Wesley, 1987.
- 53
-
GOPAL GUPTA and BHARAT JAYARAMAN.
On Criteria for Or-parallel Execution of Logic Programs.
In Proceedings of the 1990 North American Conference on Logic
Programming, pages 737-756. MIT Press, October 1990.
- 54
-
GOPAL GUPTA and VíTOR SANTOS COSTA.
And-Or Parallelism in Full Prolog with Paged Binding Arrays.
In LNCS 605, PARLE'92 Parallel Architectures and Languages
Europe, pages 617-632. Springer-Verlag, June 1992.
- 55
-
GUPTA, G., HERMENEGILDO, M., PONTELLI, E., and SANTOS COSTA, V.
ACE: And/Or-parallel Copying-based Execution of Logic Programs.
In Proc. ICLP'94, pages 93-109. MIT Press, 1994.
- 56
-
GUPTA, G., HERMENEGILDO, M., and SANTOS COSTA, V.
And-Or Parallel Prolog: A Recomputation based Approach.
New Generation Computing, 11(3,4):770-782, 1993.
- 57
-
GUPTA, G. and HERMENEGILDO, M. V.
Recomputation based Implementations of And-Or Parallel Prolog.
In International Conference on Fifth Generation Computer
Systems 1992, pages 770-792. ICOT, Tokyo, Japan, June 1992.
- 58
-
GUPTA, G., HERMENEGILDO, M. V., PONTELLI, E., and SANTOS COSTA, V.
ACE: And/Or-parallel Copying-based
Execution of Logic Programs.
In Proceedings of the Eleventh International Conference on Logic
Programming, Italy, June 1994.
- 59
-
GUPTA, G., PONTELLI, E., and HERMENEGILDO, M.
&ACE: A High Performance Parallel Prolog System.
In Proceedings of the First International Symposium on Parallel
Symbolic Computation, PASCO'94, 1994.
- 60
-
HARIDI, S. and JANSSON, S.
Kernel Andorra Prolog and its Computational Model.
In D.H.D. Warren and P. Szeredi, editors, Proceedings of the
Seventh International Conference on Logic Programming, pages 31-46. MIT
Press, 1990.
- 61
-
MANUEL HERMENEGILDO.
An Abstract Machine for Restricted And-Parallel Execution of Logic
Programs.
In Ehud Shapiro, editor, Proceedings of the Third International
Conference on Logic Programming, pages 25-39. Springer-Verlag, 1986.
- 62
-
HERMENEGILDO, M. V. and GREENE, K.
&-Prolog and its Performance: Exploiting Independent
And-Parallelism.
In Proceedings of the Seventh International Conference on Logic
Programming, pages 253-268. MIT Press, June 1990.
- 63
-
LYDIA T. HLUCHOWECKYJ.
Recognising Road Marking Structures for Autonomous Vehicle
Navigation using Computer Vision.
PhD thesis, University of Bristol, Bristol, England, 1993.
- 64
-
DOUGLAS R. HOFSTADTER.
Gödel, Escher, Bach: an eternal golden braid.
Harmondsworth: Penguin, 1980.
- 65
-
I. C. DUTRA and V. SANTOS COSTA and J. L. V. BARBOSA and C. F. R. GEYER.
Using Compile-Time Granularity Information to Support Dynamic Work
Distribution in Parallel Logic Programming Systems.
available from http://www.cos.ufrj.br/ ines/projs/ai-orca.ps,
June 1998.
- 66
-
JANSSON, S. and HARIDI, S.
Programming Paradigms of the Andorra Kernel Language.
In Proceedings of the 1991 International Logic Programming
Symposium, pages 167-186. MIT Press, October 1991.
- 67
-
Peter Kacsuk and Michael J. Wise, editors.
Implementations of Distributed Prolog.
Wiley, Series in Parallel Computing, 1992.
- 68
-
LESLIE LAMPORT.
Time, Clocks and the ordering of Events in a Distributed System.
Communications of the ACM, 21(7), Jul 1993.
- 69
-
LIN, N.
Automatic Complexity Analysis of Logic Programs.
PhD Thesis, Department of Computer Science, University of
Arizona, Tucson: University of Arizona, 1993.
- 70
-
LUSK, E. et al.
The Aurora or-parallel Prolog system.
In International Conference on Fifth Generation Computer
Systems 1988, pages 819-830, epelewski, A. and Hausman, B., Nov 1988.
ICOT, Tokyo, Japan.
- 71
-
LUSK, E. et al.
The Aurora or-parallel Prolog system.
New Generation Computing, 7(2,3):243-271, 1990.
- 72
-
KIM MARRIOT and PETER J. STUCKEY.
Programming with Constraints.
MIT Press, 1998.
- 73
-
HIDEO MASUKAWA, KOUICHI KUMON, AKIHIRO ITASHIKI, KEN SATOH, and YUKIO SOHMA.
"Kabu-Wake" Parallel Inference Mechanism and Its Evaluation.
In 1986 Proceedings Fall Joint Computer Conference, pages
955-962. IEEE Computer Society Press, November 1986.
- 74
-
JOHAN MONTELIUS.
Penny, A Parallel Implementation of AKL.
PhD thesis, Swedish Institute for Computer Science, SICS, Sweden, May
1997.
- 75
-
MONTELIUS, J.
Penny, A Parallel Implementation of AKL.
In ILPS'94 Post-Conference Workshop in Design and
Implementation of Parallel Logic Programming Systems, Ithaca, NY, USA,
November 1994.
- 76
-
MOOLENAAR, R. and DEMOEN, B.
A parallel implementation for AKL.
In Proceedings of the Programming Language Implementation and
Logic Programming: PLILP '93, Tallin, Estonia, pages 246-261, 1993.
- 77
-
E. MOREL, J. BRIAT, J. CHASSIN de KERGOMMEAUX, and C. GEYER.
Side-Effects in PloSys OR-parallel Prolog on Distributed Memory
Machines.
In JICSLP'96 Post-Conference Workshop on Parallelism and
Implementation Technology for (Constraint) Logic Programming Languages, Bonn,
Germany, September 1996.
- 78
-
DEWI MUNAF and BRIAN TESTER.
And/Or Parallel Programming in Practice.
Technical Report, Project 1251:WP 12:1203, British Telecom,
November 1993.
- 79
-
PROTIC, TOMASEVIC, and MILUTINOVIC.
Distributed Shared Memory: Concepts and Systems.
4(2), 1996.
- 80
-
V. SANTOS COSTA and R. BIANCHINI.
Optimising Parallel Logic Programming Systems for Scalable
Machines.
In Proceedings of Europar 1998, Southampton, UK, 1998.
- 81
-
V. SANTOS COSTA, MANUEL EDUARDO CORREIA, and FERNANDO SILVA.
Performance of Sparse Binding Arrays for Or-Parallelism.
In Proceedings of the VIII Brazilian Symposium on Computer
Architecture and High Performance Processing - SBAC-PAD, August 1996.
- 82
-
V. SANTOS COSTA, D. H. D. WARREN, and R. YANG.
The Andorra-I Preprocessor: Supporting full Prolog on the Basic
Andorra model.
In Proceedings of the Eighth International Conference on Logic
Programming, pages 443-456. MIT Press, June 1991.
- 83
-
VíTOR SANTOS COSTA.
Cowl: Copy-on-write for logic programs.
In IEEE Press, editor, Proceedings of the IPPS99, May 1999.
- 84
-
SANTOS COSTA, V. and BIANCHINI, R.
Optimising Parallel Logic Programming Systems for Scalable
Machines.
In Proceedings of the EUROPAR'98, pages 831-841, Sep 1998.
- 85
-
SANTOS COSTA, V., BIANCHINI, R., and DUTRA, I. C.
Evaluanting Parallel Logic Programming Systems on Scalable
Multiprocessors.
In Proceedings of the 2nd International Symposium on Parallel
Symbolic Computation (PASCO'97), pages 58-67, July 1997.
- 86
-
SANTOS COSTA, V., BIANCHINI, R., and DUTRA, I. C.
Evaluating the impact of coherence protocols on parallel logic
programming systems.
In Proceedings of the 5th EUROMICRO Workshop on Parallel and
Distributed Processing, pages 376-381, 1997.
Also available as technical report ES-389/96, COPPE/Systems
Engineering, May, 1996.
- 87
-
SANTOS COSTA, V., WARREN, D. H. D., and YANG, R.
Andorra-I: A Parallel Prolog System that Transparently Exploits both
And- and Or-Parallelism.
In Third ACM SIGPLAN Symposium on Principles & Practice of
Parallel Programming PPOPP, pages 83-93. ACM press, April 1991.
SIGPLAN Notices vol 26(7), July 1991.
- 88
-
SANTOS COSTA, V. and YANG, R.
Andorra-I user's guide and reference manual.
Technical report, University of Bristol, Computer Science Department,
Sept 1990.
Internal Report, Gigalips Project.
- 89
-
SANTOS COSTA, V. S. and BIANCHINI, R. and DUTRA, I. C.
Parallel Logic Programming Systems on Scalable Architectures.
Journal of Parallel and Distributed Computing, 1999.
Submitted.
- 90
-
KISH SHEN.
An Overview of DASWAM -- An Implementation of DDAS.
Technical Report CSTR-92-08, Computer Science Department,
University of Bristol, 1992.
- 91
-
KISH SHEN and MANUEL HERMENEGILDO.
On the virtues of spaghetti.
In ICLP'93 Postconference Workshop on Practical Implementations
and Systems Experience, 1993.
- 92
-
MÁRCIO G. SILVA, INÊS C. DUTRA, RICARDO BIANCHINI, and VíTOR SANTOS
COSTA.
The Influence of Parallel Computer Architectural Parameters on
Parallel Logic Programming Systems.
Technical Report ES-477/98, COPPE/Systems Engineering and Computer
Science, Setembro 1998.
- 93
-
MÁRCIO G. SILVA, INÊS C. DUTRA, RICARDO BIANCHINI, and VíTOR SANTOS
COSTA.
The Influence of Computer Architectural Parameters on Parallel Logic
Programming Systems.
In Gopal Gupta, editor, Workshop on Practical Aspects of
Declarative Languages (PADL99), Lecture Notes in Computer Science 1551,
pages 122-136, January 1999.
Also available as Technical Report ES/477-98, COPPE Systems
Engineering, Sep/98.
- 94
-
SILVA, F. M. A.
An Implementation of Or-Parallel Prolog on a Distributed
Shared Memory Architecture.
PhD thesis, Dept. of Computer Science, Univ. of Manchester, September
1993.
- 95
-
SINDAHA, R. Y.
Branch-Level Scheduling in Aurora: The Dharma Scheduler.
PhD thesis, University of Bristol, Department of Computer Science, In
preparation, 1993.
- 96
-
J. SUNBERG and C. SVENSSON.
Muse trace: A graphic tracer for or-parallel prolog.
Technical report, SICS, 1990.
- 97
-
EVAN TICK.
Prolog Memory-Referencing Behavior.
Technical Report CSL-TR-85-281, Computer Systems Laboratory, Stanford
University, Stanford, CA 94305, September 1985.
- 98
-
EVAN TICK.
Compile Time Granularity Analysis for Parallel Logic Programming
Systems.
New Generation Computing, 7(2,3):325-337, 1990.
- 99
-
TICK, E.
Compile Time Granularity Analysis for Parallel Logic Programming
Systems.
New Generation Computing, 7(2,3):325-337, 1990.
- 100
-
TREVISAN, T. S. and BARBOSA, J. L. V. (Orientador).
Orca 2.0 (or complexity analyzer).
Projeto de diplomação, Universidade Católica de Pelotas,
Pelotas: UCPel, 1998.
- 101
-
PASCAL van HENTENRYCK.
Constraint Satisfaction in Logic programming.
MIT Press, 1989.
- 102
-
VARGAS, P. K.
Implementação de um analisador de granulosidade para prolog.
Projeto de Diplomação, July 1995.
CPGCC - UFRGS.
- 103
-
VARGAS, P. K. and GEYER, C. F. R.
Introduzindo o paralelismo ou na programação em lógica com
restrições.
IX Simpósio Brasileiro de Arquitetura de Computadores e
processamento de Alto Desempenho, 1997.
Campos do Jordão, SP.
- 104
-
VARGAS, P. K. and GEYER, C. F. R.
Uma política de escalonamento distribuída no modelo pclp(fd) de
exploração de paralelismo ou.
XXIV Conferência Latino Americana de Informática/V Encontro
Chileno de Computação da Sociedade Chilena de Computação (CLEI -
PANEL'98), 1998.
Quito, Ecuador.
- 105
-
VARGAS, P. K. V., GEYER, C. F. R., and DUTRA, I. C.
Tamagoshi - plataforma para avaliação de escalonamento de tarefas em
programação em lógica paralela.
In X Simpósio Brasileiro de Arquitetura de Computadores e
Processamento de Alto Desempenho, 1998.
Búzios, RJ.
- 106
-
RICK VAUPEL, ENRICO PONTELLI, and GOPAL GUPTA.
Visualization of And/Or-Parallel Execution of Logic Programs.
In Proceedings of the Fourteenth International Conference on
Logic Programming, pages 271-285, 1997.
- 107
-
ANDREW R. VERDEN and HUGE GLASER.
Independent And-Parallel Prolog for Distributed Memory
Architectures.
Technical report, Department of Electronics and Computer Science,
University of Southampton, April 1990.
- 108
-
D. H. D. WARREN.
The SRI model for or-parallel execution of Prolog--abstract
design and implementation issues.
In Proceedings of the 1987 Symposium on Logic Programming,
pages 92-102, 1987.
- 109
-
DAVID H. D. WARREN and FERNANDO C. N. PEREIRA.
An Efficient Easily Adaptable System for Interpreting Natural
Language Queries.
Technical Note, Dept of AI, University of Edinburgh, 1981.
- 110
-
RONG YANG.
Solving simple substitution ciphers in Andorra-I.
In Proceedings of the Sixth International Conference on Logic
Programming, pages 113-128. MIT Press, June 1989.
- 111
-
RONG YANG, VíTOR SANTOS COSTA, and DAVID H. D. WARREN.
The Andorra-I Engine: A parallel implementation of the Basic Andorra
model.
In Proceedings of the Eighth International Conference on Logic
Programming, pages 825-839. MIT Press, 1991.
- 112
-
YANG, R., BEAUMONT, T., DUTRA, I. C., SANTOS COSTA, V., and WARREN, D.
H. D.
Performance of the Compiler-Based Andorra-I System.
In Proceedings of the Tenth International Conference on Logic
Programming, pages 150-166. MIT Press, June 1993.
Ines de Castro Dutra
1999-05-04