Exploração de paralelismo ou em uma linguagem em lógica com restrições

[1]  Ho-fung Leung,et al.  Concurrent Constraint Logic Programming On Massively Parallel SIMD Computers , 1993, ILPS.

[2]  Vijay A. Saraswat,et al.  Concurrent constraint programming , 1989, POPL '90.

[3]  W. F. Clocksin,et al.  Principles of the DelPhi Parallel Inference Machine , 1987, Comput. J..

[4]  Mukesh Singhal,et al.  Advanced concepts in operating systems : distributed, database, and multiprocessor operating systems , 1993 .

[5]  Thomas L. Casavant,et al.  A Taxonomy of Scheduling in General-Purpose Distributed Computing Systems , 1988, IEEE Trans. Software Eng..

[6]  Scott Oaks,et al.  Java Threads , 1997 .

[7]  Cristiano Andre da Costa.  Uma proposta de escalonamento distribuído para exploração de paralelismo na programação em lógica , 1998 .

[8]  Jacques Briat,et al.  Cuts and Side-Effects in Distributed Memory OR-Parallel Prolog , 1997, Parallel Comput..

[9]  Michael J. Maher,et al.  Constraint Logic Programming: A Survey , 1994, J. Log. Program..

[10]  Hesham H. Ali,et al.  Task scheduling in parallel and distributed systems , 1994, Prentice Hall series in innovative technology.

[11]  Dan Harkey,et al.  Client/Server programming with Java and Corba , 1997 .

[12]  Robert A. Kowalski,et al.  Algorithm = logic + control , 1979, CACM.

[13]  Roland H. C. Yap,et al.  The CLP( R ) language and system , 1992, TOPL.

[14]  Angelo Monfroglio,et al.  Timetabling through Constrained Heuristic Search and Genetic Algorithms , 1996, Softw. Pract. Exp..

[15]  Kendall Scott,et al.  UML distilled - applying the standard object modeling language , 1997 .

[16]  Philippe Codognet,et al.  A Minimal Extension of the WAM for clp(FD) , 1993, ICLP.

[17]  Pascal Van Hentenryck.  Constraint satisfaction in logic programming , 1989, Logic programming.

[18]  Jacques Cohen,et al.  Constraint logic programming languages , 1990, CACM.

[19]  Nancy A. Lynch,et al.  Distributed Algorithms , 1992, Lecture Notes in Computer Science.

[20]  Pascal Van Hentenryck,et al.  Constraint Satisfaction Using Constraint Logic Programming , 1992, Artif. Intell..

[21]  Daniel Diaz,et al.  Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis : le système clp (FD) , 1995 .

[22]  Joachim Schimpf,et al.  Parallel CLP on Heterogeneous Networks , 1994, ICLP.

[23]  Jorge Luis Victoria Barbosa.  Granlog : um modelo para analise automatica de granulosidade na programacao em logica , 1996 .

[24]  Jelica Protic,et al.  Distributed shared memory , 1998 .

[25]  Inês de Castro Dutra,et al.  Distributing and- and or-work in the Andorra-I parallel logic programming system , 1995 .

[26]  Veljko M. Milutinovic,et al.  Distributed shared memory: concepts and systems , 1997, IEEE Parallel Distributed Technol. Syst. Appl..

[27]  Philippe Codognet,et al.  WAMCC: Compiling Prolog to C , 1995, ICLP.

[28]  Philippe Codognet,et al.  Compiling Constraints in clp(FD) , 1996, J. Log. Program..

[29]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

[30]  Pascal Van Hentenryck,et al.  Solving Large Combinatorial Problems in Logic Programming , 1990, J. Log. Program..

[31]  Alain Colmerauer,et al.  An introduction to Prolog III , 1989, CACM.

[32]  Phillip Krueger,et al.  Adaptive Location Policies for Global Scheduling , 1994, IEEE Trans. Software Eng..

[33]  José M. Troya,et al.  An OR Parallel Prolog Model for Distributed Memory Systems , 1993, PLILP.

[34]  Sivarama P. Dandamudi.  The effect of scheduling discipline on dynamic load sharing in heterogeneous distributed systems , 1997, Proceedings Fifth International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems.